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

Typecheck pregexp literals correctly.

Browse Source 
original commit: f7be12d313da40e4750d30f39826936ef5f455cd
This commit is contained in:
Vincent St-Amour 2011-07-22 15:54:30 -04:00
parent 9d88499488
commit e82fd29852
3 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/rep/rep-utils.rkt
View File

@ -19,7 +19,7 @@
syntax/stx
scheme/contract
racket/syntax
(rename-in (except-in (utils utils stxclass-util) bytes byte-regexp regexp byte-pregexp #;pregexp)
(rename-in (except-in (utils utils stxclass-util) bytes byte-regexp regexp byte-pregexp pregexp)
[id* id]
[keyword* keyword])))

3
collects/typed-scheme/typecheck/tc-expr-unit.rkt
View File

@ -75,7 +75,8 @@
[i:bytes -Bytes]
[i:byte-pregexp -Byte-PRegexp]
[i:byte-regexp -Byte-Regexp]
[i:regexp -Regexp]
[i:pregexp -PRegexp]
[i:regexp -Regexp]
[(i ...)
(match expected
[(Mu: var (Union: (list (Value: '()) (Pair: elem-ty (F: var)))))

1
collects/typed-scheme/utils/stxclass-util.rkt
View File

@ -39,6 +39,7 @@
(define-pred-stxclass atom atom?)
(define-pred-stxclass byte-pregexp byte-pregexp?)
(define-pred-stxclass byte-regexp byte-regexp?)
(define-pred-stxclass pregexp pregexp?)
(define-pred-stxclass regexp regexp?)
(define-pred-stxclass bytes bytes?)
(define-pred-stxclass id symbol?)