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

add port-count-lines? to the lexer contract

Browse Source
This commit is contained in:
Robby Findler 2013-02-24 16:36:32 -06:00
parent a0059f791a
commit 18a5dcb3d3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/syntax-color/lexer-contract.rkt
View File

@ -5,7 +5,7 @@
(define lexer/c
(option/c
(or/c (->i ([in input-port?])
(or/c (->i ([in (and/c input-port? port-counts-lines?)])
(values [txt any/c]
[type symbol?]
[paren (or/c symbol? #f)]
@ -15,7 +15,7 @@
(and/c exact-positive-integer?
(>=/c start))
#f)]))
(->i ([in input-port?]
(->i ([in (and/c input-port? port-counts-lines?)]
[offset exact-nonnegative-integer?]
[mode any/c])
(values [txt any/c]