[MLton] SML/NJ deviation: rebinding ref
Vesa Karvonen
vesa.karvonen at cs.helsinki.fi
Mon Aug 14 13:00:57 PDT 2006
Just a quick note. I recently noticed a SML/NJ deviation that isn't listed
on the
http://mlton.org/SMLNJDeviations
page. Namely, SML/NJ (at least v110.59), allows rebindind ref using a fun
declaration:
$ sml
Standard ML of New Jersey v110.59 [built: Mon Aug 14 21:39:53 2006]
- fun ref () = print "Hello, world!\n" ;
val ref = fn : unit -> unit
- ref () ;
Hello, world!
val it = () : unit
This seems to be disallowed on page 9 of the Definition.
-Vesa Karvonen
More information about the MLton
mailing list