[Ur] int to string?

Michael Rohs michael.rohs at hci.uni-hannover.de
Sun Oct 9 03:07:23 EDT 2016


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




More information about the Ur mailing list