Project

General

Profile

« Previous | Next » 

Revision 78013d1e

Added by LĂ©lio Brun 10 months ago

more error messages

View differences:

src/parsers/parser_lustre.messages
805 805
## The known suffix of the stack is as follows:
806 806
## CONTRACT
807 807
##
808
lustre_spec: GUARANTEES STRING UIDENT SCOL XOR
809
##
810
## Ends in an error in state: 324.
811
##
812
## contract_content -> GUARANTEES STRING qexpr SCOL . contract_content [ TEL EOF ]
813
##
814
## The known suffix of the stack is as follows:
815
## GUARANTEES STRING qexpr SCOL
816
##
817
lustre_spec: GUARANTEES UIDENT SCOL XOR
818
##
819
## Ends in an error in state: 342.
820
##
821
## contract_content -> GUARANTEES qexpr SCOL . contract_content [ TEL EOF ]
822
##
823
## The known suffix of the stack is as follows:
824
## GUARANTEES qexpr SCOL
825
##
808 826

  
809 827
Ill-formed contract content.
810 828

  
......
1110 1128
## In state 168, spurious reduction of production expr -> UIDENT
1111 1129
##
1112 1130

  
1113
Uncomplete `if/then/else` expression.
1131
Uncomplete `if/then/else` expression : the `then` keyword is expected here.
1132
  Example: if b then x else 42
1114 1133

  
1115
lustre_spec: GUARANTEES IF UIDENT THEN UIDENT ELSE TRUE VAR
1134
lustre_spec: GUARANTEES IF UIDENT THEN UIDENT ELSE XOR
1116 1135
##
1117
## Ends in an error in state: 260.
1136
## Ends in an error in state: 259.
1118 1137
##
1119
## expr -> expr . POWER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1120
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1121
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1122
## expr -> expr . FBY expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1123
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1124
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1125
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1126
## expr -> expr . AND expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1127
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1128
## expr -> expr . OR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1129
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1130
## expr -> expr . XOR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1131
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1132
## expr -> expr . EQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1133
## expr -> expr . LT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1134
## expr -> expr . LTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1135
## expr -> expr . GT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1136
## expr -> expr . GTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1137
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1138
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1139
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1140
## expr -> expr . MULT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1141
## expr -> expr . DIV expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1142
## expr -> expr . MOD expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1143
## expr -> IF expr THEN expr ELSE expr . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1138
## expr -> IF expr THEN expr ELSE . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1144 1139
##
1145 1140
## The known suffix of the stack is as follows:
1146
## IF expr THEN expr ELSE expr
1141
## IF expr THEN expr ELSE
1147 1142
##
1148

  
1149
<YOUR SYNTAX ERROR MESSAGE HERE: 260.>
1150

  
1151
lustre_spec: GUARANTEES IF UIDENT THEN UIDENT ELSE XOR
1143
lustre_spec: GUARANTEES IF UIDENT THEN XOR
1152 1144
##
1153
## Ends in an error in state: 259.
1145
## Ends in an error in state: 257.
1154 1146
##
1155
## expr -> IF expr THEN expr ELSE . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1147
## expr -> IF expr THEN . expr ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1156 1148
##
1157 1149
## The known suffix of the stack is as follows:
1158
## IF expr THEN expr ELSE
1150
## IF expr THEN
1159 1151
##
1160 1152

  
1161
<YOUR SYNTAX ERROR MESSAGE HERE: 259.>
1153
The branches of an `if\then\else` expression must be expressions.
1154
  Example: if b then x else 42
1162 1155

  
1163 1156
lustre_spec: GUARANTEES IF UIDENT THEN UIDENT THEN
1164 1157
##
......
1200 1193
## In state 168, spurious reduction of production expr -> UIDENT
1201 1194
##
1202 1195

  
1203
<YOUR SYNTAX ERROR MESSAGE HERE: 258.>
1204

  
1205
lustre_spec: GUARANTEES IF UIDENT THEN XOR
1206
##
1207
## Ends in an error in state: 257.
1208
##
1209
## expr -> IF expr THEN . expr ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1210
##
1211
## The known suffix of the stack is as follows:
1212
## IF expr THEN
1213
##
1214

  
1215
<YOUR SYNTAX ERROR MESSAGE HERE: 257.>
1196
Uncomplete `if/then/else` expression : the `else` keyword is expected here.
1197
  Example: if b then x else 42
1216 1198

  
1217 1199
lustre_spec: GUARANTEES IF XOR
1218 1200
##
......
1224 1206
## IF
1225 1207
##
1226 1208

  
1227
<YOUR SYNTAX ERROR MESSAGE HERE: 182.>
1209
The condition of an `if\then\else` expression must be an expression.
1210
  Example: if b then x else 42
