Introducing the "lookup-constants runtime system" :)
Stephen Weeks
MLton@sourcelight.com
Mon, 1 Oct 2001 18:10:42 -0700
> Yes, the _prim is a problem but I would guess that it basically never adds
> any constants.
No. It does add constants. For example,
val safe = _prim "MLton_safe": bool;
is a compile-time constant defined by _prim.
BLECH. Now I realize that even our current approach doesn't work because we
rely on some constants set on the command line, such as MLton_safe.
The only solution that I see is to distinguish between target-specific
constants, which are found via some include file on the target, and constants
like MLton_safe, which are defined (possibly very late, at compile time) on the
host.