]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryTParser.mly
patch
[helm.git] / helm / ocaml / mathql / mQueryTParser.mly
index 1ebadd29a53ea356fe8f283a4a3d26c18e35b208..390c214b4a725cdcefc7e3a16a851f65b242444c 100644 (file)
       | LET vvar BE val_exp IN set_exp         { MathQL.LetVVar ($2, $4, $6)      }      
    ;
    query:
-      | set_exp EOF { $1 }
+      | set_exp       { $1                }
+      | set_exp error { $1                }
+      | EOF           { raise End_of_file }
    ;
    attr:
       | vvar IS strs { (path_of_vvar $1, $3) }
       |                       { []       }
    ;   
    result:
-      | resources EOF { $1 }
+      | resources { $1                }
+      | EOF       { raise End_of_file }