Version française
Home     About     Download     Resources     Contact us    
Browse thread
Type inference inside exceptions ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: ketty . <kattlachan@g...>
Subject: Re: [Caml-list] Type inference inside exceptions ?
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 :)