1228 1211

  
1229 1212
lustre_spec: GUARANTEES LBRACKET UIDENT COMMA XOR
1230 1213
##
......
1235 1218
## The known suffix of the stack is as follows:
1236 1219
## expr COMMA
1237 1220
##
1238

  
1239
<YOUR SYNTAX ERROR MESSAGE HERE: 254.>
1240

  
1241 1221
lustre_spec: GUARANTEES LBRACKET UIDENT RPAR
1242 1222
##
1243 1223
## Ends in an error in state: 261.
......
1254 1234
## In state 168, spurious reduction of production expr -> UIDENT
1255 1235
## In state 253, spurious reduction of production separated_nonempty_list(COMMA,expr) -> expr
1256 1236
##
1257

  
1258
<YOUR SYNTAX ERROR MESSAGE HERE: 261.>
1259

  
1260
lustre_spec: GUARANTEES LBRACKET UIDENT THEN
1237
lustre_spec: GUARANTEES LBRACKET XOR
1261 1238
##
1262
## Ends in an error in state: 253.
1239
## Ends in an error in state: 180.
1263 1240
##
1264
## expr -> expr . POWER dim [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1265
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1266
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1267
## expr -> expr . FBY expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1268
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1269
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1270
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1271
## expr -> expr . AND expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1272
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1273
## expr -> expr . OR expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1274
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1275
## expr -> expr . XOR expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1276
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1277
## expr -> expr . EQ expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1278
## expr -> expr . LT expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1279
## expr -> expr . LTE expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1280
## expr -> expr . GT expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1281
## expr -> expr . GTE expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1282
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1283
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1284
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1285
## expr -> expr . MULT expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1286
## expr -> expr . DIV expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1287
## expr -> expr . MOD expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1288
## separated_nonempty_list(COMMA,expr) -> expr . [ RPAR RBRACKET ]
1289
## separated_nonempty_list(COMMA,expr) -> expr . COMMA separated_nonempty_list(COMMA,expr) [ RPAR RBRACKET ]
1241
## expr -> LBRACKET . separated_nonempty_list(COMMA,expr) RBRACKET [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1290 1242
##
1291 1243
## The known suffix of the stack is as follows:
1292
## expr
1244
## LBRACKET
1293 1245
##
1294
## WARNING: This example involves spurious reductions.
1295
## This implies that, although the LR(1) items shown above provide an
1296
## accurate view of the past (what has been recognized so far), they
1297
## may provide an INCOMPLETE view of the future (what was expected next).
1298
## In state 168, spurious reduction of production expr -> UIDENT
1246
lustre_spec: GUARANTEES LPAR UIDENT COMMA XOR
1299 1247
##
1300

  
1301
<YOUR SYNTAX ERROR MESSAGE HERE: 253.>
1302

  
1303
lustre_spec: GUARANTEES LBRACKET XOR
1248
## Ends in an error in state: 268.
1304 1249
##
1305
## Ends in an error in state: 180.
1250
## expr -> LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1306 1251
##
1307
## expr -> LBRACKET . separated_nonempty_list(COMMA,expr) RBRACKET [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1252
## The known suffix of the stack is as follows:
1253
## LPAR expr COMMA
1254
##
1255
lustre_spec: GUARANTEES LPAR XOR
1256
##
1257
## Ends in an error in state: 179.
1258
##
1259
## expr -> LPAR . ANNOT expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1260
## expr -> LPAR . expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1261
## expr -> LPAR . expr COMMA separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1308 1262
##
1309 1263
## The known suffix of the stack is as follows:
1310
## LBRACKET
1264
## LPAR
1311 1265
##
1312

  
1313
<YOUR SYNTAX ERROR MESSAGE HERE: 180.>
1314

  
1315
lustre_spec: GUARANTEES LPAR ANNOT UIDENT THEN
1266
lustre_spec: GUARANTEES UIDENT LPAR UIDENT COMMA XOR
1316 1267
##
1317
## Ends in an error in state: 264.
1268
## Ends in an error in state: 249.
1318 1269
##
1319
## expr -> LPAR ANNOT expr . RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1320
## expr -> expr . POWER dim [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1321
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1322
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1323
## expr -> expr . FBY expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1324
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1325
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1326
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1327
## expr -> expr . AND expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1328
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1329
## expr -> expr . OR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1330
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1331
## expr -> expr . XOR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1332
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1333
## expr -> expr . EQ expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1334
## expr -> expr . LT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1335
## expr -> expr . LTE expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1336
## expr -> expr . GT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1337
## expr -> expr . GTE expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1338
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1339
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1340
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1341
## expr -> expr . MULT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1342
## expr -> expr . DIV expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1343
## expr -> expr . MOD expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1270
## expr -> node_ident LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1344 1271
##
1345 1272
## The known suffix of the stack is as follows:
1346
## LPAR ANNOT expr
1273
## node_ident LPAR expr COMMA
1347 1274
##
1348
## WARNING: This example involves spurious reductions.
1349
## This implies that, although the LR(1) items shown above provide an
1350
## accurate view of the past (what has been recognized so far), they
1351
## may provide an INCOMPLETE view of the future (what was expected next).
1352
## In state 168, spurious reduction of production expr -> UIDENT
1275
lustre_spec: GUARANTEES UIDENT LPAR XOR
1276
##
1277
## Ends in an error in state: 188.
1278
##
1279
## expr -> node_ident LPAR . expr RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1280
## expr -> node_ident LPAR . expr COMMA separated_nonempty_list(COMMA,expr) RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1281
##
1282
## The known suffix of the stack is as follows:
1283
## node_ident LPAR
1353 1284
##
1354 1285

  
1355
<YOUR SYNTAX ERROR MESSAGE HERE: 264.>
1286
Ill-formed list of expressions.
1287
  Example: x, 0, 3.14
1356 1288

  
1357 1289
lustre_spec: GUARANTEES LPAR ANNOT XOR
1358 1290
##
......
1364 1296
## LPAR ANNOT
1365 1297
##
1366 1298

  
1367
<YOUR SYNTAX ERROR MESSAGE HERE: 263.>
1299
An expression annotation must be followed by an expression.
1368 1300

  
1369 1301
lustre_spec: GUARANTEES LPAR UIDENT COMMA UIDENT RBRACKET
1370 1302
##
......
1383 1315
## In state 253, spurious reduction of production separated_nonempty_list(COMMA,expr) -> expr
1384 1316
##
1385 1317

  
1386
<YOUR SYNTAX ERROR MESSAGE HERE: 269.>
1318
A tuple must be terminated by a `)`.
1319
  Example: (x, 42)
1387 1320

  
1388
lustre_spec: GUARANTEES LPAR UIDENT COMMA XOR
1321
lustre_spec: GUARANTEES MERGE UIDENT LPAR UIDENT ARROW UIDENT RPAR VAR
1389 1322
##
1390
## Ends in an error in state: 268.
1323
## Ends in an error in state: 272.
1391 1324
##
1392
## expr -> LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1325
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW expr RPAR . list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1393 1326
##
1394 1327
## The known suffix of the stack is as follows:
1395
## LPAR expr COMMA
1328
## LPAR tag_ident ARROW expr RPAR
1396 1329
##
1397

  
1398
<YOUR SYNTAX ERROR MESSAGE HERE: 268.>
1399

  
1400
lustre_spec: GUARANTEES LPAR UIDENT THEN
1330
lustre_spec: GUARANTEES MERGE UIDENT VAR
1401 1331
##
1402
## Ends in an error in state: 266.
1332
## Ends in an error in state: 175.
1403 1333
##
1404
## expr -> LPAR expr . RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1405
## expr -> LPAR expr . COMMA separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1406
## expr -> expr . POWER dim [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1407
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1408
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1409
## expr -> expr . FBY expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1410
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1411
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1412
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1413
## expr -> expr . AND expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1414
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1415
## expr -> expr . OR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1416
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1417
## expr -> expr . XOR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1418
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1419
## expr -> expr . EQ expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1420
## expr -> expr . LT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1421
## expr -> expr . LTE expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1422
## expr -> expr . GT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1423
## expr -> expr . GTE expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1424
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1425
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1426
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1427
## expr -> expr . MULT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1428
## expr -> expr . DIV expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1429
## expr -> expr . MOD expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1334
## expr -> MERGE vdecl_ident . list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1430 1335
##
1431 1336
## The known suffix of the stack is as follows:
1432
## LPAR expr
1433
##
1434
## WARNING: This example involves spurious reductions.
1435
## This implies that, although the LR(1) items shown above provide an
1436
## accurate view of the past (what has been recognized so far), they
1437
## may provide an INCOMPLETE view of the future (what was expected next).
1438
## In state 168, spurious reduction of production expr -> UIDENT
1337
## MERGE vdecl_ident
1439 1338
##
1440 1339

  
1441
<YOUR SYNTAX ERROR MESSAGE HERE: 266.>
1340
Ill-formed branches of a `merge`.
1341
  Example: merge x (A -> 0) (B -> 42)
