Message

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 RAA00835; Thu, 28 Aug 2003 17:08:15 +0200 (MET DST) 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 RAA31310 for ; Thu, 28 Aug 2003 17:08:14 +0200 (MET DST) Received: from cat.nyu.edu (CAT.NYU.EDU [128.122.47.28]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h7SF8DT08704 for ; Thu, 28 Aug 2003 17:08:13 +0200 (MET DST) Received: from tomlaptop1 (gort.math.pitt.edu [136.142.124.24]) by cat.nyu.edu (Postfix) with ESMTP id 655D019D6A for ; Thu, 28 Aug 2003 11:08:03 -0400 (EDT) From: "Sean McLaughlin" To: Subject: [Caml-list] ocaml #load Date: Thu, 28 Aug 2003 11:08:02 -0400 Message-ID: <000001c36d76$2ffd6510$187c8e88@tomlaptop1> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0001_01C36D54.A8EBC510" 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.2727.1300 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; sean:99 nyu:99 nuisance:01 ocamldep:01 ocamldep:01 sean:99 nuisance:01 cmo:01 cmo:01 ocaml:01 ocaml:01 makefile:02 makefile:02 loads:03 loads:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0001_01C36D54.A8EBC510 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Hello, I'm building a large program in ocaml that I'll want to run using the interpreter. It is a nuisance having to load all the files in the correct order. There is the ocamldep tool for compiling,but I can't find a similar tool or function for loading into the top level. Is there such a tool that, say, when I type ' #load 'd.cmo', and d depends on c, c on b, b on a, somehow loads a then b then c then d? I can imagine a simple tool that runs ocamldep and repeatedly greps the makefile and adds lines like "#load d.cmo" to a text file until a fixed point is reached. Thanks, Sean ------=_NextPart_000_0001_01C36D54.A8EBC510 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Message

Hello,

= I'm building=20 a large program in ocaml that I'll want to run using the = interpreter. =20 It is a nuisance having to load all the files in the correct = order. There=20 is the ocamldep tool for compiling,but I can't find a similar tool = or=20 function for loading into the top level. Is there such = a tool=20 that, say, when I type ' #load 'd.cmo', and d depends on c, c on b, = b on a,=20 somehow loads a then b then c then d? I can imagine a simple tool = that=20 runs ocamldep and repeatedly greps the makefile and adds lines like = "#load=20 d.cmo" to a text file until a fixed point is reached. =

Thanks,

Sean

------=_NextPart_000_0001_01C36D54.A8EBC510-- ------------------- 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 RAA05112; Thu, 28 Aug 2003 17:32:42 +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 RAA01192 for ; Thu, 28 Aug 2003 17:32:41 +0200 (MET DST) Received: from postfix3-2.free.fr (postfix3-2.free.fr [213.228.0.169]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h7SFWef11183 for ; Thu, 28 Aug 2003 17:32:40 +0200 (MET DST) Received: from PWARP (lns-th2-3f-81-56-197-80.adsl.proxad.net [81.56.197.80]) by postfix3-2.free.fr (Postfix) with SMTP id BC009C2F1; Thu, 28 Aug 2003 17:32:37 +0200 (CEST) Message-ID: <002f01c36d79$9ad0a020$6f00a8c0@PWARP> From: "Nicolas Cannasse" To: "Sean McLaughlin" , References: <000001c36d76$2ffd6510$187c8e88@tomlaptop1> Subject: Re: [Caml-list] ocaml #load Date: Thu, 28 Aug 2003 17:32:28 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_002C_01C36D8A.5A8A8DD0" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1158 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; cannasse:01 warplayer:01 caml-list:01 nuisance:01 ocamldep:01 ocamldep:01 ocamlc:01 cannasse:01 nuisance:01 ocamlc:01 cmo:01 cmo:01 ocaml:01 ocaml:01 nicolas:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_002C_01C36D8A.5A8A8DD0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Message I'm building a large program in ocaml that I'll want to run = using the interpreter. It is a nuisance having to load all the files in = the correct order. There is the ocamldep tool for compiling,but I can't = find a similar tool or function for loading into the top level. Is = there such a tool that, say, when I type ' #load 'd.cmo', and d depends = on c, c on b, b on a, somehow loads a then b then c then d? I can = imagine a simple tool that runs ocamldep and repeatedly greps the = makefile and adds lines like "#load d.cmo" to a text file until a fixed = point is reached. =20 One other solution is to build a CMA containing the list of the CMO you = want to load in the right order (using ocamlc -a flag). Nicolas Cannasse ------=_NextPart_000_002C_01C36D8A.5A8A8DD0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Message

I'm=20 building a large program in ocaml that I'll want to run using the = interpreter. It is a nuisance having to load all the files in = the=20 correct order. There is the ocamldep tool for compiling,but = I can't=20 find a similar tool or function for loading into the top=20 level. Is there such a tool that, say, when I type ' = #load=20 'd.cmo', and d depends on c, c on b, b on a, somehow loads a then = b then=20 c then d? I can imagine a simple tool that runs ocamldep and = repeatedly=20 greps the makefile and adds lines like "#load d.cmo" to a text file = until a=20 fixed point is reached.

One other=20 solution is to build a CMA containing the list of the CMO you want to = load in=20 the right order (using ocamlc -a flag).

Nicolas=20 Cannasse

------=_NextPart_000_002C_01C36D8A.5A8A8DD0-- ------------------- 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 RAA06645; Thu, 28 Aug 2003 17:44:20 +0200 (MET DST) 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 RAA28410 for ; Thu, 28 Aug 2003 17:44:19 +0200 (MET DST) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h7SFiIT11960 for ; Thu, 28 Aug 2003 17:44:18 +0200 (MET DST) Received: from pc8-123 (pc8-123 [129.175.8.123]) by lri.lri.fr (8.11.6p2/jtpda-5.3.2) with ESMTP id h7SFPVY13223 ; Thu, 28 Aug 2003 17:25:31 +0200 (MEST) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 19sOeQ-0005i4-00; Thu, 28 Aug 2003 17:25:30 +0200 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <16206.7914.941922.281396@gargle.gargle.HOWL> Date: Thu, 28 Aug 2003 17:25:30 +0200 To: "Sean McLaughlin" Cc: Subject: Re: [Caml-list] ocaml #load In-Reply-To: <000001c36d76$2ffd6510$187c8e88@tomlaptop1> References: <000001c36d76$2ffd6510$187c8e88@tomlaptop1> X-Mailer: VM 7.03 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-MailScanner: Found to be clean X-Loop: caml-list@inria.fr X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 caml-list:01 sean:99 nuisance:01 ocamldep:01 ocamldep:01 ocamldsort:01 dimitri:01 cmo:01 ocaml:01 ocaml:01 toplevel:01 writes:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Sean McLaughlin writes: > > I'm building a large program in ocaml that I'll want to run using the > interpreter. It is a nuisance having to load all the files in the > correct order. There is the ocamldep tool for compiling,but I can't > find a similar tool or function for loading into the top level. Is > there such a tool that, say, when I type ' #load 'd.cmo', and d depends > on c, c on b, b on a, somehow loads a then b then c then d? I can > imagine a simple tool that runs ocamldep and repeatedly greps the > makefile and adds lines like "#load d.cmo" to a text file until a fixed > point is reached. This has already been discussed on this list; see the archive. ocamldsort is what you need; get it at http://dimitri.mutu.net/ocaml.html Another solution is to have your Makefile building a custom toplevel with your code (you still need to write modules in the right order in your Makefile but you'll probably end up doing it anyway). Hope this helps, -- Jean-Christophe Filliâtre ------------------- 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 RAA12304; Sat, 30 Aug 2003 17:29:37 +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 RAA08012 for ; Sat, 30 Aug 2003 17:29:36 +0200 (MET DST) Received: from corwin.mutu.net (mutu.net [80.65.226.162]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h7UFTZf03429 for ; Sat, 30 Aug 2003 17:29:35 +0200 (MET DST) Received: by corwin.mutu.net (Postfix, from userid 1000) id 1CD30644098; Sat, 30 Aug 2003 17:29:35 +0200 (CEST) To: Subject: Re: [Caml-list] ocaml #load References: <000001c36d76$2ffd6510$187c8e88@tomlaptop1> <16206.7914.941922.281396@gargle.gargle.HOWL> X-face: '|!UPdE>Ot'L}nt?6Tf|'s{y%l~,+Yc5|p8A}ibew|_!vc48pPNPPx@7QA~$`$g=|yH*8sh9R]Xj1(CV7oUe>#/,t.(Z4F From: Dimitri Ara Date: 30 Aug 2003 17:29:35 +0200 In-Reply-To: <16206.7914.941922.281396@gargle.gargle.HOWL> Message-ID: <877k4vduzk.fsf@corwin.mutu.net> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 dimitri:01 dimitri:01 filliatre:01 filliatre:01 lri:01 ocamldsort:01 ocamldsort:01 quatramaran:01 nerim:01 ecrit:01 ocaml:01 ocaml:01 tar:01 makefile:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jean-Christophe Filliatre a écrit : > ocamldsort is what you need; get it at http://dimitri.mutu.net/ocaml.html The latest version of ocamldsort (0.14) which was available on my site when Jean-Christophe wrote this mail was buggy (actually the makefile was buggy). If you've tried ocamldsort these days, please download the new version (0.14.1) : ftp://quatramaran.ens.fr/pub/ara/ocamldsort/ocamldsort-0.14.1.tar.gz -- Dimitri ------------------- 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 MAA27845; Wed, 3 Sep 2003 12:40:54 +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 MAA00458 for ; Wed, 3 Sep 2003 12:40:53 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from eposta.kablonet.com.tr ([62.248.102.66]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id h83Aeof13071 for ; Wed, 3 Sep 2003 12:40:51 +0200 (MET DST) Received: (qmail 65140 invoked by uid 0); 3 Sep 2003 10:44:59 -0000 Received: from unknown (HELO 195.174.173.82) (exa@kablonet.com.tr@195.174.173.82) by 0 with SMTP; 3 Sep 2003 10:44:44 -0000 From: Eray Ozkural Reply-To: erayo@cs.bilkent.edu.tr Organization: Bilkent University CS Dept. To: Subject: Re: [Caml-list] ocaml #load Date: Wed, 3 Sep 2003 13:40:00 +0300 User-Agent: KMail/1.5.9 References: <000001c36d76$2ffd6510$187c8e88@tomlaptop1> <002f01c36d79$9ad0a020$6f00a8c0@PWARP> In-Reply-To: <002f01c36d79$9ad0a020$6f00a8c0@PWARP> MIME-Version: 1.0 Content-Disposition: inline Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Message-Id: <200309031340.00309.exa@kablonet.com.tr> X-Loop: caml-list@inria.fr X-Spam: no; 0.00; eray:01 ozkural:01 caml-list:01 haskell:01 somethign:01 chasing:01 32,:01 cannasse:01 ocamlc:01 cannasse:01 eray:01 ozkural:01 erayo:01 bilkent:01 bilkent:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Doesn't haskell ghc interpreter do this automatically? This looks like somethign that could be handled by the interpreter itself, chasing modules. On Thursday 28 August 2003 18:32, Nicolas Cannasse wrote: > ". One other > solution is to build a CMA containing the list of the CMO you want to load > in the right order (using ocamlc -a flag). > > Nicolas Cannasse -- Eray Ozkural (exa) Comp. Sci. Dept., Bilkent University, Ankara KDE Project: http://www.kde.org www: http://www.cs.bilkent.edu.tr/~erayo Malfunction: http://mp3.com/ariza GPG public key fingerprint: 360C 852F 88B0 A745 F31B EA0F 7C07 AE16 874D 539C ------------------- 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