Discussion :

[x0rster]

Me revoilà avec une nouvelle question :
J'utilise un type "option" et j'aimerai savoir s'il y a un moyen d'alléger la syntaxe :
Actuellement, je suis obligé de faire

Code :

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

1
2
3
4
5
6
 
match variable with
Some blabla -> ()
|Some blabla2 -> ()
...
|None blabla -> ()

Ca devient assez lourd de mettre des Some partout, existe-t-il un moyen pour accéder directement au contenu, sans devoir mettre des Some partout ?

[SpiceGuid]

Si c'est toujours pour de l'analyse lexicale, t'embêtes pas avec char stream, utilise plutôt la fonction Pervasives.input_line.

[alex_pi]

Me revoilà avec une nouvelle question :
J'utilise un type "option" et j'aimerai savoir s'il y a un moyen d'alléger la syntaxe :
Actuellement, je suis obligé de faire

Code :

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

1
2
3
4
5
6
 
match variable with
Some blabla -> ()
|Some blabla2 -> ()
...
|None blabla -> ()

?

J'avoue etre un peu etonne par le None blalba... Ensuite si le but est de juste renvoyer la meme chose a chaque fois (en l'occurence unit), il n'y a evidement aucune raison de faire un match. Ensuite, tu peux evidement imbriquer les matchs (attention au parenthesage)

Code :

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

1
2
3
4
5
6
7
8
 
match variable with
  |Some x -> 
    (match x with 
      | blabla 1 -> ...
      | blabla2 ->...
      ...)
  | None -> ...

Pour finir, tu peux aussi definir des aides comme

Code :

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

1
2
3
4
 
let option_apply f o n = math o with
  | Some s -> f s
  | None -> n

Ou des choses comme ca

[x0rster]

Merci pour ces réponses, je n'avais effectivement pas pensé à imbriquer les match .

Sinon ce n'est plus pour faire de l'analyse lexicale mais pour faire de l'analyse syntaxique cette fois, on doit le faire à la main sans utiliser de yacc/bison/...

Et sinon le "blabla" et les types unit renvoyés n'ont rien à voir avec le vrai code, c'était juste pour l'exemple, c'est plutôt de ce genre :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
let rec instruction () =
        match !symbole_courant with
        Some TBEGIN -> (
                symbole_suivant ();
                instruction ();
                if !symbole_courant <> Some TPOINTVIRGULE then
                       acceptKeyword TEND
                else (
                        symbole_suivant ();
                        instruction ();
                )
        )
        | Some TIDENTIFIER id -> (
                (* Ajouter appel procedure *)
                instruction_affectation ();
        )
        | Some TIF -> instruction_if ()
        | Some TWHILE -> instruction_while ()
        | Some TFOR -> instruction_for ()
        | Some TCASE -> instruction_case ()
        | None -> raise Eof
        | _ -> ()
;;

Merci de votre aide