1442 1342

  
1443
lustre_spec: GUARANTEES LPAR XOR
1343
lustre_spec: GUARANTEES MERGE UIDENT LPAR UIDENT ARROW XOR
1444 1344
##
1445
## Ends in an error in state: 179.
1345
## Ends in an error in state: 178.
1446 1346
##
1447
## expr -> LPAR . ANNOT expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1448
## expr -> LPAR . expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1449
## expr -> LPAR . expr COMMA separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1347
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW . expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1450 1348
##
1451 1349
## The known suffix of the stack is as follows:
1452
## LPAR
1350
## LPAR tag_ident ARROW
1453 1351
##
1454 1352

  
1455
<YOUR SYNTAX ERROR MESSAGE HERE: 179.>
1353
The right-hand side of a `merge` branch must be an expression.
1354
  Example: merge x (A -> 0) (B -> 42)
1456 1355

  
1457
lustre_spec: GUARANTEES MERGE UIDENT LPAR UIDENT ARROW UIDENT RPAR VAR
1356
lustre_spec: GUARANTEES MERGE UIDENT LPAR UIDENT XOR
1458 1357
##
1459
## Ends in an error in state: 272.
1358
## Ends in an error in state: 177.
1460 1359
##
1461
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW expr RPAR . list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1360
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident . ARROW expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1462 1361
##
1463 1362
## The known suffix of the stack is as follows:
1464
## LPAR tag_ident ARROW expr RPAR
1363
## LPAR tag_ident
1465 1364
##
1466

  
1467
<YOUR SYNTAX ERROR MESSAGE HERE: 272.>
1468

  
1469
lustre_spec: GUARANTEES MERGE UIDENT LPAR UIDENT ARROW UIDENT THEN
1365
lustre_spec: GUARANTEES MERGE UIDENT LPAR XOR
1470 1366
##
1471
## Ends in an error in state: 271.
1472
##
1473
## expr -> expr . POWER dim [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1474
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1475
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1476
## expr -> expr . FBY expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1477
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1478
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1479
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1480
## expr -> expr . AND expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1481
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1482
## expr -> expr . OR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1483
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1484
## expr -> expr . XOR expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1485
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1486
## expr -> expr . EQ expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1487
## expr -> expr . LT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1488
## expr -> expr . LTE expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1489
## expr -> expr . GT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1490
## expr -> expr . GTE expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1491
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1492
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1493
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1494
## expr -> expr . MULT expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1495
## expr -> expr . DIV expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1496
## expr -> expr . MOD expr [ XOR WHENNOT WHEN RPAR POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1497
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW expr . RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1498
##
1499
## The known suffix of the stack is as follows:
1500
## LPAR tag_ident ARROW expr
1501
##
1502
## WARNING: This example involves spurious reductions.
1503
## This implies that, although the LR(1) items shown above provide an
1504
## accurate view of the past (what has been recognized so far), they
1505
## may provide an INCOMPLETE view of the future (what was expected next).
1506
## In state 168, spurious reduction of production expr -> UIDENT
1507
##
1508

  
1509
<YOUR SYNTAX ERROR MESSAGE HERE: 271.>
1510

  
1511
lustre_spec: GUARANTEES MERGE UIDENT LPAR UIDENT ARROW XOR
1512
##
1513
## Ends in an error in state: 178.
1514
##
1515
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW . expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1516
##
1517
## The known suffix of the stack is as follows:
1518
## LPAR tag_ident ARROW
1519
##
1520

  
1521
<YOUR SYNTAX ERROR MESSAGE HERE: 178.>
1522

  
1523
lustre_spec: GUARANTEES MERGE UIDENT LPAR UIDENT XOR
1524
##
1525
## Ends in an error in state: 177.
1526
##
1527
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident . ARROW expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1528
##
1529
## The known suffix of the stack is as follows:
1530
## LPAR tag_ident
1531
##
1532

  
1533
<YOUR SYNTAX ERROR MESSAGE HERE: 177.>
1534

  
1535
lustre_spec: GUARANTEES MERGE UIDENT LPAR XOR
1536
##
1537
## Ends in an error in state: 176.
1367
## Ends in an error in state: 176.
1538 1368
##
1539 1369
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR . tag_ident ARROW expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1540 1370
##
......
1542 1372
## LPAR
1543 1373
##
1544 1374

  
1545
<YOUR SYNTAX ERROR MESSAGE HERE: 176.>
1546

  
1547
lustre_spec: GUARANTEES MERGE UIDENT VAR
1548
##
1549
## Ends in an error in state: 175.
1550
##
1551
## expr -> MERGE vdecl_ident . list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1552
##
1553
## The known suffix of the stack is as follows:
1554
## MERGE vdecl_ident
1555
##
1556

  
1557
<YOUR SYNTAX ERROR MESSAGE HERE: 175.>
1375
The left-hand side of a `merge` branch must be an uppercase identifier or a boolean.
1376
  Example: merge x (A -> 0) (B -> 42)
1558 1377

  
1559 1378
lustre_spec: GUARANTEES MERGE XOR
1560 1379
##
......
1566 1385
## MERGE
1567 1386
##
1568 1387

  
1569
<YOUR SYNTAX ERROR MESSAGE HERE: 174.>
1388
The condition of a `merge` must be an identifier.
1389
  Example: merge x (A -> 0) (B -> 42)
