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

More specific type for quote-syntax (this hides an infinite loop)

Browse Source 
svn: r12162
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-28 22:40:19 +00:00
parent 23a541177b
commit b7df781999
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/typed-scheme/typecheck/tc-expr-unit.ss
View File

@ -155,7 +155,7 @@
[(quote #t) (ret (-val #t) (list (make-True-Effect)) (list (make-True-Effect)))]
[(quote val) (ret (tc-literal #'val))]
;; syntax
[(quote-syntax datum) (ret Any-Syntax)]
[(quote-syntax datum) (ret (-Syntax (tc-literal #'datum)))]
;; mutation!
[(set! id val)
(match-let* ([(tc-result: id-t) (tc-expr #'id)]
@ -241,7 +241,7 @@
[(quote val) (ret (tc-literal #'val))]
;; syntax
[(quote-syntax datum) (ret Any-Syntax)]
[(quote-syntax datum) (ret (-Syntax (tc-literal #'datum)))]
;; w-c-m
[(with-continuation-mark e1 e2 e3)
(begin (tc-expr/check #'e1 Univ)