[MLton] substring an eq type?

Henry Cejtin <[email protected]> Wed, 20 Nov 2013 15:12:57 -0800 (PST)
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <[email protected]>
In MLton, as opposed to SML/NJ, substring is an equality type.
My reading of the basis library book seems to indicate that this is incorrect.
Am I missing something?

------------------------------------------------------------------------------
Shape the Mobile Experience: Free Subscription
Software experts and developers: Be at the forefront of tech innovation.
Intel(R) Software Adrenaline delivers strategic insight and game-changing 
conversations that shape the rapidly evolving mobile landscape. Sign up now. 
http://pubads.g.doubleclick.net/gampad/clk?id=63431311&iu=/4140/ostg.clktrk

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel