Discussion :

[amiroushka]

slt tt le monde;
je suis en train de faire un analyseur syntaxique en utilisant le module Genlex.
Mais le compilateur le reconnait pas les expression de type stream [< ...>]

voila le code que j'ai:

Code :

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

1
2
3
4
5
6
7
8
9
10
 
open Genlex
let lexer_distrib l=make_lexer ["<-";"(";")";"->";"Bin";";"] (Stream.of_string l)
 
let rec parse_distribution str=
  match s with parser 
    |[< 'Ident x; 'Kwd "<-"; 'Ident e >]-> Draw(x,Ens(e))
    |[< 'Ident x;'Kwd "<-";'Kwd "(";'Ident e1;'Kwd ")";'Ident e2;'Ident")" >]->Draw(x,EnsFct(e1,e2))
    |[< 'Ident x;'Kwd "<-";'Kwd "Bin";'Int i >]-> Draw(x,Bin(i))
    |[< s1=parse_distribution;'Kwd ";";s2=parse_distribution >]-> XDD(s1,s2)

j'ai une erreur de syntaxe au niveau des caractères "[<"
je ne sais pas si je dois ouvrir un module particulier par exemple
Merci d'avance pour vos réponses.

[gasche]

La bibliothèque qui gère les Stream fait partie de la bibliothèque standard, mais pour avoir la syntaxe spécifique il faut utiliser le préprocesseur camlp4. Rajoute à ta ligne de compilation l'option "-pp camlp4o" :

ocamlc -pp camlp4o -o ...

(si tu utilises l'interpréteur interactif "ocaml", c'est "ocaml camlp4o.cma ..." ou "ocaml dynlink.cma camlp4o.cma ..." en 3.11)

[Cacophrene]

Salut !

En prévision d'un autre problème avec les stream : le code de parse_distribution que tu nous montres ne fonctionnera pas comme tu le souhaites car les stream d'OCaml sont destructifs. Il faut comprendre par là qu'un élément matché est immédiatement retiré du stream. Donc les trois filtrages qui commencent par Ident vont poser problème. Si le premier échoue mais que Ident a été matché, il sera retiré avant le test du second filtrage. Essaie quelque chose comme ça :

Code :

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

1
2
3
4
5
6
7
8
9
let rec parse_distribution str = parser
  | [< 'Ident x; 'Kwd "<-"; s >] ->
    begin match s with parser
      | [< 'Ident e >] -> ...
      | [< 'Kwd "("; 'Ident e1; 'Kwd ")"; 'Ident e2; 'Ident ")" >] -> ...
      | [< 'Kwd "Bin"; 'Int i >] -> ...
    end
  | [< s1 = parse_distribution; 'Kwd ";"; s2 = parse_distribution >]-> ...

Cordialement,
Cacophrène

[amiroushka]

merci déjà pour vos réponses; ça a résolu mes problèmes et ça m'a permis de mieux comprendre les streams.

est ce que vous pouvez me dire comment je peux tester la fin d'un stream.
comment détecter la fin d'un stream?

[Cacophrene]

Salut !

est ce que vous pouvez me dire comment je peux tester la fin d'un stream. comment détecter la fin d'un stream?

Spontanément je pense à quelque chose comme ceci :

Code :

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

1
2
3
let is_empty s = 
  try Stream.empty s; true with Stream.Failure -> false

Exemple d'application :

Code :

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

1
2
3
4
5
6
7
let foo stream =
  if is_empty stream then (* action si le stream est vide *) else
    match stream with parser
    | [< bar >] -> (* autre action *)
    | ...

À noter que le cas [< >] ne matche pas seulement le stream vide, mais aussi tous les cas qui ne correspondent à aucune clause de filtrage.

Cordialement,
Cacophrène