diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-14 12:37:50 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-14 12:37:50 +0000 |
| commit | 9ee3b7a37a658dc5d3d1831e4155629e18a866f4 (patch) | |
| tree | eb54478e601f267f45b83470b1f64ac8b9432a87 | |
| parent | dc0ef2ca98ddf21586b68089d28df59ef3e756dd (diff) | |
* Function application test cases.
| -rw-r--r-- | testpkgs/fun/fun1.fix | 9 | ||||
| -rw-r--r-- | testpkgs/fun/fun2.fix | 9 | ||||
| -rw-r--r-- | testpkgs/fun/fun3.fix | 9 |
3 files changed, 27 insertions, 0 deletions
diff --git a/testpkgs/fun/fun1.fix b/testpkgs/fun/fun1.fix new file mode 100644 index 000000000..c5a9e370d --- /dev/null +++ b/testpkgs/fun/fun1.fix @@ -0,0 +1,9 @@ +Call( + Function(["x"], + Call( + Function(["x"], Var("x")), + [ ("x", Var("x")) ] + ) + ), + [ ("x", True) ] +)
\ No newline at end of file diff --git a/testpkgs/fun/fun2.fix b/testpkgs/fun/fun2.fix new file mode 100644 index 000000000..5741fa6f3 --- /dev/null +++ b/testpkgs/fun/fun2.fix @@ -0,0 +1,9 @@ +Call( + Function(["x"], + Call( + Function(["y", "z"], Var("y")), + [ ("y", Var("x")) ] + ) + ), + [ ("x", True) ] +)
\ No newline at end of file diff --git a/testpkgs/fun/fun3.fix b/testpkgs/fun/fun3.fix new file mode 100644 index 000000000..31399c0cb --- /dev/null +++ b/testpkgs/fun/fun3.fix @@ -0,0 +1,9 @@ +Call( + Function(["x"], + Call( + Function(["x"], Var("x")), + [ ("x", False) ] + ) + ), + [ ("x", True) ] +)
\ No newline at end of file |