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

strengthen contract on blockss field of table struct in scribble

Browse Source 
original commit: f7185bec91d04a28289887947c5a394fd94914fe
This commit is contained in:
Robby Findler 2012-06-22 22:12:54 -05:00
parent e4b6652f27
commit 6137f803b2
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/scribble/core.rkt
View File

@ -135,6 +135,12 @@
(and (string? s) (and (string? s)
(not (regexp-match? #rx"\n" s)))) (not (regexp-match? #rx"\n" s))))
(define (same-lengths? ls)
(or (null? ls)
(let ([l1 (length (car ls))])
(andmap (λ (l) (= l1 (length l)))
(cdr ls)))))
(provide-structs (provide-structs
[part ([tag-prefix (or/c false/c string?)] [part ([tag-prefix (or/c false/c string?)]
[tags (listof tag?)] [tags (listof tag?)]
@ -146,7 +152,8 @@
[paragraph ([style style?] [paragraph ([style style?]
[content content?])] [content content?])]
[table ([style style?] [table ([style style?]
[blockss (listof (listof (or/c block? (one-of/c 'cont))))])] [blockss (and/c (listof (listof (or/c block? (one-of/c 'cont))))
same-lengths?)])]
[delayed-block ([resolve (any/c part? resolve-info? . -> . block?)])] [delayed-block ([resolve (any/c part? resolve-info? . -> . block?)])]
[itemization ([style style?] [itemization ([style style?]
[blockss (listof (listof block?))])] [blockss (listof (listof block?))])]