Project

General

Profile

« Previous | Next » 

Revision 3dfb5cd8

Added by Lélio Brun over 2 years ago

rewrite a bit the menhir parser

View differences:

src/parsers/lexerLustreSpec.mll
41 41 
  "returns", RETURNS;
42 42 
  "var", VAR;
43 43 
  "import", IMPORT;
44 
  "imported", IMPORTED;
44 
  (* "imported", IMPORTED; *)
45 45 
  "int", TINT;
46 46 
  "bool", TBOOL;
47 47 
  (* "float", TFLOAT; *)

Also available in: Unified diff