Hello. Is it bug?
Poly/ML 5.8 Release > val c = Char.toString #"\""; val c = "\\\"": string > explode c; val it = [#"\\", #"\""]: char list _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml