[MLton] MLB file tree

Vesa Karvonen vesa.karvonen@cs.helsinki.fi
Thu, 9 Feb 2006 11:35:29 +0200


Quoting Vesa Karvonen <vesa.karvonen@cs.helsinki.fi>:
> An annotation could then be implemented to allow that
> warning to be disabled in specific cases.  For example:
> 
>   ann
>      "ignoreMultipleElaboration"
>   in
>      infixes.sml
>   end

[I was in a hurry to get to work when I wrote that.]  A better annotation
would be something like

  multipleElaboration {warn|error|ignore}

and it would be used like:

  ann
     "multipleElaboration ignore"
  in
     infixes.sml
  end

If this sounds like a useful feature (diagnostic on multiple elaboration)
to have, I could look into implementing it during the weekend.  (I also
have another draft patch (the printing of types with fewer parentheses)
waiting, that I haven't had time to complete in the past few months.)

-Vesa Karvonen