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

-- 
Dustin Sallings

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