Re: [Caml-list] polymorphic variant question

[Dan Schmidt <dfan@dfan.org>]

nadji@noos.fr writes:

| Hi all,
| 
| I am puzzled by the code below which doesn't work.
| 
| # let f = function `B -> ();;
| val f : [ `B] -> unit = <fun>
| # let g x = match (x:[`A|`B]) with `A -> () | y -> f y;;
| Characters 51-52:
|   let g x = match (x:[`A|`B]) with `A -> () | y -> f y;;
|                                                      ^
| This expression has type [ `A | `B] but is here used with type [ `B]
| (denoting the "y" from the "f y")
| 
| How can I say to OCaml that "y" can't be of type `A ?

Try

# let g x = match (x:[`A|`B]) with `A -> () | `B as y -> f y;;

Dan

-- 
http://www.dfan.org
-------------------
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