From 094678c666ab1f8b99f9a2764167e5cb7d53c808 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 18 May 2014 11:23:56 -0700 Subject: [PATCH] Unbreak TR contracted build. original commit: 06d29a7102d32853cf2e5310c41e4c5931fab688 --- .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 3 ++- .../tests/typed-racket/unit-tests/infer-tests.rkt | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt index 58612513..005efe4e 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt @@ -740,7 +740,8 @@ ;; Y : (listof symbol?) - index variables that must have entries ;; R : Type/c - result type into which we will be substituting (define/cond-contract (subst-gen C X Y R) - (cset? (listof symbol?) (or/c Values/c AnyValues? ValuesDots?) . -> . (or/c #f substitution/c)) + (cset? (listof symbol?) (listof symbol?) (or/c Values/c AnyValues? ValuesDots?) + . -> . (or/c #f substitution/c)) (define var-hash (free-vars-hash (free-vars* R))) (define idx-hash (free-vars-hash (free-idxs* R))) ;; v : Symbol - variable for which to check variance diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt index 13c5750d..d6aacfc7 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt @@ -146,7 +146,7 @@ #:vars '(b) #:indices '(a)] - [infer-t (-values (list -String)) (-values-dots (list) -Symbol 'b) #:indices '(b) #:fail] + [infer-t (-> (-values (list -String))) (-> (-values-dots (list) -Symbol 'b)) #:indices '(b) #:fail] [infer-t (make-ListDots -String 'a) (make-ListDots -Symbol 'b) #:indices '(b) #:fail] [infer-t (make-ListDots -String 'a) (make-ListDots -Symbol 'b) #:indices '(a) #:fail] [infer-t (-lst* -String) (make-ListDots -Symbol 'b) #:indices '(b) #:fail]