1570 1390

  
1571 1391
lustre_spec: GUARANTEES NOT XOR
1572 1392
##
......
1586 1406
## The known suffix of the stack is as follows:
1587 1407
## MINUS
1588 1408
##
1589

  
1590
Uncomplete unary operation expression.
1591

  
1592
lustre_spec: GUARANTEES PRE TRUE VAR
1593
##
1594
## Ends in an error in state: 277.
1595
##
1596
## expr -> expr . POWER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1597
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1598
## expr -> PRE expr . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1599
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1600
## expr -> expr . FBY expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1601
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1602
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1603
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1604
## expr -> expr . AND expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1605
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1606
## expr -> expr . OR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1607
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1608
## expr -> expr . XOR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1609
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1610
## expr -> expr . EQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1611
## expr -> expr . LT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1612
## expr -> expr . LTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1613
## expr -> expr . GT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1614
## expr -> expr . GTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1615
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1616
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1617
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1618
## expr -> expr . MULT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1619
## expr -> expr . DIV expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1620
## expr -> expr . MOD expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1621
##
1622
## The known suffix of the stack is as follows:
1623
## PRE expr
1624
##
1625

  
1626
<YOUR SYNTAX ERROR MESSAGE HERE: 277.>
1627

  
1628 1409
lustre_spec: GUARANTEES PRE XOR
1629 1410
##
1630 1411
## Ends in an error in state: 171.
......
1635 1416
## PRE
1636 1417
##
1637 1418

  
1638
<YOUR SYNTAX ERROR MESSAGE HERE: 171.>
1639

  
1640
lustre_spec: GUARANTEES STRING UIDENT SCOL XOR
1641
##
1642
## Ends in an error in state: 324.
1643
##
1644
## contract_content -> GUARANTEES STRING qexpr SCOL . contract_content [ TEL EOF ]
1645
##
1646
## The known suffix of the stack is as follows:
1647
## GUARANTEES STRING qexpr SCOL
1648
##
1649

  
1650
<YOUR SYNTAX ERROR MESSAGE HERE: 324.>
1419
Uncomplete unary operation expression.
1651 1420

  
1652 1421
lustre_spec: GUARANTEES STRING VAR
1653 1422
##
......
1660 1429
## GUARANTEES STRING
1661 1430
##
1662 1431

  
1663
<YOUR SYNTAX ERROR MESSAGE HERE: 322.>
1664

  
1665
lustre_spec: GUARANTEES UIDENT ARROW TRUE VAR
1666
##
1667
## Ends in an error in state: 247.
1668
##
1669
## expr -> expr . POWER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1670
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1671
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1672
## expr -> expr ARROW expr . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1673
## expr -> expr . FBY expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1674
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1675
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1676
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1677
## expr -> expr . AND expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1678
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1679
## expr -> expr . OR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1680
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1681
## expr -> expr . XOR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1682
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1683
## expr -> expr . EQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1684
## expr -> expr . LT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1685
## expr -> expr . LTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1686
## expr -> expr . GT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1687
## expr -> expr . GTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1688
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1689
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1690
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1691
## expr -> expr . MULT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1692
## expr -> expr . DIV expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1693
## expr -> expr . MOD expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1694
##
1695
## The known suffix of the stack is as follows:
1696
## expr ARROW expr
1697
##
1698

  
1699
<YOUR SYNTAX ERROR MESSAGE HERE: 247.>
1700

  
1701
lustre_spec: GUARANTEES UIDENT ARROW XOR
1702
##
1703
## Ends in an error in state: 246.
1704
##
1705
## expr -> expr ARROW . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1706
##
1707
## The known suffix of the stack is as follows:
1708
## expr ARROW
1709
##
1710

  
1711
<YOUR SYNTAX ERROR MESSAGE HERE: 246.>
1712

  
1713
lustre_spec: GUARANTEES UIDENT FBY TRUE VAR
1714
##
1715
## Ends in an error in state: 245.
1716
##
1717
## expr -> expr . POWER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1718
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1719
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1720
## expr -> expr . FBY expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1721
## expr -> expr FBY expr . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1722
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1723
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1724
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1725
## expr -> expr . AND expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1726
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1727
## expr -> expr . OR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1728
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1729
## expr -> expr . XOR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1730
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1731
## expr -> expr . EQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1732
## expr -> expr . LT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1733
## expr -> expr . LTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1734
## expr -> expr . GT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1735
## expr -> expr . GTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1736
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1737
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1738
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1739
## expr -> expr . MULT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1740
## expr -> expr . DIV expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1741
## expr -> expr . MOD expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1742
##
1743
## The known suffix of the stack is as follows:
1744
## expr FBY expr
1745
##
1746

  
1747
<YOUR SYNTAX ERROR MESSAGE HERE: 245.>
1748

  
1749
lustre_spec: GUARANTEES UIDENT FBY XOR
1750
##
1751
## Ends in an error in state: 244.
1752
##
1753
## expr -> expr FBY . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1754
##
1755
## The known suffix of the stack is as follows:
1756
## expr FBY
1757
##
1758

  
1759
<YOUR SYNTAX ERROR MESSAGE HERE: 244.>
1432
A named `guarantee` contract must be followed by a possibly quantified expression.
1433
  Example: --@ guarantee "foo" x=42;
