Re: datatype constructor as syntax
Henry Cejtin <[email protected]>
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAPKXxCrEbMkcek5i7ez58aPzneN6nW3CyFzpvQo=z8np+MDk9g@mail.gmail.com> |
Sorry, I thought I was being clever, but if you look at Andreas
Rossberg's Defects in the Revised Definition of Standard ML
http://www.ps.uni-saarland.de/Publications/documents/Rossberg_DefectsSML.pdf
you will see that he points out that rule 126 of the dynamic semantics
implies that this should really give you a bind exception at runtime.
This was fixed (meaning you get the in MLton way back in 2001 to give an
error at compile time.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
------------------------------------------------------------------------------
Rapidly troubleshoot problems before they affect your business. Most IT
organizations don't have a clear picture of how application performance
affects their revenue. With AppDynamics, you get 100% visibility into your
Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro!
http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk