Revision 78013d1e
Added by LĂ©lio Brun 10 months ago
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 
Illformed 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 
Illformed 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 
Illformed 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 righthand 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 lefthand 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 
Illformed 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 ] 
Also available in: Unified diff
more error messages