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

Try abbreviating optional argument function types

Browse Source
This commit is contained in:
Asumu Takikawa 2016-06-15 13:07:44 -04:00
parent 8ac4f3d29b
commit bd0c71c122
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
typed-racket-lib/typed-racket/env/init-envs.rkt vendored
View File

@ -12,7 +12,7 @@
(rename-in racket/private/sort [sort raw-sort])
(rep type-rep object-rep prop-rep rep-utils free-variance)
(for-syntax syntax/parse racket/base)
(types abbrev union)
(types abbrev union utils)
racket/dict racket/list racket/set racket/promise
racket/match)
@ -184,6 +184,16 @@
`(->acc (list ,@(map type->sexp dom))
,(type->sexp t)
(list ,@(map path-elem->sexp pth)))]
[(Function: (? has-optional-args? arrs))
(match-define (arr: fdoms rng rest _ *kws) (first arrs))
(match-define (arr: ldoms _ _ _ _) (last arrs))
(define opts (drop ldoms (length fdoms)))
(define kws (map type->sexp *kws))
`(opt-fn (list ,@(map type->sexp fdoms))
(list ,@(map type->sexp opts))
,(type->sexp rng)
,@(if rest `(#:rest ,rest) '())
,@(if (null? kws) '() `(#:kws (list ,@kws))))]
[(Function: arrs)
`(make-Function (list ,@(map type->sexp arrs)))]
[(Keyword: kw ty required?)