[MLton-user] Re: Wish for a standard sum type

Henry Cejtin henry.cejtin@sbcglobal.net
Sun, 28 May 2006 14:21:56 -0500


Yes, I'm sure that you are right.  I remember the campaign to get
TextIO.inputLine to return a string option instead of just a string (with
the empty string being the indicator for end-of-file) and it was a bit of a
battle.