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

fix typesetting of builtin non-terminals

Browse Source
This commit is contained in:
Robby Findler 2012-10-31 19:51:22 -05:00
parent e2d74f2cf3
commit b2b350eff5
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/redex/private/core-layout.rkt
View File

@ -3,6 +3,7 @@
(require "loc-wrapper.rkt"
"matcher.rkt"
"reduction-semantics.rkt"
"underscore-allowed.rkt"
texpict/utils
texpict/mrpict
@ -702,7 +703,7 @@
(list (non-terminal->token col span nt)
(make-pict-token (+ col span) 0 sub+sup)))])]
[(or (memq atom all-nts)
(memq atom '(number variable variable-except variable-not-otherwise-mentioned)))
(memq atom underscore-allowed))
(list (non-terminal->token col span (symbol->string atom)))]
[(symbol? atom)
(list (or (rewrite-atomic col span atom literal-style)