Real.maxFinite and friends

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 5 Oct 2001 18:56:32 -0400 (EDT)


But, what I really meant to say was that I'm off for the evening; I guess
I'll postpone fiddling with Real constants as prims until we decide on
some coherent way of dealing with them.  Steve, I'll be back over the
weekend, so go ahead and post an SSA snapshot if you get to a relatively
stable point.