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

Fix order of arguments to make-def-binding.

Browse Source 
svn: r9202
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-08 16:33:35 +00:00
parent f33137ecd4
commit 7b611065b1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/tc-toplevel.ss
View File

@ -84,7 +84,7 @@
[(andmap (lambda (s) (syntax-property s 'type-label)) vars) [(andmap (lambda (s) (syntax-property s 'type-label)) vars)
(let ([ts (map get-type vars)]) (let ([ts (map get-type vars)])
(for-each register-type vars ts) (for-each register-type vars ts)
(map make-def-binding ts vars))] (map make-def-binding vars ts))]
;; if this already had an annotation, we just construct the binding reps ;; if this already had an annotation, we just construct the binding reps
[(andmap (lambda (s) (lookup-type s (lambda () #f))) vars) [(andmap (lambda (s) (lookup-type s (lambda () #f))) vars)
(for-each finish-register-type vars) (for-each finish-register-type vars)