1760 1434

  
1761 1435
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT AMPERAMPER UIDENT VAR
1762 1436
##
......
1784 1458
## The known suffix of the stack is as follows:
1785 1459
## dim AMPERAMPER dim
1786 1460
##
1787

  
1788
<YOUR SYNTAX ERROR MESSAGE HERE: 43.>
1789

  
1790
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT AMPERAMPER XOR
1791
##
1792
## Ends in an error in state: 42.
1793
##
1794
## dim -> dim AMPERAMPER . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1795
##
1796
## The known suffix of the stack is as follows:
1797
## dim AMPERAMPER
1798
##
1799

  
1800
<YOUR SYNTAX ERROR MESSAGE HERE: 42.>
1801

  
1802 1461
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT AND UIDENT VAR
1803 1462
##
1804 1463
## Ends in an error in state: 41.
......
1825 1484
## The known suffix of the stack is as follows:
1826 1485
## dim AND dim
1827 1486
##
1828

  
1829
<YOUR SYNTAX ERROR MESSAGE HERE: 41.>
1830

  
1831
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT AND XOR
1832
##
1833
## Ends in an error in state: 40.
1834
##
1835
## dim -> dim AND . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1836
##
1837
## The known suffix of the stack is as follows:
1838
## dim AND
1839
##
1840

  
1841
<YOUR SYNTAX ERROR MESSAGE HERE: 40.>
1842

  
1843 1487
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT BARBAR UIDENT VAR
1844 1488
##
1845 1489
## Ends in an error in state: 51.
......
1866 1510
## The known suffix of the stack is as follows:
1867 1511
## dim BARBAR dim
1868 1512
##
1869

  
1870
<YOUR SYNTAX ERROR MESSAGE HERE: 51.>
1871

  
1872
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT BARBAR XOR
1873
##
1874
## Ends in an error in state: 50.
1875
##
1876
## dim -> dim BARBAR . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1877
##
1878
## The known suffix of the stack is as follows:
1879
## dim BARBAR
1513
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT EQ UIDENT VAR
1880 1514
##
1881

  
1882
<YOUR SYNTAX ERROR MESSAGE HERE: 50.>
1883

  
1884
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT DIV XOR
1885
##
1886
## Ends in an error in state: 24.
1887
##
1888
## dim -> dim DIV . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1889
##
1890
## The known suffix of the stack is as follows:
1891
## dim DIV
1892
##
1893

  
1894
<YOUR SYNTAX ERROR MESSAGE HERE: 24.>
1895

  
1896
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT EQ UIDENT VAR
1897
##
1898
## Ends in an error in state: 39.
1515
## Ends in an error in state: 39.
1899 1516
##
1900 1517
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1901 1518
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
......
1919 1536
## The known suffix of the stack is as follows:
1920 1537
## dim EQ dim
1921 1538
##
1922

  
1923
<YOUR SYNTAX ERROR MESSAGE HERE: 39.>
1924

  
1925
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT EQ XOR
1926
##
1927
## Ends in an error in state: 38.
1928
##
1929
## dim -> dim EQ . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1930
##
1931
## The known suffix of the stack is as follows:
1932
## dim EQ
1933
##
1934

  
1935
<YOUR SYNTAX ERROR MESSAGE HERE: 38.>
1936

  
1937 1539
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT GT UIDENT VAR
1938 1540
##
1939 1541
## Ends in an error in state: 37.
......
1960 1562
## The known suffix of the stack is as follows:
1961 1563
## dim GT dim
1962 1564
##
1963

  
1964
<YOUR SYNTAX ERROR MESSAGE HERE: 37.>
1965

  
1966
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT GT XOR
1967
##
1968
## Ends in an error in state: 36.
1969
##
1970
## dim -> dim GT . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1971
##
1972
## The known suffix of the stack is as follows:
1973
## dim GT
1974
##
1975

  
1976
<YOUR SYNTAX ERROR MESSAGE HERE: 36.>
1977

  
1978 1565
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT GTE UIDENT VAR
1979 1566
##
1980 1567
## Ends in an error in state: 35.
......
2001 1588
## The known suffix of the stack is as follows:
2002 1589
## dim GTE dim
2003 1590
##
2004

  
2005
<YOUR SYNTAX ERROR MESSAGE HERE: 35.>
2006

  
2007
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT GTE XOR
2008
##
2009
## Ends in an error in state: 34.
2010
##
2011
## dim -> dim GTE . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2012
##
2013
## The known suffix of the stack is as follows:
2014
## dim GTE
2015
##
2016

  
2017
<YOUR SYNTAX ERROR MESSAGE HERE: 34.>
2018

  
2019 1591
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT IMPL UIDENT VAR
2020 1592
##
2021 1593
## Ends in an error in state: 49.
......
2042 1614
## The known suffix of the stack is as follows:
2043 1615
## dim IMPL dim
2044 1616
##
2045

  
2046
<YOUR SYNTAX ERROR MESSAGE HERE: 49.>
2047

  
2048
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT IMPL XOR
2049
##
2050
## Ends in an error in state: 48.
2051
##
2052
## dim -> dim IMPL . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2053
##
2054
## The known suffix of the stack is as follows:
2055
## dim IMPL
2056
##
2057

  
2058
<YOUR SYNTAX ERROR MESSAGE HERE: 48.>
2059

  
2060 1617
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT LT UIDENT VAR
2061 1618
##
2062 1619
## Ends in an error in state: 33.
......
2083 1640
## The known suffix of the stack is as follows:
2084 1641
## dim LT dim
2085 1642
##
2086

  
2087
<YOUR SYNTAX ERROR MESSAGE HERE: 33.>
2088

  
2089
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT LT XOR
2090
##
2091
## Ends in an error in state: 32.
2092
##
2093
## dim -> dim LT . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2094
##
2095
## The known suffix of the stack is as follows:
2096
## dim LT
2097
##
2098

  
2099
<YOUR SYNTAX ERROR MESSAGE HERE: 32.>
2100

  
2101 1643
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT LTE UIDENT VAR
2102 1644
##
2103 1645
## Ends in an error in state: 31.
......
2124 1666
## The known suffix of the stack is as follows:
2125 1667
## dim LTE dim
2126 1668
##
2127

  
2128
<YOUR SYNTAX ERROR MESSAGE HERE: 31.>
2129

  
2130
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT LTE XOR
2131
##
2132
## Ends in an error in state: 30.
2133
##
2134
## dim -> dim LTE . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2135
##
2136
## The known suffix of the stack is as follows:
2137
## dim LTE
2138
##
2139

  
2140
<YOUR SYNTAX ERROR MESSAGE HERE: 30.>
2141

  
2142 1669
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT MINUS UIDENT VAR
2143 1670
##
2144 1671
## Ends in an error in state: 29.
......
2165 1692
## The known suffix of the stack is as follows:
2166 1693
## dim MINUS dim
2167 1694
##
2168

  
2169
<YOUR SYNTAX ERROR MESSAGE HERE: 29.>
2170

  
2171
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT MINUS XOR
2172
##
2173
## Ends in an error in state: 28.
2174
##
2175
## dim -> dim MINUS . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2176
##
2177
## The known suffix of the stack is as follows:
2178
## dim MINUS
2179
##
2180

  
2181
<YOUR SYNTAX ERROR MESSAGE HERE: 28.>
2182

  
2183
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT MOD XOR
2184
##
2185
## Ends in an error in state: 22.
2186
##
2187
## dim -> dim MOD . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2188
##
2189
## The known suffix of the stack is as follows:
2190
## dim MOD
2191
##
2192

  
2193
<YOUR SYNTAX ERROR MESSAGE HERE: 22.>
2194

  
2195
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT MULT XOR
2196
##
2197
## Ends in an error in state: 20.
2198
##
2199
## dim -> dim MULT . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2200
##
2201
## The known suffix of the stack is as follows:
2202
## dim MULT
2203
##
2204

  
2205
<YOUR SYNTAX ERROR MESSAGE HERE: 20.>
2206

  
2207 1695
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT NEQ UIDENT VAR
2208 1696
##
2209 1697
## Ends in an error in state: 27.
......
2230 1718
## The known suffix of the stack is as follows:
2231 1719
## dim NEQ dim
2232 1720
##
2233

  
2234
<YOUR SYNTAX ERROR MESSAGE HERE: 27.>
2235

  
2236
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT NEQ XOR
2237
##
2238
## Ends in an error in state: 26.
2239
##
2240
## dim -> dim NEQ . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2241
##
2242
## The known suffix of the stack is as follows:
2243
## dim NEQ
2244
##
2245

  
2246
<YOUR SYNTAX ERROR MESSAGE HERE: 26.>
2247

  
2248 1721
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT OR UIDENT VAR
2249 1722
##
2250 1723
## Ends in an error in state: 47.
......
2271 1744
## The known suffix of the stack is as follows:
2272 1745
## dim OR dim
2273 1746
##
2274

  
2275
<YOUR SYNTAX ERROR MESSAGE HERE: 47.>
2276

  
2277
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT OR XOR
2278
##
2279
## Ends in an error in state: 46.
2280
##
2281
## dim -> dim OR . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2282
##
2283
## The known suffix of the stack is as follows:
2284
## dim OR
2285
##
2286

  
2287
<YOUR SYNTAX ERROR MESSAGE HERE: 46.>
2288

  
2289 1747
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT PLUS UIDENT VAR
2290 1748
##
2291 1749
## Ends in an error in state: 19.
......
2312 1770
## The known suffix of the stack is as follows:
2313 1771
## dim PLUS dim
2314 1772
##
2315

  
2316
<YOUR SYNTAX ERROR MESSAGE HERE: 19.>
2317

  
2318
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT PLUS XOR
1773
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT XOR UIDENT VAR
2319 1774
##
2320
## Ends in an error in state: 18.
1775
## Ends in an error in state: 17.
2321 1776
##
2322
## dim -> dim PLUS . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1777
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1778
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1779
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1780
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1781
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1782
## dim -> dim XOR dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1783
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1784
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1785
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1786
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1787
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1788
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1789
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1790
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1791
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1792
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1793
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1794
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2323 1795
##
2324 1796
## The known suffix of the stack is as follows:
2325
## dim PLUS
1797
## dim XOR dim
2326 1798
##
2327

  
2328
<YOUR SYNTAX ERROR MESSAGE HERE: 18.>
2329

  
2330 1799
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT RBRACKET VAR
2331 1800
##
2332 1801
## Ends in an error in state: 201.
......
2337 1806
## The known suffix of the stack is as follows:
2338 1807
## LBRACKET dim RBRACKET
2339 1808
##
2340

  
2341
<YOUR SYNTAX ERROR MESSAGE HERE: 201.>
2342

  
2343 1809
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT WHENNOT
2344 1810
##
2345 1811
## Ends in an error in state: 200.
......
2367 1833
## The known suffix of the stack is as follows:
2368 1834
## LBRACKET dim
2369 1835
##
2370

  
2371
<YOUR SYNTAX ERROR MESSAGE HERE: 200.>
2372

  
2373
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT XOR UIDENT VAR
1836
lustre_spec: GUARANTEES UIDENT POWER IF UIDENT THEN UIDENT ELSE UIDENT VAR
2374 1837
##
2375
## Ends in an error in state: 17.
1838
## Ends in an error in state: 53.
2376 1839
##
2377 1840
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2378 1841
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2379 1842
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2380 1843
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2381 1844
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2382
## dim -> dim XOR dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2383 1845
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2384 1846
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2385 1847
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
......
2392 1854
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2393 1855
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2394 1856
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1857
## dim -> IF dim THEN dim ELSE dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2395 1858
##
2396 1859
## The known suffix of the stack is as follows:
2397
## dim XOR dim
1860
## IF dim THEN dim ELSE dim
2398 1861
##
2399

  
2400
<YOUR SYNTAX ERROR MESSAGE HERE: 17.>
2401

  
2402
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT XOR XOR
1862
lustre_spec: GUARANTEES UIDENT POWER IF UIDENT THEN UIDENT WHENNOT
2403 1863
##
2404
## Ends in an error in state: 16.
1864
## Ends in an error in state: 45.
2405 1865
##
2406
## dim -> dim XOR . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1866
## dim -> dim . AND dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1867
## dim -> dim . AMPERAMPER dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1868
## dim -> dim . OR dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1869
## dim -> dim . BARBAR dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1870
## dim -> dim . XOR dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1871
## dim -> dim . IMPL dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1872
## dim -> dim . EQ dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1873
## dim -> dim . LT dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1874
## dim -> dim . LTE dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1875
## dim -> dim . GT dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1876
## dim -> dim . GTE dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1877
## dim -> dim . NEQ dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1878
## dim -> dim . PLUS dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1879
## dim -> dim . MINUS dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1880
## dim -> dim . MULT dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1881
## dim -> dim . DIV dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1882
## dim -> dim . MOD dim [ XOR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ ELSE DIV BARBAR AND AMPERAMPER ]
1883
## dim -> IF dim THEN dim . ELSE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2407 1884
##
2408 1885
## The known suffix of the stack is as follows:
2409
## dim XOR
1886
## IF dim THEN dim
2410 1887
##
2411

  
2412
<YOUR SYNTAX ERROR MESSAGE HERE: 16.>
2413

  
2414
lustre_spec: GUARANTEES UIDENT LBRACKET XOR
1888
lustre_spec: GUARANTEES UIDENT POWER LPAR UIDENT WHENNOT
2415 1889
##
2416
## Ends in an error in state: 199.
1890
## Ends in an error in state: 54.
2417 1891
##
2418
## nonempty_list(delimited(LBRACKET,dim,RBRACKET)) -> LBRACKET . dim RBRACKET [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2419
## nonempty_list(delimited(LBRACKET,dim,RBRACKET)) -> LBRACKET . dim RBRACKET nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1892
## dim -> LPAR dim . RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1893
## dim -> dim . AND dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1894
## dim -> dim . AMPERAMPER dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1895
## dim -> dim . OR dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1896
## dim -> dim . BARBAR dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1897
## dim -> dim . XOR dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1898
## dim -> dim . IMPL dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1899
## dim -> dim . EQ dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1900
## dim -> dim . LT dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1901
## dim -> dim . LTE dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1902
## dim -> dim . GT dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1903
## dim -> dim . GTE dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1904
## dim -> dim . NEQ dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1905
## dim -> dim . PLUS dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1906
## dim -> dim . MINUS dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1907
## dim -> dim . MULT dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1908
## dim -> dim . DIV dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
1909
## dim -> dim . MOD dim [ XOR RPAR PLUS OR NEQ MULT MOD MINUS LTE LT IMPL GTE GT EQ DIV BARBAR AND AMPERAMPER ]
2420 1910
##
2421 1911
## The known suffix of the stack is as follows:
2422
## LBRACKET
2423
##
2424

  
2425
<YOUR SYNTAX ERROR MESSAGE HERE: 199.>
2426

  
2427
lustre_spec: GUARANTEES UIDENT LPAR UIDENT COMMA UIDENT RBRACKET
1912
## LPAR dim
2428 1913
##
2429
## Ends in an error in state: 250.
1914
lustre_spec: GUARANTEES UIDENT POWER NOT UIDENT VAR
2430 1915
##
2431
## expr -> node_ident LPAR expr COMMA separated_nonempty_list(COMMA,expr) . RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1916
## Ends in an error in state: 57.
2432 1917
##
2433
## The known suffix of the stack is as follows:
2434
## node_ident LPAR expr COMMA separated_nonempty_list(COMMA,expr)
1918
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1919
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1920
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1921
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1922
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1923
## dim -> NOT dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1924
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1925
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1926
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1927
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1928
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1929
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1930
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1931
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1932
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1933
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1934
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1935
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2435 1936
##
2436
## WARNING: This example involves spurious reductions.
2437
## This implies that, although the LR(1) items shown above provide an
2438
## accurate view of the past (what has been recognized so far), they
2439
## may provide an INCOMPLETE view of the future (what was expected next).
2440
## In state 168, spurious reduction of production expr -> UIDENT
2441
## In state 253, spurious reduction of production separated_nonempty_list(COMMA,expr) -> expr
1937
## The known suffix of the stack is as follows:
1938
## NOT dim
2442 1939
##
2443 1940

  
2444
<YOUR SYNTAX ERROR MESSAGE HERE: 250.>
1941
Unexpected token in the context of a dimension.
2445 1942

  
2446
lustre_spec: GUARANTEES UIDENT LPAR UIDENT COMMA UIDENT RPAR VAR
1943
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT AMPERAMPER XOR
2447 1944
##
2448
## Ends in an error in state: 251.
1945
## Ends in an error in state: 42.
2449 1946
##
2450
## expr -> node_ident LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR . option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1947
## dim -> dim AMPERAMPER . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2451 1948
##
2452 1949
## The known suffix of the stack is as follows:
2453
## node_ident LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR
1950
## dim AMPERAMPER
2454 1951
##
2455

  
2456
<YOUR SYNTAX ERROR MESSAGE HERE: 251.>
2457

  
2458
lustre_spec: GUARANTEES UIDENT LPAR UIDENT COMMA XOR
1952
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT AND XOR
2459 1953
##
2460
## Ends in an error in state: 249.
1954
## Ends in an error in state: 40.
2461 1955
##
2462
## expr -> node_ident LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1956
## dim -> dim AND . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2463 1957
##
2464 1958
## The known suffix of the stack is as follows:
2465
## node_ident LPAR expr COMMA
1959
## dim AND
1960
##
1961
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT BARBAR XOR
1962
##
1963
## Ends in an error in state: 50.
1964
##
1965
## dim -> dim BARBAR . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1966
##
1967
## The known suffix of the stack is as follows:
1968
## dim BARBAR
1969
##
1970
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT DIV XOR
1971
##
1972
## Ends in an error in state: 24.
1973
##
1974
## dim -> dim DIV . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1975
##
1976
## The known suffix of the stack is as follows:
1977
## dim DIV
1978
##
1979
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT EQ XOR
1980
##
1981
## Ends in an error in state: 38.
1982
##
1983
## dim -> dim EQ . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1984
##
1985
## The known suffix of the stack is as follows:
1986
## dim EQ
1987
##
1988
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT GT XOR
1989
##
1990
## Ends in an error in state: 36.
1991
##
1992
## dim -> dim GT . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1993
##
1994
## The known suffix of the stack is as follows:
1995
## dim GT
1996
##
1997
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT GTE XOR
1998
##
1999
## Ends in an error in state: 34.
2000
##
2001
## dim -> dim GTE . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2002
##
2003
## The known suffix of the stack is as follows:
2004
## dim GTE
2005
##
2006
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT IMPL XOR
2007
##
2008
## Ends in an error in state: 48.
2009
##
2010
## dim -> dim IMPL . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2011
##
2012
## The known suffix of the stack is as follows:
2013
## dim IMPL
2014
##
2015
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT LT XOR
2016
##
2017
## Ends in an error in state: 32.
2018
##
2019
## dim -> dim LT . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2020
##
2021
## The known suffix of the stack is as follows:
2022
## dim LT
2023
##
2024
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT LTE XOR
2025
##
2026
## Ends in an error in state: 30.
2027
##
2028
## dim -> dim LTE . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2029
##
2030
## The known suffix of the stack is as follows:
2031
## dim LTE
2032
##
2033
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT MINUS XOR
2034
##
2035
## Ends in an error in state: 28.
2036
##
2037
## dim -> dim MINUS . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2038
##
2039
## The known suffix of the stack is as follows:
2040
## dim MINUS
2041
##
2042
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT MOD XOR
2043
##
2044
## Ends in an error in state: 22.
2045
##
2046
## dim -> dim MOD . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2047
##
2048
## The known suffix of the stack is as follows:
2049
## dim MOD
2050
##
2051
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT MULT XOR
2052
##
2053
## Ends in an error in state: 20.
2054
##
2055
## dim -> dim MULT . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2056
##
2057
## The known suffix of the stack is as follows:
2058
## dim MULT
2059
##
2060
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT NEQ XOR
2061
##
2062
## Ends in an error in state: 26.
2063
##
2064
## dim -> dim NEQ . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2065
##
2066
## The known suffix of the stack is as follows:
2067
## dim NEQ
2068
##
2069
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT OR XOR
2070
##
2071
## Ends in an error in state: 46.
2072
##
2073
## dim -> dim OR . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2074
##
2075
## The known suffix of the stack is as follows:
2076
## dim OR
2077
##
2078
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT PLUS XOR
2079
##
2080
## Ends in an error in state: 18.
2081
##
2082
## dim -> dim PLUS . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2083
##
2084
## The known suffix of the stack is as follows:
2085
## dim PLUS
2086
##
2087
lustre_spec: GUARANTEES UIDENT LBRACKET UIDENT XOR XOR
2088
##
2089
## Ends in an error in state: 16.
2090
##
2091
## dim -> dim XOR . dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2092
##
2093
## The known suffix of the stack is as follows:
2094
## dim XOR
2466 2095
##
2467 2096

  
2468
<YOUR SYNTAX ERROR MESSAGE HERE: 249.>
2097
Uncomplete binary operation dimension.
2469 2098

  
2470
lustre_spec: GUARANTEES UIDENT LPAR UIDENT RPAR EVERY TRUE VAR
2099
lustre_spec: GUARANTEES UIDENT LBRACKET XOR
2471 2100
##
2472
## Ends in an error in state: 237.
2101
## Ends in an error in state: 199.
2473 2102
##
2474
## expr -> expr . POWER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2475
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2476
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2477
## expr -> expr . FBY expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2478
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2479
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2480
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2481
## expr -> expr . AND expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2482
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2483
## expr -> expr . OR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2484
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2485
## expr -> expr . XOR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2486
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2487
## expr -> expr . EQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2488
## expr -> expr . LT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2489
## expr -> expr . LTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2490
## expr -> expr . GT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2491
## expr -> expr . GTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2492
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2493
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2494
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2495
## expr -> expr . MULT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2496
## expr -> expr . DIV expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2497
## expr -> expr . MOD expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2498
## option(preceded(EVERY,expr)) -> EVERY expr . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2103
## nonempty_list(delimited(LBRACKET,dim,RBRACKET)) -> LBRACKET . dim RBRACKET [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2104
## nonempty_list(delimited(LBRACKET,dim,RBRACKET)) -> LBRACKET . dim RBRACKET nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2499 2105
##
2500 2106
## The known suffix of the stack is as follows:
2501
## EVERY expr
2107
## LBRACKET
2502 2108
##
2503 2109

  
2504
<YOUR SYNTAX ERROR MESSAGE HERE: 237.>
2110
Ill-formed list of dimensions.
2111
  Example: x, 0, y + 2
