fromJSON does not handle Unicode escapes.
The corresponding code is missing but can be copied from flex scanners. Note Unicode escapes are used too to encode control characters so are not limited to real Unicode input.
The corresponding code is missing but can be copied from flex scanners. Note Unicode escapes are used too to encode control characters so are not limited to real Unicode input.