[MLton-devel] cvs commit: support for multiple integer, real,
and word sizes
Matthew Fluet
fluet@cs.cornell.edu
Tue, 24 Jun 2003 10:07:51 -0400 (EDT)
> Now I've got Int8 and Int16 and I'm trying out regressions/int.sml under
> Int16, mostly expecting codegen errors. But, I'm getting some type-errors
> in SSA constant propagation.
I tracked down one source of problems: IntX.equals doesn't consult the
size of the constant, which means that globalization can take two
different size integer constants and collapse them into one. This yields
a type error on some uses of the global. Word constants don't suffer from
this problem, because WordX.equals compares both the value and the size.
I note that RealX doesn't compare the size of the constants, only the
string value.
-------------------------------------------------------
This SF.Net email is sponsored by: INetU
Attention Web Developers & Consultants: Become An INetU Hosting Partner.
Refer Dedicated Servers. We Manage Them. You Get 10% Monthly Commission!
INetU Dedicated Managed Hosting http://www.inetu.net/partner/index.php
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel