Hello,

I found strange behavior of pattern matching of
marshaled/unmarshaled exception.

Next code describe problem:

	let e = Failure "test";;
	let e' = Marshal.from_string (Marshal.to_string e []) 0;;
	let print_fun exc =
	  match exc with
	    Failure _ -> print_endline "Matching OK"
	  | exc -> print_endline "Matching Fail";;

	print_fun e;;
	print_fun e';;
       Printf.printf "e = e' is %b\n" (e=e');;

Output:

	Matching OK
	Matching Fail
       e = e' is true

So second call print missing value.

-- 
Artem Prysyznuk
tema@sit.kiev.ua

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