From 5b237018ef374824e2b463212af6d9cc0cea6a74 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 18 Feb 2015 18:52:21 -0500 Subject: [PATCH] Add a #:var argument to ->acc Allows a name reference for Path objects to be specified for ->acc function types. --- typed-racket-lib/typed-racket/types/base-abbrev.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/typed-racket-lib/typed-racket/types/base-abbrev.rkt b/typed-racket-lib/typed-racket/types/base-abbrev.rkt index 433f1e04..1b30f4dd 100644 --- a/typed-racket-lib/typed-racket/types/base-abbrev.rkt +++ b/typed-racket-lib/typed-racket/types/base-abbrev.rkt @@ -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)