From 9ee3b7a37a658dc5d3d1831e4155629e18a866f4 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 14 Aug 2003 12:37:50 +0000
Subject: [PATCH] * Function application test cases.
---
testpkgs/fun/fun1.fix | 9 +++++++++
testpkgs/fun/fun2.fix | 9 +++++++++
testpkgs/fun/fun3.fix | 9 +++++++++
3 files changed, 27 insertions(+)
create mode 100644 testpkgs/fun/fun1.fix
create mode 100644 testpkgs/fun/fun2.fix
create mode 100644 testpkgs/fun/fun3.fix
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
--
GitLab