On 10/6/06, Diego Olivier FERNANDEZ PONS <diego.fernandez_pons@etu.upmc.fr> wrote:

I would like the type-checker to infer the type inside exceptions (or
at least to help me in the "guess a type and test" loop).

I'd like it to infer the types of record-fields as well :)