[MLton-devel] Fwd: Mark Tuttle

[Stephen Weeks]

> We'd also need to mediate all of the places where Position.int's are
> passed to C; we won't be able to hand off an IntInf.

Good point.  We need to do that for IntInf or Int64.

> > (3) would have as good a performance as we have now, and would allow
> >     up to 4G, but I don't think it's allowed by the Basis Library
> >     spec, which requires Position:> INTEGER
> 
> Depends on what you consider :> INTEGER implying. 

I agree we can match the signature.  The problem is the comments in
the spec that require fixed integers to be twos complement.  For
example, the comment for precision says:

	If precision is SOME n, then we have minInt = -2(n-1) and
	maxInt = 2(n-1) - 1. 

I don't think that leaves any wiggle room.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel