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