Re: [Sml-implementers] Subject: Standard ML

[Peter S. <se...@di...>]

> > But, I don't understand why valrec.sml test case should raise Bind:
> > 
> >     val rec LESS = fn x => x    (* will raise Bind *)
> >     and NONE as SOME = fn x => x
> >     val SOME = 1;  
> 
> Rule (26) has no impact on the dynamic semantics [...]

Of course, I see.  So the point is that rule (126) in the dynamic
semantics neglects to change the identifier status, but the behaviour
of the implementations is sensible.

Peter
--
Department of Mathematics and Physics  *  http://www.dina.kvl.dk/~sestoft/
Royal Veterinary and Agricultural University          *  Tel +45 3528 2334
Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark  *  Fax +45 3528 2350