Archives of the Caml mailing list > Message from Jon Harrop

Browse thread

annotations and type-checking

Aaron Bohannon
- Jon Harrop
  - Philippe
    - Johannes Kanig
- Mark Shinwell
  - Aaron Bohannon
    - Jacques Garrigue
      - Aaron Bohannon
      - Jon Harrop

Date:	-- (:)
From:	Jon Harrop <jon@f...>
Subject:	Re: [Caml-list] annotations and type-checking

On Wednesday 29 July 2009 15:39:28 Jacques Garrigue wrote:
> Because it is useful to be able to have type annotations sharing type
> variables in different places in a term (for instance for different
> arguments).

That's very interesting. I had taken this for granted and never noticed this 
subtlety before...

-- 
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e