From 56a313caa0e46c7342e5a079b5feb09986fd9013 Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Sun, 25 Aug 2013 22:13:13 -0500 Subject: [PATCH] Fix boolean/pattern confusion for term generation.. --- pkgs/redex-pkgs/redex-lib/redex/private/jdg-gen.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/jdg-gen.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/jdg-gen.rkt index 1a5c638d40..b9b58daf19 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/jdg-gen.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/jdg-gen.rkt @@ -56,7 +56,7 @@ (call/ec (λ (fail) (hash-ref term-e rep-lvar (λ () (let ([t (recur pat)]) - (unless t (fail #f)) + (unless (not-failed? t) (fail (unif-fail))) (hash-set! term-e rep-lvar t) t)))))] [`(cstr (,nts ...) ,pat)