[Caml-list] ocaml VM segfault

[Caml-list] ocaml VM segfault

[David Fox]

The following program segfaults when I compile it with ocamlc version 3.01:

  type 'a declarator = {ml: string; t: 'a}
  
  type 'a cdecl =
      Declare of 'a declarator
    | Macro of 'a declarator
  
  type ctype = String | Char
  
  let caml_code decl =
    match decl with
      (Declare {ml=mname; t=ctype} | Macro {ml=mname; t=ctype}) ->
        match ctype with String -> mname
        | _ -> ""
  
  let _ = caml_code (Declare {ml="getenv"; t=String})
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr

Re: [Caml-list] ocaml VM segfault

[David Fox]

Oh drat, the problem doesn't occur with the distribution RPMs, only
with the ones I rebuilt from source.  Maybe a glibc header file thing.

Brian Rogoff writes:
 > Which platform? Compiled and ran fine for me on Solaris. Of course, it
 > doesn't really do anything :-)
 > 
 > -- Brian
 > 
 > On 3 Apr 2001, David Fox wrote:
 > 
 > > The following program segfaults when I compile it with ocamlc version 3.01:
 > > 
 > >   type 'a declarator = {ml: string; t: 'a}
 > >   
 > >   type 'a cdecl =
 > >       Declare of 'a declarator
 > >     | Macro of 'a declarator
 > >   
 > >   type ctype = String | Char
 > >   
 > >   let caml_code decl =
 > >     match decl with
 > >       (Declare {ml=mname; t=ctype} | Macro {ml=mname; t=ctype}) ->
 > >         match ctype with String -> mname
 > >         | _ -> ""
 > >   
 > >   let _ = caml_code (Declare {ml="getenv"; t=String})
 > > -------------------
 > > To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr
 > > 

--
David Fox            http://hci.ucsd.edu/dsf		xoF divaD
UCSD HCI Lab          dsfox@cogsci.ucsd.edu          baL ICH DSCU
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr

Re: [Caml-list] ocaml VM segfault

[Luc Maranget]

> 
> Oh drat, the problem doesn't occur with the distribution RPMs, only
> with the ones I rebuilt from source.  Maybe a glibc header file thing.
> 
No.
This is indeed a bug, in the byte-code compiler only (ocamlc...)
The bug shows up when you use several variables in a or-pattern.


It is corrected in the developement release.

Sorry for the trouble.

--Luc





> David Fox            http://hci.ucsd.edu/dsf		xoF divaD
> UCSD HCI Lab          dsfox@cogsci.ucsd.edu          baL ICH DSCU
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr
> 

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr