[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