On Wed, Nov 05, 2003 at 12:57:18AM -0800, Dustin Sallings wrote:
> 
> 	I swear I found an example demonstrating how to do pattern matching 
> based on the type of an argument, but every pattern matching example I 
> can find now seems to be focused on value and not type.
> 
> 	I'm trying to do something like this:
> 
> let print_poly x = match x with
>     | (x: bool) -> print_bool x
>     | (x: int) ->  print_int x
> ;;
> 
> 	Can someone tell me what I'm doing wrong (or perhaps tell me why I 
> shouldn't be doing this at all)?

You can do this:

type bool_or_int = Bool of bool | Int of int;;

let print_bool b = print_string (if b then "true" else "false");;

let print_poly x = match x with 
    Bool b -> print_bool b
  | Int i -> print_int i;;

let x = Bool true;;

print_poly x;;

-- 
Issac Trotts

-------------------
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