Project

General

Profile

Revision 8b3afe43 src/parser_lustre.mly

View differences:

src/parser_lustre.mly
97 97
%%
98 98

  
99 99
prog:
100
    typ_def_list top_decl_list EOF {$1;(List.rev $2)}
100
 open_list typ_def_list top_decl_list EOF { $1 @ (List.rev $3) }
101 101

  
102 102
header:
103
    typ_def_list top_decl_header_list EOF {$1;(List.rev $2)}
103
 open_list typ_def_list top_decl_header_list EOF { $1 @ (List.rev $3) }
104

  
105
open_list:
106
  { [] }
107
| open_lusi open_list { $1 :: $2 }
108

  
109
open_lusi:
110
  OPEN QUOTE IDENT QUOTE { mktop_decl (Open $3) }
104 111

  
105 112
top_decl_list:
106 113
  top_decl {[$1]}
......
200 207
    in
201 208
    Hashtbl.add node_table $3 nd; nd}
202 209

  
203
| OPEN QUOTE IDENT QUOTE { mktop_decl (Open $3) }
204

  
205 210
nodespec_list:
206 211
NODESPEC { $1 }
207 212
| NODESPEC nodespec_list { LustreSpec.merge_node_annot $1 $2 }

Also available in: Unified diff