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

revert this change to fix drscheme.

Browse Source 
svn: r12075

original commit: b173fb073efdcf3f5a9acc9188de84de32ee3cf4
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-20 20:04:15 +00:00
parent dc77ba4148
commit 4bed8042a1
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/typecheck/tc-toplevel.ss
View File

@ -40,9 +40,7 @@
;; require/typed
[(define-values () (begin (quote-syntax (require/typed-internal nm ty)) (#%plain-app values)))
(let ([t (parse-type #'ty)])
(register-type #'nm t)
(list (make-def-binding #'nm t)))]
(register-type #'nm (parse-type #'ty))]
;; define-typed-struct
[(define-values () (begin (quote-syntax (define-typed-struct-internal nm ([fld : ty] ...))) (#%plain-app values)))