Troubles with marshaled/unmarshaled exception

[vicuna]

Original bug ID: 1957
Reporter: administrator
Status: closed (set by @xclerc on 2009-09-16T12:45:41Z)
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Has duplicate: #8090

Bug description

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

[vicuna]

Comment author: administrator

see also #8399
should document the problem -DD