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

Add a #:var argument to ->acc

Browse Source 
Allows a name reference for Path objects to be specified
for ->acc function types.
This commit is contained in:
Asumu Takikawa 2015-02-18 18:52:21 -05:00
parent fed9ac40eb
commit 5b237018ef
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
typed-racket-lib/typed-racket/types/base-abbrev.rkt
View File

@ -232,11 +232,11 @@
(define (simple-> doms rng)
(->* doms rng))
(define (->acc dom rng path)
(define (->acc dom rng path #:var [var (list 0 0)])
(make-Function (list (make-arr* dom rng
#:filters (-FS (-not-filter (-val #f) (make-Path path (list 0 0)))
(-filter (-val #f) (make-Path path (list 0 0))))
#:object (make-Path path (list 0 0))))))
#:filters (-FS (-not-filter (-val #f) (make-Path path var))
(-filter (-val #f) (make-Path path var)))
#:object (make-Path path var)))))
(define (cl->* . args)
(define (funty-arities f)