Archives of the Caml mailing list > Message from Fabrice Le Fessant

Browse thread

[Caml-list] xor on booleans

Christoph Bauer
- Frederic De Jaeger
  - Fabrice Le Fessant
    - Frederic De Jaeger
      - Fabrice Le Fessant
      - Pierre Weis
    - Pierre Weis
      - Fabrice Le Fessant
        
        Damien Doligez
        
        David Brown
        
        Damien Doligez

Date:	-- (:)
From:	Fabrice Le Fessant <fabrice@l...>
Subject:	Re: [Caml-list] xor on booleans


>  For type safety, it would be better to have 
>  
>  let (^^) (x:bool) (y:bool) = x <> y

Type safety is not lost, since (^^) is just equivalent to (<>), which
is polymorph. The polymorphic (^^) is better if I want to define my
own boolean type: type bool = True | False, and use (^^) with it.

- Fabrice
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners