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

fix 9967

Browse Source 
svn: r15720

original commit: 6af7d327099ad47227a8df7e513b61e7341178a7
This commit is contained in:
Sam Tobin-Hochstadt 2009-08-12 21:52:21 +00:00
parent 01e9263aa0
commit 0b7ccf2e4b
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/env/type-env.ss vendored
View File

@ -51,7 +51,7 @@
(define (finish-register-type id)
(unless (maybe-finish-register-type id)
(int-err "finishing type that was already finished: ~a" (syntax-e id))))
(tc-error/stx id "Duplicate defintion for ~a" (syntax-e id))))
(define (check-all-registered-types)
(module-identifier-mapping-for-each

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

@ -220,7 +220,8 @@
(match expected
[(tc-result1: (Function: _)) (tc/mono-lambda/type formals bodies expected)]
[(tc-result1: (or (Poly: _ _) (PolyDots: _ _)))
(tc/plambda form formals bodies expected)]))
(tc/plambda form formals bodies expected)]
[(tc-result1: (Error:)) (tc/mono-lambda/type formals bodies #f)]))
(match expected
[(tc-result1: (and t (Poly-names: ns expected*)))
(let* ([tvars (let ([p (syntax-property form 'typechecker:plambda)])