Word32.word -> Int32.int

Stephen Weeks MLton@sourcelight.com
Wed, 30 May 2001 14:10:19 -0700


> I don't like the compiler switch notion: too ugly.  If the compiler could
> optomize away a conversion from Int32.int to IntInf.int to what ever
> Time.fromSeconds does, I guess that that would be enough.

I'm guessing you want something like the following to have IntInf's optimized
away?

val t =
   Time.fromSeconds
   (valOf (LargeInt.fromString (hd (CommandLine.arguments ()))))
val _ = print (concat [Time.toString t, "\n"])

I think it's pretty hopeless to do so, unless there are constants that the
simplifier can get at.