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

Provide tc-literal.

Browse Source 
svn: r14754

original commit: c2da52d661d95092e55a3bdc069949f2a1fe5683
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-08 21:41:23 +00:00
parent 270ea45d4b
commit a7cdd78864
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-scheme/typecheck/signatures.ss
View File

@ -11,6 +11,7 @@
(define-signature tc-expr^
([cnt tc-expr (syntax? . -> . tc-results?)]
[cnt tc-literal (->* (syntax?) ((or/c #f Type/c)) Type/c)]
[cnt tc-expr/check (syntax? tc-results? . -> . tc-results?)]
[cnt tc-expr/check/t (syntax? tc-results? . -> . Type/c)]
[cnt check-below (->d ([s (or/c Type/c tc-results?)] [t (or/c Type/c tc-results?)]) () [_ (if (Type? s) Type/c tc-results?)])]

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

@ -23,8 +23,7 @@
;; return the type of a literal value
;; scheme-value -> type
(d/c (tc-literal v-stx [expected #f])
(-->* (syntax?) ((-or/c #f Type/c)) Type/c)
(define (tc-literal v-stx [expected #f])
(define-syntax-class exp
(pattern i
#:when expected