about summary refs log tree commit diff
path: root/testpkgs/fun/fun2.fix
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-08-14T12·37+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-08-14T12·37+0000
commit9ee3b7a37a658dc5d3d1831e4155629e18a866f4 (patch)
treeeb54478e601f267f45b83470b1f64ac8b9432a87 /testpkgs/fun/fun2.fix
parentdc0ef2ca98ddf21586b68089d28df59ef3e756dd (diff)
* Function application test cases.
Diffstat (limited to 'testpkgs/fun/fun2.fix')
-rw-r--r--testpkgs/fun/fun2.fix9
1 files changed, 9 insertions, 0 deletions
diff --git a/testpkgs/fun/fun2.fix b/testpkgs/fun/fun2.fix
new file mode 100644
index 000000000000..5741fa6f3b6d
--- /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