[clean-list] CLEAN Error Messages (!)

[Vag]

Hi, all!

Searching for a cause of typing error in program with HM types is time hog.
It especially important when rapid prototyping, when programmer omits type
signatures. I pretty sure programmer productivity will be increased at least
twice if IDE will meet following conditions:

1. Error messages must be fully informative. For example, instead of
"overloading could not be solved" compiler must report something like
"overloading could not be solved because it is no way to figure out instance
for class XXX while calling member YYY on line ZZZ".

2. It would be wonderful if you extend IDE such way that it will be possible
to edit such constraints in module properties that type of any variable or
function which has name matching to given regexp pattern will be restricted
to given type schemes. (!)

Sincerelly yours,
Vag.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20090404/9d72e132/attachment.html