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

accomodate a revised expansion of mandatory keyword arguments

Browse Source
This commit is contained in:
Matthew Flatt 2016-08-07 15:58:40 -06:00
parent 9a9c7d3d91
commit 6b10a5480d
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
typed-racket-lib/typed-racket/base-env/base-special-env.rkt
View File

@ -4,6 +4,7 @@
;; that are expanded into by Racket macros
(require
"../utils/utils.rkt"
(only-in "../rep/type-rep.rkt" make-StructTypeTop)
racket/promise
string-constants/string-constant
racket/private/kw racket/file racket/port syntax/parse racket/path
@ -241,6 +242,12 @@
(-> Univ Univ Univ Univ Univ)]
[(make-template-identifier 'missing-kw 'racket/private/kw)
(->* (list Univ) Univ Univ)]
[(make-template-identifier 'prop:named-keyword-procedure 'racket/private/kw)
-Struct-Type-Property]
[(make-template-identifier 'struct:keyword-procedure/arity-error 'racket/private/kw)
(make-StructTypeTop)]
[(make-template-identifier 'struct:keyword-method/arity-error 'racket/private/kw)
(make-StructTypeTop)]
;; from the expansion of `define-runtime-path`
[(make-template-identifier 'path-of 'racket/runtime-path)
(-> -Path -Path)]