From 7a8da37733b00b9e14dd126c6ac38bb5c9c19295 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@slava-pestovs-macbook-pro.local>
Date: Tue, 20 May 2008 18:52:22 -0500
Subject: [PATCH] Add failing inference test

---
 core/inference/inference-tests.factor | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/core/inference/inference-tests.factor b/core/inference/inference-tests.factor
index 46d1049a11..dc037d4a59 100755
--- a/core/inference/inference-tests.factor
+++ b/core/inference/inference-tests.factor
@@ -547,3 +547,12 @@ ERROR: custom-error ;
 [ [ missing->r-check ] infer ] must-fail
 
 { 1 0 } [ [ ] map-children ] must-infer-as
+
+! Corner case
+[ [ [ f dup ] [ dup ] [ ] unfold ] infer ] must-fail
+
+[ [ [ f dup ] [ ] [ ] while ] infer ] must-fail
+
+: erg's-inference-bug ( -- ) f dup [ erg's-inference-bug ] when ; inline
+
+[ [ erg's-inference-bug ] infer ] must-fail