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/dune
7 7 
;  (libraries lustre_types corelang automata))
8 8 

  		




  9
  9
  
    
(menhir


  		




  10
  
  
    
 (modules parser_lustre))


  		




  
  10
  
    
 (modules parser_lustre)


  		




  
  11
  
    
 (flags --explain))


  		




  11
  12
  
    

  		




  12
  13
  
    
(ocamllex lexerLustreSpec lexer_lustre)


  		












Also available in:  Unified diff