2019-03-11 09:34:04 +00:00
|
|
|
type
|
|
|
|
SerializationError* = object of CatchableError
|
|
|
|
UnexpectedEofError* = object of SerializationError
|
2019-07-08 07:55:32 +00:00
|
|
|
CustomSerializationError* = object of SerializationError
|
2019-03-11 09:34:04 +00:00
|
|
|
|
2019-06-24 02:07:13 +00:00
|
|
|
method formatMsg*(err: ref SerializationError, filename: string): string {.gcsafe, base.} =
|
2019-03-19 23:44:30 +00:00
|
|
|
"Serialisation error while processing " & filename
|
|
|
|
|