WrongTerms.hascasl.output revision 78172fe3f4d040ea7998db7136f0e1653ca3d12b
parse error at (line 1, column 2):
unexpected end of input
expecting "\\", "'" or "\""
parse error at (line 2, column 2):
unexpected end of input
expecting "\\" or "\""
parse error at (line 3, column 2):
unexpected end of input
expecting "(", id/literal, quantifier or "}"
parse error at (line 4, column 2):
unexpected end of input
expecting "(", id/literal, quantifier or "]"
parse error at (line 5, column 2):
unexpected end of input
expecting "var", "op", "pred", "(", id/literal or quantifier
parse error at (line 6, column 1):
unexpected "}"
expecting "(", id/literal or quantifier
parse error at (line 7, column 1):
unexpected "]"
expecting "(", id/literal or quantifier
parse error at (line 8, column 1):
unexpected ")"
expecting "(", id/literal or quantifier
parse error at (line 9, column 1):
unexpected "."
expecting "(", id/literal or quantifier
parse error at (line 10, column 1):
unexpected "_"
expecting "(", id/literal or quantifier
parse error at (line 11, column 1):
unexpected ":"
expecting "(", id/literal or quantifier
parse error at (line 12, column 1):
unexpected ":?"
expecting "(", id/literal or quantifier
parse error at (line 13, column 1):
unexpected ","
expecting "(", id/literal or quantifier
parse error at (line 14, column 1):
unexpected ";"
expecting "(", id/literal or quantifier
parse error at (line 15, column 2):
unexpected ","
expecting "var", "op", "pred", "(", id/literal or quantifier
parse error at (line 16, column 4):
unexpected ")"
expecting "(", id/literal or quantifier
parse error at (line 17, column 2):
unexpected ")"
expecting "var", "op", "pred", "(", id/literal or quantifier
parse error at (line 18, column 1):
unexpected "as"
expecting "(", id/literal or quantifier
parse error at (line 19, column 1):
unexpected ":"
expecting "(", id/literal or quantifier
parse error at (line 20, column 1):
unexpected "in"
expecting "(", id/literal or quantifier
parse error at (line 21, column 15):
unexpected ")"
expecting place, [<id>,...,<id>] or ":"
parse error at (line 22, column 15):
unexpected "#"
expecting place, [<id>,...,<id>], cross, "->" or ")"
parse error at (line 23, column 22):
unexpected ? ## ->bb
parse error at (line 24, column 19):
unexpected ?aa*bb
parse error at (line 25, column 15):
unexpected :?
parse error at (line 26, column 16):
unexpected :?
parse error at (line 27, column 16):
unexpected :?
parse error at (line 28, column 16):
unexpected :?
parse error at (line 29, column 16):
unexpected :?
parse error at (line 30, column 9):
unexpected "a"
expecting place, [<id>,...,<id>], "," or ":"
parse error at (line 31, column 16):
unexpected .!
parse error at (line 32, column 16):
unexpected .!
parse error at (line 33, column 10):
unexpected "a"
expecting place, [<id>,...,<id>], "," or ":"
parse error at (line 34, column 17):
unexpected .!
parse error at (line 35, column 1):
unexpected "pred"
expecting "(", id/literal or quantifier
parse error at (line 36, column 1):
unexpected "var"
expecting "(", id/literal or quantifier
parse error at (line 37, column 1):
unexpected "op"
expecting "(", id/literal or quantifier