[MLton] Re: testing MLton's new front end

Henry Cejtin henry@sourcelight.com
Mon, 19 Jan 2004 17:31:02 -0600

It  is  very  very counter-intuitive to me that the error in redundant.sml is
reported on line 16 (instead of  19).   Your  example  of  a  function  being
applied  multiple  times with the redundancy only being for some applications
certainly seems to argue for this case.  Of course if the functor  is  large,
then  the only information you get is that the functor could be redundant and
that this application was, but no indication of where in the body it is.