[MLton] Constant folding vector expressions

Vesa Karvonen vesa.a.j.k at gmail.com
Mon Sep 17 01:09:12 PDT 2007


On 9/17/07, skaller <skaller at users.sourceforge.net> wrote:
[...]
> So I do all the integer constant folding with infinite
> precision integers by specification,

That is similar to what MLton is doing.  See [mlton/atoms/]word-x.fun
and word-x.sig.

> even if the results would not agree with a run time calculation.

This shouldn't happen with MLton.  MLton knows the word sizes at
compile-time and performs constant folding with the correct size
(using IntInf mod 2^size arithmetic).

> But it seems this is the very issue you raise here.

Depends on what you mean.  MLton definitely knows the size of Int.int
while compiling.  I just don't (yet) know where to get it.  (The cint
size just happens to be correct on my machine.)

-Vesa Karvonen



More information about the MLton mailing list