From b0da322f03a0b87ca6179e7996a7ab9bb188d951 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Fri, 25 Apr 2014 22:36:11 -0700 Subject: [PATCH] Replace uses of untuple with List:. original commit: 347b15661a5ed3fb478257618e397c4722e03744 --- .../typed-racket/typecheck/tc-app/tc-app-eq.rkt | 6 +++--- .../typed-racket-lib/typed-racket/types/match-expanders.rkt | 2 -- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-eq.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-eq.rkt index b980e687..5e02e339 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-eq.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-eq.rkt @@ -63,11 +63,11 @@ (-not-filter-at (-val val) o)))] [((tc-result1: t _ o) (or (and (? (lambda _ (id=? #'member comparator))) - (tc-result1: (app untuple (list (and ts (Value: _)) ...)))) + (tc-result1: (List: (list (and ts (Value: _)) ...)))) (and (? (lambda _ (id=? #'memv comparator))) - (tc-result1: (app untuple (list (and ts (Value: (? eqv?-able))) ...)))) + (tc-result1: (List: (list (and ts (Value: (? eqv?-able))) ...)))) (and (? (lambda _ (id=? #'memq comparator))) - (tc-result1: (app untuple (list (and ts (Value: (? eq?-able))) ...)))))) + (tc-result1: (List: (list (and ts (Value: (? eq?-able))) ...)))))) (let ([ty (apply Un ts)]) (ret (Un (-val #f) t) (-FS (-filter-at ty o) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/match-expanders.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/match-expanders.rkt index a658ca47..6e1b859e 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/match-expanders.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/match-expanders.rkt @@ -11,8 +11,6 @@ (for-syntax racket/base syntax/parse)) (provide Listof: List: MListof:) -(provide/cond-contract - [untuple (Type/c . -> . (or/c #f (listof Type/c)))]) (define-match-expander Listof: