[MLton] Bug with "polymorphic" exns

Andreas Rossberg rossberg@ps.uni-sb.de
Mon, 24 Jan 2005 15:13:38 +0100


I recently discovered that MLton rejects the following program:

   val x = let exception E of 'a in () end;

Although not very useful code, it should be accepted.


	- Andreas

PS: Btw., the mail link on http://mlton.org/Bug contains a trailing dot.

Andreas Rossberg, rossberg@ps.uni-sb.de

Let's get rid of those possible thingies!  -- TB