[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