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

redex typesetting: make token splitter more tolerant

Browse Source 
Possibily the typesetting enginer should reject an ill-formed
input, instead; I'm not sure what went wrong with the input.
This commit is contained in:
Matthew Flatt 2012-05-04 10:19:03 -06:00
parent 0a7ac91427
commit 0dbd3f1610
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -594,17 +594,18 @@
(define (split-token offset tok new-token)
(cond
[(string-token? tok)
(define len (string-length (string-token-string tok)))
(list (make-string-token (token-column tok)
offset
(substring (string-token-string tok)
0 offset)
0 (min len offset))
(string-token-style tok))
new-token
(make-string-token (+ (token-column tok) offset)
(- (token-span tok) offset)
(substring (string-token-string tok)
offset
(string-length (string-token-string tok)))
(min offset len)
len)
(string-token-style tok)))]
[(pict-token? tok)
(list new-token)]))