This is what want. Notice the succinctness.

        Objective Caml version 3.10+dev24 (2007-02-16)

# type foo = A | B | C | D | E | F
  ;;
type foo = A | B | C | D | E | F

# A;;
- : foo = A

# let infer = function | A | B | C -> true; | D | E | F -> false;;
val infer : foo -> bool = <fun>

# infer A;;
- : bool = true

# infer B;;
- : bool = true

# infer D;;
- : bool = false

# infer F;;
- : bool = false
#

--
http://wagerlabs.com/





_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to