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