Real.!= is inconsistent with the basis spec.

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 12 Sep 2000 14:08:11 -0400 (EDT)


Here's the reply I got back from SML/NJ on the inconsistency with Real.!=.


On Mon, 11 Sep 2000, John H. Reppy wrote:

> 
> The problem is in cps/convert.sml, where the != primop is translated
> to fLG (aka <>) instead of fULG (aka ?<>).  It suold be easy to fix for
> both 110.0.7 and 110.30.
> 
> 	- John