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 TAA29022; Tue, 3 Apr 2001 19:08:41 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
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 TAA28943 for <caml-list@pauillac.inria.fr>; Tue, 3 Apr 2001 19:08:40 +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 f33H8bf19914
	for <caml-list@inria.fr>; Tue, 3 Apr 2001 19:08:37 +0200 (MET DST)
Received: (from dsf@localhost)
	by hci.ucsd.edu (8.9.3/8.9.3) id KAA27661;
	Tue, 3 Apr 2001 10:08:35 -0700
To: caml-list@inria.fr
Subject: [Caml-list] ocaml VM segfault
From: David Fox <dsfox@cogsci.ucsd.edu>
Date: 03 Apr 2001 10:08:35 -0700
In-Reply-To: Alex Baretta's message of "Sat, 17 Mar 2001 02:35:47 +0100"
Message-ID: <luwv91kj1o.fsf@hci.ucsd.edu>
X-Mailer: Gnus v5.7/Emacs 20.3
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

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