[Ur] int to string?

[Michael Rohs]

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