Archives of the Caml mailing list > Message from Daniel

Browse thread

Preferred use of Invalid_argument and Failure

michael.le_barbier@l...
- Alain Frisch
- Xavier Leroy
  - Yaron Minsky
    - Joel Reymont
      - Yaron Minsky
        
        Daniel_Bünzli
        
        Jon Harrop
        
        Richard Jones
        
        Jon Harrop
  - Michaël Le Barbier

Date:	-- (:)
From:	Daniel_Bünzli <daniel.buenzli@e...>
Subject:	Re: [Caml-list] Preferred use of Invalid_argument and Failure


Le 24 oct. 07 à 15:15, Yaron Minsky a écrit :

> As in:
>
>   map_of_alist : ('a * 'b) list -> [ `Repeated_key of 'a | `Succ of  
> ('a,'b) Map.t ]
>
> The return value is both explicit and a polymorphic variant.

Interesting solution. I would however suggest `Value instead of `Succ 
(ess ?). I was confused thinking about  `Succ(essor) because of  
Pervasives.succ.

Best,

Daniel