Re: datatype constructor as syntax
Henry Cejtin <[email protected]>
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAPKXxCpOeGXBtFYa5V03BE5=qoj0TFjPVKjVmsfFr5Yo3ceezQ@mail.gmail.com> |
I would have expected the binding to give you a warning about being
non-exhaustive in cases where it couldn't be sure.
E.g.:
datatype mytype = foo | bar of int
fun f (x: mytype) =
let val B j = x
in j
end
Strange that SML/NJ doesn't warn you. MLton does, as does Hamlet.
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