Commit 6b935db0 authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

td6.md : autre exemple menhir

parent d5b01fc2
......@@ -60,7 +60,7 @@ expr? 1+2*(3+4)
value: 15
```
Quel code OCaml faut-il ajouter pour pouvoir interagir avec le code issu de Coq ? En particulier, utiliser `ocamllex` et `menhir` (qui succède à `ocamlyacc`) pour réaliser un lecteur d'expressions arithmétiques (*parseur* en bon franglais). Voir par exemple [ce cours](http://www.dicosmo.org/CourseNotes/Compilation/9900/Cours06/) pour plus de détails.
Quel code OCaml faut-il ajouter pour pouvoir interagir avec le code issu de Coq ? En particulier, utiliser `ocamllex` et `menhir` (qui succède à `ocamlyacc`) pour réaliser un lecteur d'expressions arithmétiques (*parseur* en bon franglais). Voir [cet exemple](https://gitlab.inria.fr/fpottier/menhir/tree/master/demos/calc) ou [ce cours](http://www.dicosmo.org/CourseNotes/Compilation/9900/Cours06/) pour plus de détails.
Note: pour utiliser `menhir` sur les machines de la 2004, taper ceci dans votre terminal avant de compiler:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment