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 TAA10874; Sat, 24 Nov 2001 19:08:22 +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 TAA11447 for ; Sat, 24 Nov 2001 19:08:21 +0100 (MET) Received: from anagyris.wanadoo.fr (smtp-rt-1.wanadoo.fr [193.252.19.151]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fAOI8KH09078 for ; Sat, 24 Nov 2001 19:08:20 +0100 (MET) Received: from mel-rta7.wanadoo.fr (193.252.19.61) by anagyris.wanadoo.fr; 24 Nov 2001 19:08:20 +0100 Received: from l6g6o0 (80.9.51.166) by mel-rta7.wanadoo.fr; 24 Nov 2001 19:08:01 +0100 Message-ID: <000801c17511$570dcaa0$a6330950@l6g6o0> From: "Chardon Bertrand" To: Subject: [Caml-list] compilation problem Date: Sat, 24 Nov 2001 18:56:25 +0100 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0005_01C17519.B7BE0380" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2615.200 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0005_01C17519.B7BE0380 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hello, These times i'm trying (for school purposes) to write a compiler for a = mini functional language based on Caml. To do so, i've written several files (parser, lexer, errors, location, = and a main one) that are interdependent.... I've recently added a semantic analyser only dealing with type check.... And when i use the command "make" : this message is displayed on the screen : No implementation provided for the following modules : Errors referenced from main.cmx Location referenced from main.cmx Anasem referenced from main.cmx I sadly can't understand the nature of the error I made. Indeed i get all the files errors.ml, location.ml and anasem.ml " with = all the needed interfaces .mli..... If I'm missing something important please let me know... Thanks. ------=_NextPart_000_0005_01C17519.B7BE0380 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Hello,

These times i'm trying (for school = purposes) to=20 write a compiler for a mini functional language based on = Caml.

To do so, i've written several files = (parser,=20 lexer, errors, location, and a main one) that are=20 interdependent....

I've recently added a semantic analyser = only=20 dealing with type check....

And when i use the command "make" = :

this message is displayed on the screen = :

No implementation provided for the = following=20 modules :

Errors referenced from = main.cmx

Location referenced from = main.cmx

Anasem referenced from = main.cmx

I sadly can't understand the nature of = the=20 error I made.

Indeed i get all the files errors.ml, = location.ml=20 and anasem.ml " with all the needed interfaces .mli.....

If I'm missing something important = please let me=20 know...

Thanks.

------=_NextPart_000_0005_01C17519.B7BE0380-- ------------------- 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 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 MAA03442; Mon, 26 Nov 2001 12:29:01 +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 MAA02980 for ; Mon, 26 Nov 2001 12:29:00 +0100 (MET) Received: from quetelet.bik-gmbh.de (quetelet.bik-gmbh.de [194.233.237.132]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fAQBSxX09521 for ; Mon, 26 Nov 2001 12:28:59 +0100 (MET) Received: from hars by quetelet.bik-gmbh.de with local (Exim 3.12 #1 (Debian)) id 168JvC-0008UQ-00; Mon, 26 Nov 2001 12:27:34 +0100 Date: Mon, 26 Nov 2001 12:27:34 +0100 From: Florian Hars To: Chardon Bertrand Cc: caml-list@inria.fr Subject: Re: [Caml-list] compilation problem Message-ID: <20011126122734.B32512@hars> References: <000801c17511$570dcaa0$a6330950@l6g6o0> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <000801c17511$570dcaa0$a6330950@l6g6o0>; from moomba@wanadoo.fr on Sat, Nov 24, 2001 at 06:56:25PM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, Nov 24, 2001 at 06:56:25PM +0100, Chardon Bertrand wrote: > No implementation provided for the following modules : > > Indeed i get all the files errors.ml, location.ml and anasem.ml " with all the needed interfaces .mli..... Have you compiled them all and told the compiler to link main with them? OCamlMakefile might be what you are looking for. Yours, Florian Hars ------------------- 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 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 TAA07226; Mon, 2 Dec 2002 19:23:47 +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 TAA07462 for ; Mon, 2 Dec 2002 19:23:46 +0100 (MET) Received: from smtp1.libero.it (smtp1.libero.it [193.70.192.51]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gB2INj103756 for ; Mon, 2 Dec 2002 19:23:45 +0100 (MET) Received: from libero.it (193.70.192.46) by smtp1.libero.it (6.7.015) id 3DE22B4200089A17 for caml-list@inria.fr; Mon, 2 Dec 2002 19:23:44 +0100 Date: Mon, 2 Dec 2002 19:23:44 +0100 Message-Id: Subject: [Caml-list] =?iso-8859-1?Q?compilation_problem?= MIME-Version: 1.0 X-Sensitivity: 3 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable From: "=?utf-8?Q?altavillasalvatore@libero.it?=" To: "=?iso-8859-1?Q?caml-list?=" X-XaM3-API-Version: 3.2 R24 (B46 pl2) X-type: 0 X-SenderIP: 147.163.3.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi,=0D=0AI would want to compile the pascal.ml file:=0D=0A=0D=0A****=0D=0A= pascal.ml=0D=0A open Unix=0D=0A let my_name =3DUnix.gethostname();;=0D= =0A******=0D=0AI type=0D=0A=0D=0A ocamlc -custom unix.cma pascal.ml -ccli= b -lunix =0D=0A=0D=0Aand then=0D=0A=0D=0A ocamlc pascal.ml -o pascal=0D=0A= =0D=0Aobtaining the following message:=0D=0A=0D=0A Reference to undefined= global `Unix' =0D=0A=0D=0AI would want the exec -file.=0D=0A=0D=0ARegar= ds. ------------------- 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 IAA22969; Tue, 3 Dec 2002 08:44:45 +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 IAA22667 for ; Tue, 3 Dec 2002 08:44:45 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gB37iiX10316; Tue, 3 Dec 2002 08:44:44 +0100 (MET) Received: from tintin.inria.fr (tintin.inria.fr [128.93.24.126]) by pauillac.inria.fr (8.7.6/8.7.3) with SMTP id IAA22980; Tue, 3 Dec 2002 08:44:43 +0100 (MET) Date: Tue, 3 Dec 2002 08:44:43 +0100 From: Maxence Guesdon To: "altavillasalvatore@libero.it" , caml-list@inria.fr Subject: Re: [Caml-list] compilation problem Message-Id: <20021203084443.7df47f39.maxence.guesdon@inria.fr> In-Reply-To: References: Organization: INRIA X-Mailer: Sylpheed version 0.8.6claws (GTK+ 1.2.10; ) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > **** > pascal.ml > open Unix > let my_name =Unix.gethostname();; > ****** > I type > > ocamlc -custom unix.cma pascal.ml -cclib -lunix > > and then > > ocamlc pascal.ml -o pascal > > obtaining the following message: > > Reference to undefined global `Unix' > > I would want the exec -file. The first command you typed is also used to create an executable (by default a.out), since you did not provide the -c (compile only) or -a (create a library) flags. Change the first command to : ocamlc -o pascal -custom unix.cma pascal.ml -cclib -lunix to create the executable with the name 'pascal'. You could also have compiled pascal.ml : ocamlc -c pascal.ml (creates pascal.cmo and pascal.cmi) then you could have created an executable with the compiled file : ocamlc -o pascal -custom unix.cma -cclib -lunix pascal.cmo -- Maxence Guesdon ------------------- 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