Hi all, I have a question to a very simple problem. How to convert an integer to a string?
This does not work: fun int2string (i : int) : string = show i Error message: /.../test.ur:19:36: (to 19:40) Unification failure Expression: show [<UNIF:H::Type>] _ Have con: show (list <UNIF:H::Type>) Need con: <UNIF:I::Type> -> <UNIF:J::Type> Incompatible constructors Have: show (list <UNIF:H::Type>) Need: <UNIF:I::Type> -> <UNIF:J::Type> I couldn't find anything else like Int.toString or so. Thank you very much in advance! Best, Michael _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
