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 RAA16948; Wed, 14 Nov 2001 17:45:06 +0100 (MET) 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 RAA17026 for ; Wed, 14 Nov 2001 17:45:05 +0100 (MET) Received: from mail.mimuw.edu.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fAEGj1X01424 for ; Wed, 14 Nov 2001 17:45:02 +0100 (MET) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id RAA00370 for caml-list@inria.fr; Wed, 14 Nov 2001 17:45:43 +0100 X-Authentication-Warning: qrnik.zagroda: news set sender to Marcin 'Qrczak' Kowalczyk using -f From: "Marcin 'Qrczak' Kowalczyk" Subject: Re: [Caml-list] A few questions regarding the compiler Date: Wed, 14 Nov 2001 16:45:39 +0000 (UTC) Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: References: <9smdf7$511$1@qrnik.zagroda> <9ssfsl$fa4$1@qrnik.zagroda> <9sttmn$kei$1@qrnik.zagroda> X-Trace: qrnik.zagroda 1005756339 31842 192.168.0.1 (14 Nov 2001 16:45:39 GMT) X-Complaints-To: abuse@localhost NNTP-Posting-Date: Wed, 14 Nov 2001 16:45:39 +0000 (UTC) User-Agent: slrn/0.9.7.2 (Linux) To: caml-list@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Wed, 14 Nov 2001 14:47:13 +0000 (UTC), Marcin 'Qrczak' Kowalczyk pisze: > I'll now try to do it myself basing on backtrace.c, but I don't > understand yet how it works. Why all interesting things are private again? :-( Yes, it works, but it required copying parts of various .h files (they are not installed by default). Fortunately it's C and not OCaml so names exported from any module can be accessed. E.g. I had to copy the 'instructions' type to obtain the values of RAISE and RERAISE. I don't think it's very stable across releases. It makes the whole solution more version-dependent than necessary and so ugly that I'm not sure it's worth doing. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ QRCZAK ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr