suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix boolean/pattern confusion for term generation..

Browse Source
This commit is contained in:
Burke Fetscher 2013-08-25 22:13:13 -05:00
parent 44e324db12
commit 56a313caa0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/redex-pkgs/redex-lib/redex/private/jdg-gen.rkt
View File

@ -56,7 +56,7 @@
(call/ec (λ (fail) (call/ec (λ (fail)
(hash-ref term-e rep-lvar (hash-ref term-e rep-lvar
(λ () (let ([t (recur pat)]) (λ () (let ([t (recur pat)])
(unless t (fail #f)) (unless (not-failed? t) (fail (unif-fail)))
(hash-set! term-e rep-lvar t) (hash-set! term-e rep-lvar t)
t)))))] t)))))]
[`(cstr (,nts ...) ,pat) [`(cstr (,nts ...) ,pat)