Discussion :

[rommik]

Bonjour,

je fais mes premiers pas en ocaml, et j'aimerais écrire un analyseur syntaxique basique.
Je suis parti d'un code dans l'introduction du manuel d'ocaml, utilisant les modules Genlex et Stream.

Le problème est que ce code, même réduit à sa plus simple expression, génère une
erreur de syntaxe à la compilation, alors qu'il passe sans problème dans l'interpréteur intéractif.

Voici le code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
#load "camlp4o.cma";;
open Genlex;;
open Stream;;
[< '1; '2; '3 >];;

En entrant ce code ligne par ligne dans l'interpréteur interactif :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
ocaml -I +camlp4

il renvoie ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
- : int Stream.t = <abstr>

En revanche, en tentant de compiler (à ce que j'ai compris il ne s'agit d'ailleurs pas d'une réelle compilation) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
ocaml -I +camlp4 test2.ml

j'obtiens une erreur de syntaxe :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
File "test2.ml", line 4, characters 0-2:
Syntax error

Quelqu'un aurait-il une idée d'où pourrait provenir le problème ?

[InOCamlWeTrust]

La réponse est là, paragraphe 7.2... :

http://caml.inria.fr/pub/docs/manual...manual021.html

[rommik]

en comilant avec :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
ocamlc -pp camlp4o test2.ml

j'obtiens une erreur du préprocesseur :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
Camlp4: Uncaught exception: DynLoader.Error ("/usr/lib/ocaml/camlp4/camlp4o.cma", "error while linking /usr/lib/ocaml/camlp4/camlp4o.cma.\nReference to undefined global `Toploop'")
 
Preprocessor error

A ce que j'ai compris, ocaml est simplement l'interpréteur, tandis que ocamlc est le compilateur.
Mais dans ce cas, pourquoi je peux quand même compiler le programme avec ocaml, sauf qu'il n'accepte pas les syntaxes particulières ?
Et pourquoi le #load n'est pas reconnu par ocamlc ?

[alex_pi]

A ce que j'ai compris, ocaml est simplement l'interpréteur, tandis que ocamlc est le compilateur.
Mais dans ce cas, pourquoi je peux quand même compiler le programme avec ocaml, sauf qu'il n'accepte pas les syntaxes particulières ?
Et pourquoi le #load n'est pas reconnu par ocamlc ?

Le #load est une instruction pour le toplevel, l'interpréteur. C'est d'ailleurs pour cela qu'elle a une syntaxe si particulière, parce qu'elle ne fait pas partie du langage. Pour le compilo, c'est remplacé par -pp camlp4o. Il te faut donc la supprimer du code source

[rommik]

Ok, . C'est beaucoup plus clair maintenant.