Archives of the Caml mailing list > Message from skaller

Browse thread

'_a

Mike Hamburg
- Jacques Garrigue
  - Florian Hars
  - skaller
    - Alex Baretta
    - Vincenzo Ciancia
      - Jacques Carette
      - skaller
        
        Stefan Monnier
        
        skaller
        
        Keith Wansbrough
        
        skaller
        
        Michael Walter
        
        Christophe TROESTLER
        
        skaller
      - Richard Jones
        
        Alex Baretta
  - Dave Berry
    - Jacques Garrigue

Date:	2005-01-28 (14:46)
From:	skaller <skaller@u...>
Subject:	Re: [Caml-list] Re: '_a

On Sat, 2005-01-29 at 00:25, Stefan Monnier wrote:
> > (b) the codomain is mis-specified, we actually have
> > 	List.hd: 'a list -> Some 'a
> 
> Funny, I always assumed that the domain of List.hd was "'a list - []".

That would work too!


-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net