[MLton] SML/NJ deviation: rebinding ref

[Stephen Weeks]

> 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:
...
> This seems to be disallowed on page 9 of the Definition.

Indeed.  Pleaase add that one.