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

Typecheck pregexp literals correctly.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-07-22 15:54:30 -04:00
parent 27cd6aca6f
commit f7be12d313
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 syntax/stx
scheme/contract scheme/contract
racket/syntax 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] [id* id]
[keyword* keyword]))) [keyword* keyword])))

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

@ -75,7 +75,8 @@
[i:bytes -Bytes] [i:bytes -Bytes]
[i:byte-pregexp -Byte-PRegexp] [i:byte-pregexp -Byte-PRegexp]
[i:byte-regexp -Byte-Regexp] [i:byte-regexp -Byte-Regexp]
[i:regexp -Regexp] [i:pregexp -PRegexp]
[i:regexp -Regexp]
[(i ...) [(i ...)
(match expected (match expected
[(Mu: var (Union: (list (Value: '()) (Pair: elem-ty (F: var))))) [(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 atom atom?)
(define-pred-stxclass byte-pregexp byte-pregexp?) (define-pred-stxclass byte-pregexp byte-pregexp?)
(define-pred-stxclass byte-regexp byte-regexp?) (define-pred-stxclass byte-regexp byte-regexp?)
(define-pred-stxclass pregexp pregexp?)
(define-pred-stxclass regexp regexp?) (define-pred-stxclass regexp regexp?)
(define-pred-stxclass bytes bytes?) (define-pred-stxclass bytes bytes?)
(define-pred-stxclass id symbol?) (define-pred-stxclass id symbol?)