We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
type: ignore
1 parent 36bd370 commit 82649d4Copy full SHA for 82649d4
src/lambda_repl/parsing.py
@@ -52,9 +52,9 @@ def transform_string(self, string: str) -> Term[str]:
52
"""parse a string and return the transformed lambda term"""
53
# the parser sometimes return tokens directly instead of a tree
54
match PARSER.parse(string):
55
- case Token(type="VARIABLE") as name: # type: ignore
56
- return self.VARIABLE(name) # type: ignore
57
- case Token() as token: # type: ignore
+ case Token(type="VARIABLE") as name:
+ return self.VARIABLE(name)
+ case Token() as token:
58
raise UnexpectedToken(token, {"VARIABLE", })
59
case tree:
60
return self.transform(tree)
0 commit comments