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

Fix prims.rkt's type->contract to accept keyword arguments.

Browse Source 
Necessary when some prims are used at the top-level.

original commit: 95c2115799587caa3ed64d4503a535436bde9116
This commit is contained in:
Vincent St-Amour 2012-05-04 17:06:34 -04:00
parent 63e411b474
commit d2431e07d5
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/base-env/prims.rkt
View File

@ -56,8 +56,12 @@ This file defines two sorts of primitives. All of them are provided into any mod
;; dynamically loaded b/c they're only used at the top-level, so we save a lot
;; of loading by not having them when we're in a module
(define-for-syntax (parse-type stx) ((dynamic-require 'typed-racket/private/parse-type 'parse-type) stx))
(define-for-syntax (type->contract stx) ((dynamic-require 'typed-racket/private/type-contract 'type->contract) stx))
(define-for-syntax type->contract
(make-keyword-procedure
(lambda (kws kw-args . rest)
(keyword-apply
(dynamic-require 'typed-racket/private/type-contract 'type->contract)
kws kw-args rest))))
(define-syntaxes (require/typed-legacy require/typed)
(let ()