[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