2505 2112

  
2506
lustre_spec: GUARANTEES UIDENT LPAR UIDENT RPAR EVERY XOR
2113
lustre_spec: GUARANTEES UIDENT LPAR UIDENT COMMA UIDENT RBRACKET
2507 2114
##
2508
## Ends in an error in state: 236.
2115
## Ends in an error in state: 250.
2509 2116
##
2510
## option(preceded(EVERY,expr)) -> EVERY . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2117
## expr -> node_ident LPAR expr COMMA separated_nonempty_list(COMMA,expr) . RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2511 2118
##
2512 2119
## The known suffix of the stack is as follows:
2513
## EVERY
2120
## node_ident LPAR expr COMMA separated_nonempty_list(COMMA,expr)
2121
##
2122
## WARNING: This example involves spurious reductions.
2123
## This implies that, although the LR(1) items shown above provide an
2124
## accurate view of the past (what has been recognized so far), they
2125
## may provide an INCOMPLETE view of the future (what was expected next).
2126
## In state 168, spurious reduction of production expr -> UIDENT
2127
## In state 253, spurious reduction of production separated_nonempty_list(COMMA,expr) -> expr
2514 2128
##
2515 2129

  
2516
<YOUR SYNTAX ERROR MESSAGE HERE: 236.>
2130
The list of parameters of an instantiation must be terminated by a `)`.
2131
  Example: f(x, 42)
