Re: [Sml-implementers] Subject: Standard ML

[Stephen W. <sw...@in...>]

> 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, as defined by rules
(124, 125, 126), which will match the LESS pattern just as in

	val LESS = fn x => x

In both cases,

	E, v |- LESS => FAIL

and hence by rule 125,

	E |- LESS = fn x => x => [Bind]

and hence, by the implicit extension of rule 126 to exception packets,

	E |- rec LESS .... => [Bind]