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

add boolean to the set of things that redex's random generator

Browse Source 
will generate for the any pattern
This commit is contained in:
Robby Findler 2013-05-22 06:37:46 -05:00
parent 9c4a009b1a
commit 6596df6e97
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/private/rg.rkt
View File

@ -740,7 +740,7 @@
[_ pat])))) [_ pat]))))
;; used in generating the `any' pattern ;; used in generating the `any' pattern
(define-language sexp (sexp variable string number hole (sexp ...))) (define-language sexp (sexp variable string number boolean hole (sexp ...)))
(define-signature decisions^ (define-signature decisions^
(next-variable-decision (next-variable-decision