forked from lix-project/lix
* Function application test cases.
This commit is contained in:
parent
dc0ef2ca98
commit
9ee3b7a37a
9
testpkgs/fun/fun1.fix
Normal file
9
testpkgs/fun/fun1.fix
Normal file
|
@ -0,0 +1,9 @@
|
||||||
|
Call(
|
||||||
|
Function(["x"],
|
||||||
|
Call(
|
||||||
|
Function(["x"], Var("x")),
|
||||||
|
[ ("x", Var("x")) ]
|
||||||
|
)
|
||||||
|
),
|
||||||
|
[ ("x", True) ]
|
||||||
|
)
|
9
testpkgs/fun/fun2.fix
Normal file
9
testpkgs/fun/fun2.fix
Normal file
|
@ -0,0 +1,9 @@
|
||||||
|
Call(
|
||||||
|
Function(["x"],
|
||||||
|
Call(
|
||||||
|
Function(["y", "z"], Var("y")),
|
||||||
|
[ ("y", Var("x")) ]
|
||||||
|
)
|
||||||
|
),
|
||||||
|
[ ("x", True) ]
|
||||||
|
)
|
9
testpkgs/fun/fun3.fix
Normal file
9
testpkgs/fun/fun3.fix
Normal file
|
@ -0,0 +1,9 @@
|
||||||
|
Call(
|
||||||
|
Function(["x"],
|
||||||
|
Call(
|
||||||
|
Function(["x"], Var("x")),
|
||||||
|
[ ("x", False) ]
|
||||||
|
)
|
||||||
|
),
|
||||||
|
[ ("x", True) ]
|
||||||
|
)
|
Loading…
Reference in a new issue