Archives of the Caml mailing list > Message from Stephane Glondu

Browse thread

bizarre type

Julien Verlaguet
- Andreas Rossberg
  - Julien Verlaguet
    - Stephane Glondu
    - Andreas Rossberg
  - Julien Verlaguet
    - Andreas Rossberg
      - Julien Verlaguet
        
        Jacques Garrigue
        
        Damien Doligez
        
        Jacques Garrigue

Date:	-- (:)
From:	Stephane Glondu <steph@g...>
Subject:	Re: [Caml-list] bizarre type

On Thursday 30 June 2005 09:58, Julien Verlaguet wrote:
> # g ([] : int t list);;
> - : int -> unit = <fun>

I still get '_a -> unit here (I'm using v3.08.3)... However, I also believe 
that in both cases, it should be int -> unit.

Stephane Glondu.