Project

General

Profile

Revision aa0cc4e8

View differences:

src/parser_lustre.mly
120 120
%start signed_const
121 121
%type <LustreSpec.constant> signed_const
122 122

  
123
%start expr
124
%type <LustreSpec.expr> expr
125

  
126
%start stmt_list
127
%type <LustreSpec.statement list * LustreSpec.assert_t list * LustreSpec.expr_annot list > stmt_list
128

  
129
%start vdecl_list
130
%type <LustreSpec.var_decl list> vdecl_list
123 131
%%
124 132

  
125 133
module_ident:

Also available in: Unified diff