2517 2132

  
2518
lustre_spec: GUARANTEES UIDENT LPAR UIDENT RPAR VAR
2133
lustre_spec: GUARANTEES UIDENT LPAR UIDENT RPAR EVERY XOR
2519 2134
##
2520
## Ends in an error in state: 235.
2135
## Ends in an error in state: 236.
2521 2136
##
2522
## expr -> node_ident LPAR expr RPAR . option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2137
## option(preceded(EVERY,expr)) -> EVERY . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
2523 2138
##
2524 2139
## The known suffix of the stack is as follows:
2525
## node_ident LPAR expr RPAR
2140
## EVERY
2526 2141
##
2527 2142

  
2528
<YOUR SYNTAX ERROR MESSAGE HERE: 235.>
2143
The reset condition of an instantiation must be an expression.
2529 2144

  
2530 2145
lustre_spec: GUARANTEES UIDENT LPAR UIDENT THEN
2531 2146
##
......
3458 3073
## local_vdecl -> CONST vdecl_ident option(preceded(COL,typeconst)) EQ expr . [ SCOL LET ]
3459 3074
##
3460 3075
## The known suffix of the stack is as follows:
3461
## CONST vdecl_ident option(preceded(COL,typeconst)) EQ expr
3076
## CONST vdecl_ident option(preceded(COL,typeconst)) EQ expr
3077
##
3078
## WARNING: This example involves spurious reductions.
3079
## This implies that, although the LR(1) items shown above provide an
3080
## accurate view of the past (what has been recognized so far), they
3081
## may provide an INCOMPLETE view of the future (what was expected next).
3082
## In state 168, spurious reduction of production expr -> UIDENT
3083
##
3084
lustre_spec: GUARANTEES IDENT VAR
3085
##
3086
## Ends in an error in state: 183.
3087
##
3088
## expr -> IDENT . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3089
## ident -> IDENT . [ LPAR ]
3090
##
3091
## The known suffix of the stack is as follows:
3092
## IDENT
3093
##
3094
lustre_spec: GUARANTEES IF UIDENT THEN UIDENT ELSE TRUE VAR
3095
##
3096
## Ends in an error in state: 260.
3097
##
3098
## expr -> expr . POWER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3099
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3100
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3101
## expr -> expr . FBY expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3102
## expr -> expr . WHEN vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3103
## expr -> expr . WHENNOT vdecl_ident [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3104
## expr -> expr . WHEN tag_ident LPAR vdecl_ident RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3105
## expr -> expr . AND expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3106
## expr -> expr . AMPERAMPER expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3107
## expr -> expr . OR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3108
## expr -> expr . BARBAR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3109
## expr -> expr . XOR expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3110
## expr -> expr . IMPL expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3111
## expr -> expr . EQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3112
## expr -> expr . LT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3113
## expr -> expr . LTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3114
## expr -> expr . GT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3115
## expr -> expr . GTE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3116
## expr -> expr . NEQ expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3117
## expr -> expr . PLUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3118
## expr -> expr . MINUS expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3119
## expr -> expr . MULT expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3120
## expr -> expr . DIV expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3121
## expr -> expr . MOD expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3122
## expr -> IF expr THEN expr ELSE expr . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3123
##
3124
## The known suffix of the stack is as follows:
3125
## IF expr THEN expr ELSE expr
3126
##
3127
lustre_spec: GUARANTEES LBRACKET UIDENT THEN
3128
##
3129
## Ends in an error in state: 253.
3130
##
3131
## expr -> expr . POWER dim [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3132
## expr -> expr . nonempty_list(delimited(LBRACKET,dim,RBRACKET)) [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
3133
## expr -> expr . ARROW expr [ XOR WHENNOT WHEN RPAR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV COMMA BARBAR ARROW AND AMPERAMPER ]
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff