We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f97c745 commit b9e9123Copy full SHA for b9e9123
redex-pict-lib/redex/private/core-layout.rkt
@@ -902,7 +902,7 @@
902
(error 'apply-rewrites "rewritten version of ~s is still ~s" e e))
903
(let ([p (cadr m)])
904
(if (procedure? p)
905
- (p)
+ (pict-convertible->pict (p))
906
p)))]
907
[else e]))
908
redex-pict-lib/redex/private/pict.rkt
@@ -417,7 +417,7 @@
417
'comma)])
418
(if (null? lst)
419
(blank)
420
- (let ([where ((where-make-prefix-pict))])
+ (let ([where (pict-convertible->pict ((where-make-prefix-pict)))])
421
(let ([max-w (- max-w (pict-width where))])
422
(htl-append where
423
(let loop ([p (car lst)][lst (cdr lst)])
0 commit comments