From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA29418; Tue, 3 Apr 2001 19:33:26 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA29238 for ; Tue, 3 Apr 2001 19:33:25 +0200 (MET DST) Received: from hci.ucsd.edu (hci.ucsd.edu [132.239.215.210]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f33HXMf20481 for ; Tue, 3 Apr 2001 19:33:23 +0200 (MET DST) Received: (from dsf@localhost) by hci.ucsd.edu (8.9.3/8.9.3) id KAA27807; Tue, 3 Apr 2001 10:33:22 -0700 X-Authentication-Warning: hci.ucsd.edu: dsf set sender to dsfox@cogsci.ucsd.edu using -f From: David Fox MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15050.2402.55288.279610@hci.ucsd.edu> Date: Tue, 3 Apr 2001 10:33:22 -0700 (PDT) To: Brian Rogoff CC: caml-list@inria.fr Subject: Re: [Caml-list] ocaml VM segfault In-Reply-To: References: X-Mailer: VM 6.75 under Emacs 20.3.1 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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