Re: [Sml-implementers] real constant too large

[Andreas R. <ros...@ps...>]

Stephen Weeks wrote:
> Does anyone have any thoughts on what an SML compiler should do when
> it encounters a real constant that is too large to be represented?
> Currently, some compilers silently produce an inf (Hamlet and MLton),
> some report an error (Moscow ML), some encounter an exception in the
> compiler (Poly/ML and SML/NJ), and one reports an error during
> assembly (ML Kit).
> 
> My thought is that the right thing is to do as Moscow ML does, and
> report an error similar to an integer too large error.

I agree. Actually, strict reading of the last paragraph of section E.1 
of the Definition might even imply that.

	- Andreas

-- 
Andreas Rossberg, ros...@ps...

"Computer games don't affect kids; I mean if Pac Man affected us
  as kids, we would all be running around in darkened rooms, munching
  magic pills, and listening to repetitive electronic music."
  - Kristian Wilson, Nintendo Inc.