We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8ac03a0 commit a157594Copy full SHA for a157594
test/ParseSpec.hs
@@ -43,17 +43,17 @@ spec =
43
44
context "lambda expression" $ do
45
it "can pares lambda expression" $
46
- parse "lambda hoge : Bool . foo" `shouldSuccess`
+ parse "lambda hoge . foo" `shouldSuccess`
47
Term.Lambda x "hoge" (Term.Variable x "foo")
48
49
it "can apply lambda" $
50
- parse "(lambda hoge : Bool . hoge) 10" `shouldSuccess`
+ parse "(lambda hoge . hoge) 10" `shouldSuccess`
51
Term.Apply x
52
(Term.Lambda x "hoge" (Term.Variable x "hoge"))
53
(Term.Int x 10)
54
55
it "can apply multiple argument" $
56
- parse "(lambda hoge : Bool . lambda fuga : Int . fuga) true 10" `shouldSuccess`
+ parse "(lambda hoge . lambda fuga . fuga) true 10" `shouldSuccess`
57
58
(Term.Apply x
59
(Term.Lambda x "hoge"
0 commit comments