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

fix typesetting for empty reduction relations

Browse Source 
closes PR 13346
This commit is contained in:
Robby Findler 2013-05-01 16:47:28 -05:00
parent 79e10348b3
commit 7611e295f4
1 changed files with 26 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
collects/redex/private/pict.rkt
View File

@ -234,33 +234,37 @@
(rule-pict-rhs rp)
(rp->side-condition-pict rp +inf.0)))]
[multi-line-spacer
(ghost
(launder
(ctl-superimpose
(apply ctl-superimpose (map mk-top-line-spacer rps))
(apply ctl-superimpose (map mk-bot-line-spacer rps)))))]
(if (null? rps)
(blank)
(ghost
(launder
(ctl-superimpose
(apply ctl-superimpose (map mk-top-line-spacer rps))
(apply ctl-superimpose (map mk-bot-line-spacer rps))))))]
[spacer (dc void
(pict-width multi-line-spacer)
(pict-descent multi-line-spacer) ;; probably could be zero ...
0
(pict-descent multi-line-spacer))])
(apply
vl-append
(add-between
(blank 0 (reduction-relation-rule-separation))
(map (λ (rp)
(side-condition-combiner
(vl-append
(ltl-superimpose
(htl-append (rule-pict-lhs rp)
(basic-text " " (default-style))
(arrow->pict (rule-pict-arrow rp)))
(rtl-superimpose
spacer
(rp->pict-label rp)))
(rule-pict-rhs rp))
(rp->side-condition-pict rp +inf.0)))
rps)))))
(if (null? rps)
(blank)
(apply
vl-append
(add-between
(blank 0 (reduction-relation-rule-separation))
(map (λ (rp)
(side-condition-combiner
(vl-append
(ltl-superimpose
(htl-append (rule-pict-lhs rp)
(basic-text " " (default-style))
(arrow->pict (rule-pict-arrow rp)))
(rtl-superimpose
spacer
(rp->pict-label rp)))
(rule-pict-rhs rp))
(rp->side-condition-pict rp +inf.0)))
rps))))))
(define compact-vertical-min-width (make-parameter 0))