Hi, all!<br><br>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:<br>
<br>1. Error messages must be fully informative. For example, instead of &quot;overloading could not be solved&quot; compiler must report something like &quot;overloading could not be solved because it is no way to figure out instance for class XXX while calling member YYY on line ZZZ&quot;.<br>
<br>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. (!)<br><br>Sincerelly yours,<br>Vag.<br>