On Thu, Dec 04, 2003 at 07:11:51PM +0100, Alex Baretta wrote:
> Artem Prisyznuk wrote:
> >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 =
> 
> 
> It seems to work alright on 3.07+2.
> 
> Here's my session:
> 
> 
>         Objective Caml version 3.07+2
> 
> 
> # let e = Failure "test";;
> val e : exn = Failure "test"
> # let e' : exn = Marshal.from_string (Marshal.to_string e []) 0;;
> val e' : exn = Failure "test"
> # e = e';;
> - : bool = true

But something is indeed broken.  Here's a slight variant of the above:

        Objective Caml version 3.07+2

# let e = Failure "test";;
val e : exn = Failure "test"
# let e' = Failure "test";;
val e' : exn = Failure "test"
# let e'' =  Marshal.from_string (Marshal.to_string e []) 0;;
val e'' : 'a = <poly>
# e'' ^ "good-bye";;
Segmentation fault

-- 
Eric C. Cooper          e c c @ c m u . e d u

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