Implemented garbage in Num

[fireball-separation.git] / ocaml / problems / simple.garbage.0

diff --git a/ocaml/problems/simple.garbage.0 b/ocaml/problems/simple.garbage.0
new file mode 100644 (file)
index 0000000..0382a1b
--- /dev/null
+++ b/ocaml/problems/simple.garbage.0
@@ -0,0 +1,7 @@
+$? check for eta_subterms in garbage\r
+D x a\r
+C x (y. y , x a)\r
+\r
+$! garbage may be `dangerous`\r
+D x @\r
+C @ (y. y, x @, x @)\r