Skip to content

Latest commit

 

History

History
15 lines (10 loc) · 838 Bytes

README.md

File metadata and controls

15 lines (10 loc) · 838 Bytes
Raw

ocaml-adaparser

Parser of an approximation of a subset of Ada 2005. Written in Ocaml + Menhir + Lwt + ocamllex

Disclaimer

You won't be able to compile this project as is, because I use a couple of other libraries of mine which I have not included in the sources here (but which I can provide if anyone is interested).

Interesting points (parser-wise)

  • This project illustrates how to use menhir and ocamllex with lwt.
  • Additionally, it illustrates how to build a stateful lexer (each lexing function returns a new token AND a new lexer state).

Files of interest: parser.mly, parse_errors.mli, parse_errors.ml, lexer.mli, lexer.mll, lexhelp.mli, lexhelp.ml

Interesting points (ast-wise)

  • It illustrates how to build a generic AST map & fold (see src/Ast_reader/astmap.ml and astread.ml which shows how to use it)