* RE: [Caml-list] Segmentation Fault on #load
@ 2003-10-28 19:56 Kevin S. Millikin
2003-10-28 21:37 ` Eric Dahlman
2003-10-31 19:05 ` [Caml-list] 3.07+2 lossage (was: Segmentation Fault on #load) Eric Dahlman
0 siblings, 2 replies; 3+ messages in thread
From: Kevin S. Millikin @ 2003-10-28 19:56 UTC (permalink / raw)
To: 'Oleg Trott', David Brown, Beck01, Wolfgang; +Cc: edahlman, caml-list
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* RE: [Caml-list] Segmentation Fault on #load
2003-10-28 19:56 [Caml-list] Segmentation Fault on #load Kevin S. Millikin
@ 2003-10-28 21:37 ` Eric Dahlman
2003-10-31 19:05 ` [Caml-list] 3.07+2 lossage (was: Segmentation Fault on #load) Eric Dahlman
1 sibling, 0 replies; 3+ messages in thread
From: Eric Dahlman @ 2003-10-28 21:37 UTC (permalink / raw)
To: kmillikin, 'Oleg Trott', 'David Brown',
'Beck01, Wolfgang'
Cc: caml-list
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Caml-list] 3.07+2 lossage (was: Segmentation Fault on #load)
2003-10-28 19:56 [Caml-list] Segmentation Fault on #load Kevin S. Millikin
2003-10-28 21:37 ` Eric Dahlman
@ 2003-10-31 19:05 ` Eric Dahlman
1 sibling, 0 replies; 3+ messages in thread
From: Eric Dahlman @ 2003-10-31 19:05 UTC (permalink / raw)
To: kmillikin, 'Oleg Trott', 'David Brown',
'Beck01, Wolfgang'
Cc: caml-list
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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2003-10-31 19:07 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-28 19:56 [Caml-list] Segmentation Fault on #load Kevin S. Millikin
2003-10-28 21:37 ` Eric Dahlman
2003-10-31 19:05 ` [Caml-list] 3.07+2 lossage (was: Segmentation Fault on #load) Eric Dahlman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).