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

Fix PR14129

Browse Source
This commit is contained in:
Jay McCarthy 2013-10-28 13:22:12 -06:00
parent 386a862241
commit 5c373c5d07
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/racklog/racklog.rkt
View File

@ -309,7 +309,9 @@
(abort-to-racklog-prompt #f)))) (abort-to-racklog-prompt #f))))
(abort-to-racklog-prompt (abort-to-racklog-prompt
(list (cons 'v (logic-var-val* v)) (list (cons 'v (logic-var-val* v))
...))))))) ...)))))
[(%which (v ...) g ...)
(%which (v ...) (%and g ...))]))
(define (%more) (define (%more)
(with-racklog-prompt (with-racklog-prompt

3
pkgs/racklog/tests/unit.rkt
View File

@ -556,5 +556,8 @@
(%more) => #f (%more) => #f
(%which () (%let (x) (%var 1))) => #f (%which () (%let (x) (%var 1))) => #f
(%which () (%let (x) (%and (%= x 1) (%var x)))) => #f (%which () (%let (x) (%and (%= x 1) (%var x)))) => #f
(%which () %true %true) => empty
(%more) => #f
) )