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.