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 UAA10442; Mon, 27 Oct 2003 20:24:48 +0100 (MET) 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 UAA21632 for ; Mon, 27 Oct 2003 20:24:46 +0100 (MET) Received: from moby.atcorp.com (moby.atcorp.com [204.72.172.2]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9RJOj108984 for ; Mon, 27 Oct 2003 20:24:45 +0100 (MET) Received: from burbot (burbot.atcorp.com [204.72.172.119]) by moby.atcorp.com (8.11.6/8.11.2) with ESMTP id h9RJQgZ12800 for ; Mon, 27 Oct 2003 13:26:42 -0600 Reply-To: From: "Eric Dahlman" To: Subject: [Caml-list] Segmentation Fault on #load Date: Mon, 27 Oct 2003 13:23:24 -0600 Organization: ATC Message-ID: <000701c39cbf$ca7ef3b0$77ac48cc@burbot> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0008_01C39C8D.7FE483B0" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4024 Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; cygwin:01 3.07:01 dumped:01 alas:01 cygwin:01 3.07:01 dumped:01 alas:01 cmo:01 cmo:01 ocaml:01 ocaml:01 caml:01 caml:01 segmentation:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0008_01C39C8D.7FE483B0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Hello, I am a new ocaml user and I am having problems trying to get it to load compiled code into the top level. Specifically if I try to load a .cmo or .cma file I get a segmentation violation. This is under cygwin and here is an example $ ocaml Objective Caml version 3.07+2 # #load pretty.cmo;; Segmentation fault (core dumped) I have been trying to track this down but have not been having too much luck. What could be going wrong and what should I be looking for either as a potential source of problems or as a solution. I was hoping to be able to get a bit more information on what is going wrong but alas I also could not figure out how to. Thanks, -Eric ------=_NextPart_000_0008_01C39C8D.7FE483B0 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Hello,

 

I am a new ocaml user and I am having problems trying = to get it to load compiled code into the top level.  Specifically if I try = to load a .cmo or .cma file I get a segmentation violation.  This is = under cygwin and here is an example

 

$ ocaml

        Objective = Caml version 3.07+2

 

# #load pretty.cmo;;

Segmentation fault (core dumped)

 

I have been trying to track this down but have not = been having too much luck.  What could be going wrong and what should I = be looking for either as a potential source of problems or as a = solution.  I was hoping to be able to get a bit more information on what is going = wrong but alas I also could not figure out how to.

 

Thanks,

 

-Eric

------=_NextPart_000_0008_01C39C8D.7FE483B0-- ------------------- 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 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 QAA15350; Tue, 28 Oct 2003 16:49:20 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA04259 for ; Tue, 28 Oct 2003 16:49:19 +0100 (MET) Received: from mail1.telekom.de (mail1.telekom.de [62.225.183.202]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h9SFnI124751 for ; Tue, 28 Oct 2003 16:49:18 +0100 (MET) Received: from g9jbr.mgb01.telekom.de by G8SBV.dmz.telekom.de with ESMTP; Tue, 28 Oct 2003 16:47:08 +0100 Received: by G9JBR.mgb01.telekom.de with Internet Mail Service (5.5.2653.19) id ; Tue, 28 Oct 2003 16:47:08 +0100 Message-Id: From: "Beck01, Wolfgang" To: edahlman@atcorp.com, caml-list@inria.fr Subject: RE: [Caml-list] Segmentation Fault on #load Date: Tue, 28 Oct 2003 16:47:04 +0100 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" X-Loop: caml-list@inria.fr X-Spam: no; 0.00; t-systems:01 caml-list:01 3.07:01 dumped:01 'ocaml':01 ocamlmktop:01 ocamlc:01 faq:01 linked:01 cmo:01 cmo:01 ocaml:01 ocaml:01 caml:01 command:98 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk You wrote: > $ ocaml > Objective Caml version 3.07+2 > > # #load pretty.cmo;; > Segmentation fault (core dumped) Loading object files into the ocaml toplevel is not a good idea. It's like loading pretty.cmo in your text editor (which looks not pretty). If you have the source code of pretty.cmo, load it (#load "pretty.mL"). If not, you have to build a toplevel (the 'ocaml' command) linked to your object file or library. To do this, read the manual page of ocamlmktop. This program works like ocamlc, but builds a program that works like the ocaml command. This should be in a FAQ. Wolfgang ------------------- 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 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 RAA20365; Tue, 28 Oct 2003 17:05:55 +0100 (MET) 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 RAA18291 for ; Tue, 28 Oct 2003 17:05:54 +0100 (MET) Received: from mail.davidb.org (adsl-64-172-240-129.dsl.sndg02.pacbell.net [64.172.240.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9SG5r117717 for ; Tue, 28 Oct 2003 17:05:53 +0100 (MET) Received: from davidb by mail.davidb.org with local (Exim 3.36 #1 (Debian)) id 1AEPnM-0003Ro-00; Tue, 28 Oct 2003 01:05:44 -0800 Date: Tue, 28 Oct 2003 01:05:44 -0800 From: David Brown To: "Beck01, Wolfgang" Cc: edahlman@atcorp.com, caml-list@inria.fr Subject: Re: [Caml-list] Segmentation Fault on #load Message-ID: <20031028090544.GA13216@davidb.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 caml-list:01 3.07:01 dumped:01 cmo:01 cmo:01 ocaml:01 ocaml:01 caml:01 bytecode:01 toplevel:01 toplevel:01 segmentation:01 segmentation:01 wolfgang:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Oct 28, 2003 at 04:47:04PM +0100, Beck01, Wolfgang wrote: > > You wrote: > > $ ocaml > > Objective Caml version 3.07+2 > > > > # #load pretty.cmo;; > > Segmentation fault (core dumped) > > Loading object files into the ocaml toplevel is not a good idea. > It's like loading pretty.cmo in your text editor (which looks > not pretty). No, this is supposed to work. It should load the bytecode into the toplevel. Dave ------------------- 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 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 RAA19580; Tue, 28 Oct 2003 17:11:57 +0100 (MET) 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 RAA23805 for ; Tue, 28 Oct 2003 17:11:56 +0100 (MET) Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9SGBt118457 for ; Tue, 28 Oct 2003 17:11:55 +0100 (MET) Received: from fistandantilus.takhisis.org (dhcp184.dmi.ens.fr [129.199.97.184]) by nef.ens.fr (8.12.10/1.01.28121999) with ESMTP id h9SGBtcp000391 for ; Tue, 28 Oct 2003 17:11:55 +0100 (CET) Received: by fistandantilus.takhisis.org (Postfix, from userid 3148) id 1DBFE27411D; Tue, 28 Oct 2003 17:11:55 +0100 (CET) Date: Tue, 28 Oct 2003 17:11:55 +0100 From: Stefano Zacchiroli To: caml-list@inria.fr Subject: Re: [Caml-list] Segmentation Fault on #load Message-ID: <20031028161155.GA4081@fistandantilus.takhisis.org> Mail-Followup-To: caml-list@inria.fr References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; bononia:01 caml-list:01 dumped:01 segfaults:01 segfault:01 segfault:01 bug:01 bononia:01 cmo:01 cmo:01 ocaml:01 ocaml:01 bytecode:01 toplevel:01 toplevel:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Oct 28, 2003 at 04:47:04PM +0100, Beck01, Wolfgang wrote: > > # #load pretty.cmo;; > > Segmentation fault (core dumped) > > Loading object files into the ocaml toplevel is not a good idea. > It's like loading pretty.cmo in your text editor (which looks > not pretty). > > If you have the source code of pretty.cmo, load it (#load "pretty.mL"). You're confusing two toplevel directive: #use and #load. The first one is the one you should use in your example: #use "pretty.ml" and interpret a source file in the same way as it would have been interpreted while typing it. The second one, correctly used in the first post asking for help, loads a bytecode object in the toplevel using ocaml dynamic loading. Regarding the reason of segfaults, it can be caused by many factors ... First of all: do you get the same segfault linking your code in an executable and executing it? If the behaviour is the same then it can be one of the usual three reasons that cause an ocaml program to segfault: use of external segfaulting C code, incorrect use of an Obj.magic, a bug. I think you need to give us more information to get an appreciable help ... Cheers. -- Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} - http://www.bononia.it/zack/ " I know you believe you understood what you think I said, but I am not sure you realize that what you heard is not what I meant! " -- G.Romney ------------------- 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 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 UAA00360; Tue, 28 Oct 2003 20:38:12 +0100 (MET) 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 UAA22346 for ; Tue, 28 Oct 2003 20:38:10 +0100 (MET) Received: from jalapeno.cc.columbia.edu (jalapeno.cc.columbia.edu [128.59.59.238]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9SJc9104030 for ; Tue, 28 Oct 2003 20:38:09 +0100 (MET) Received: from tw304h3.cpmc.columbia.edu (tw304h3.cpmc.columbia.edu [156.111.84.180]) (user=ot14 mech=LOGIN bits=0) by jalapeno.cc.columbia.edu (8.12.10/8.12.10) with ESMTP id h9SJbibS011142 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NOT); Tue, 28 Oct 2003 14:37:46 -0500 (EST) From: Oleg Trott To: David Brown , "Beck01, Wolfgang" Subject: Re: [Caml-list] Segmentation Fault on #load Date: Tue, 28 Oct 2003 15:37:30 -0400 User-Agent: KMail/1.5.4 Cc: edahlman@atcorp.com, caml-list@inria.fr References: <20031028090544.GA13216@davidb.org> In-Reply-To: <20031028090544.GA13216@davidb.org> MIME-Version: 1.0 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200310281437.30574.oleg_trott@columbia.edu> X-No-Spam-Score: Local X-Scanned-By: MIMEDefang 2.35 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; oleg:01 oleg:01 caml-list:01 3.07:01 dumped:01 ffi:01 bug:01 cmo:01 cmo:01 ocaml:01 ocaml:01 caml:01 bytecode:01 toplevel:01 toplevel:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tuesday 28 October 2003 04:05 am, David Brown wrote: > On Tue, Oct 28, 2003 at 04:47:04PM +0100, Beck01, Wolfgang wrote: > > You wrote: > > > $ ocaml > > > Objective Caml version 3.07+2 > > > > > > # #load pretty.cmo;; > > > Segmentation fault (core dumped) > > > > Loading object files into the ocaml toplevel is not a good idea. > > It's like loading pretty.cmo in your text editor (which looks > > not pretty). > > No, this is supposed to work. It should load the bytecode into the > toplevel. > > Dave Technically, it's possible for "#load" to cause seg-fault if "pretty" uses FFI and there is a bug somewhere. Otherwise, there may be a problem with Eric's copy of OCaml. -- Oleg Trott ------------------- 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 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 UAA27780; Tue, 28 Oct 2003 20:58:44 +0100 (MET) 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 UAA28766 for ; Tue, 28 Oct 2003 20:58:43 +0100 (MET) Received: from moby.atcorp.com (moby.atcorp.com [204.72.172.2]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9SJwg105479 for ; Tue, 28 Oct 2003 20:58:42 +0100 (MET) Received: from SAILFISH (sailfish.atcorp.com [204.72.172.128]) by moby.atcorp.com (8.11.6/8.11.2) with SMTP id h9SJxtZ08960; Tue, 28 Oct 2003 13:59:55 -0600 Received: by localhost with Microsoft MAPI; Tue, 28 Oct 2003 13:56:42 -0600 Message-ID: <01C39D5B.513CCDF0.kmillikin@atcorp.com> From: "Kevin S. Millikin" Reply-To: "kmillikin@atcorp.com" To: "'Oleg Trott'" , David Brown , "Beck01, Wolfgang" Cc: "edahlman@atcorp.com" , "caml-list@inria.fr" Subject: RE: [Caml-list] Segmentation Fault on #load Date: Tue, 28 Oct 2003 13:56:41 -0600 Organization: ATC X-Mailer: Microsoft Internet E-mail/MAPI - 8.0.0.4211 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 oleg:01 oleg:01 ffi:01 bug:01 3.07:01 cygwin:01 3.07:01 cygwin:01 specialists:99 952:99 829:99 ocaml:01 ocaml:01 segmentation:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tuesday, October 28, 2003 1:38 PM, Oleg Trott [SMTP:oleg_trott@columbia.edu] wrote: > Technically, it's possible for "#load" to cause seg-fault if "pretty" uses > FFI and there is a bug somewhere. Otherwise, there may be a problem > with Eric's copy of OCaml. "pretty" is the pretty printer from George Necula's CIL. It does not contain foreign code, but does call Obj.magic. It appears to work for me (Ocaml 3.07 compiled with cygwin), but not for Eric (Ocaml 3.07+2, cygwin). ---- Kevin S. Millikin Architecture Technology Corporation Research Scientist Specialists in Computer Architecture (952)829-5864 x162 http://www.atcorp.com ------------------- 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 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 WAA07465; Tue, 28 Oct 2003 22:39:34 +0100 (MET) 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 WAA24957 for ; Tue, 28 Oct 2003 22:39:32 +0100 (MET) Received: from moby.atcorp.com (moby.atcorp.com [204.72.172.2]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9SLdV112119 for ; Tue, 28 Oct 2003 22:39:31 +0100 (MET) Received: from seahorse (seahorse.atcorp.com [204.72.172.13]) by moby.atcorp.com (8.11.6/8.11.2) with ESMTP id h9SLevZ13976; Tue, 28 Oct 2003 15:40:57 -0600 Reply-To: From: "Eric Dahlman" To: , "'Oleg Trott'" , "'David Brown'" , "'Beck01, Wolfgang'" Cc: Subject: RE: [Caml-list] Segmentation Fault on #load Date: Tue, 28 Oct 2003 15:37:32 -0600 Organization: ATC Message-ID: <000701c39d9b$b26597c0$0dac48cc@seahorse> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.2627 In-Reply-To: <01C39D5B.513CCDF0.kmillikin@atcorp.com> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 Importance: Normal X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 howdy:01 segfault:01 owner-caml-:01 caml-list:01 oleg:01 oleg:01 ffi:01 bug:01 3.07:01 cygwin:01 3.07:01 cygwin:01 specialists:99 952:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Howdy, At this point I suspect that something was wrong with my version of OCaml. I changed machines this morning and have reinstalled everything. I don't believe that I have done anything different but now #load does not cause a segfault. I have not had time to test much more than that to see if there are still some other problems present. I'll let you know if something else appears. -Eric P.S. The significant difference between the two setups is that the problematic one was running Windows 2000 Pro and the new one is running Windows XP. > -----Original Message----- > From: owner-caml-list@pauillac.inria.fr [mailto:owner-caml- > list@pauillac.inria.fr] On Behalf Of Kevin S. Millikin > Sent: Tuesday, October 28, 2003 1:57 PM > To: 'Oleg Trott'; David Brown; Beck01, Wolfgang > Cc: edahlman@atcorp.com; caml-list@inria.fr > Subject: RE: [Caml-list] Segmentation Fault on #load > > On Tuesday, October 28, 2003 1:38 PM, Oleg Trott > [SMTP:oleg_trott@columbia.edu] wrote: > > Technically, it's possible for "#load" to cause seg-fault if > "pretty" uses > > FFI and there is a bug somewhere. Otherwise, there may be a problem > > with Eric's copy of OCaml. > > "pretty" is the pretty printer from George Necula's CIL. It does not > contain foreign code, but does call Obj.magic. > > It appears to work for me (Ocaml 3.07 compiled with cygwin), but not > for Eric (Ocaml 3.07+2, cygwin). > > ---- > Kevin S. Millikin Architecture Technology Corporation > Research Scientist Specialists in Computer Architecture > (952)829-5864 x162 http://www.atcorp.com > > > > ------------------- > 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 ------------------- 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 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 JAA12830; Wed, 29 Oct 2003 09:23:31 +0100 (MET) 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 JAA21043 for ; Wed, 29 Oct 2003 09:23:30 +0100 (MET) Received: from mail1.telekom.de (mail1.telekom.de [62.225.183.202]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9T8NT102469 for ; Wed, 29 Oct 2003 09:23:29 +0100 (MET) Received: from g9jbr.mgb01.telekom.de by G8SBV.dmz.telekom.de with ESMTP; Wed, 29 Oct 2003 09:20:50 +0100 Received: by G9JBR.mgb01.telekom.de with Internet Mail Service (5.5.2653.19) id ; Wed, 29 Oct 2003 09:20:48 +0100 Message-Id: From: "Beck01, Wolfgang" To: caml-list@davidb.org Cc: caml-list@inria.fr Subject: RE: [Caml-list] Segmentation Fault on #load Date: Wed, 29 Oct 2003 09:20:45 +0100 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" X-Loop: caml-list@inria.fr X-Spam: no; 0.00; t-systems:01 caml-list:01 cmo:01 ocaml:01 bytecode:01 toplevel:01 toplevel:01 segmentation:01 wolfgang:02 wolfgang:02 dave:03 object:03 loading:04 loading:04 beck:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >> > Loading object files into the ocaml toplevel is not a good idea. > > It's like loading pretty.cmo in your text editor (which looks > > not pretty). > > No, this is supposed to work. It should load the bytecode into the > toplevel. > > Dave I didn't know that. It even works with libraries. Nice. Wolfgang ------------------- 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 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 UAA22798; Fri, 31 Oct 2003 20:07:48 +0100 (MET) 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 UAA22781 for ; Fri, 31 Oct 2003 20:07:46 +0100 (MET) Received: from moby.atcorp.com (moby.atcorp.com [204.72.172.2]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9VJ7Z105807 for ; Fri, 31 Oct 2003 20:07:40 +0100 (MET) Received: from seahorse (seahorse.atcorp.com [204.72.172.13]) by moby.atcorp.com (8.11.6/8.11.2) with ESMTP id h9VJ7sZ21437; Fri, 31 Oct 2003 13:07:55 -0600 Reply-To: From: "Eric Dahlman" To: , "'Oleg Trott'" , "'David Brown'" , "'Beck01, Wolfgang'" Cc: Subject: [Caml-list] 3.07+2 lossage (was: Segmentation Fault on #load) Date: Fri, 31 Oct 2003 13:05:36 -0600 Organization: ATC Message-ID: <000101c39fe1$f8bcda10$0dac48cc@seahorse> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.2627 Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 In-Reply-To: <01C39D5B.513CCDF0.kmillikin@atcorp.com> X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 3.07:01 lossage:01 howdy:01 3.07:01 cygwin:01 cygwin:01 bug:01 oleg:01 oleg:01 ffi:01 bug:01 specialists:99 952:99 829:99 faq:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Howdy All, Here is an update on this situation. It looks like there is some sort of bad interaction with the patches to 3.07 and cygwin. I installed the original 3.07 on this machine and it was able to load the file just fine, while the 3.07+2 version seg faults. In both of these cases, I totally cleaned out everything and made a fresh build. I also tried 3.07+2 under Linux and it did not generate a seg fault so it looks like cygwin is a necessary component. I don't know enough at this point to better characterize this bug but I hope that someone who know what went into the last two patches may have an idea. Thanks, -Eric > -----Original Message----- > On Tuesday, October 28, 2003 1:38 PM, Oleg Trott > [SMTP:oleg_trott@columbia.edu] wrote: > > Technically, it's possible for "#load" to cause seg-fault if > "pretty" uses > > FFI and there is a bug somewhere. Otherwise, there may be a problem > > with Eric's copy of OCaml. > > "pretty" is the pretty printer from George Necula's CIL. It does not > contain foreign code, but does call Obj.magic. > > It appears to work for me (Ocaml 3.07 compiled with cygwin), but not > for Eric (Ocaml 3.07+2, cygwin). > > ---- > Kevin S. Millikin Architecture Technology Corporation > Research Scientist Specialists in Computer Architecture > (952)829-5864 x162 http://www.atcorp.com > > > > ------------------- > 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 ------------------- 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