X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fsimple.garbage.0;fp=ocaml%2Fproblems%2Fsimple.garbage.0;h=0382a1bd3496213b56e47a949cdfc394cfdb070d;hb=0197354468e40860a3a104b9ea5b68854a22cfca;hp=0000000000000000000000000000000000000000;hpb=ca6770197ebeacb27bda594a9b3d8667d8363c74;p=fireball-separation.git

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