From 6d975ea6bb4ff01171edef899dd53e92600c91a8 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 14 Jun 2014 23:14:38 -0700 Subject: [PATCH] Make cgen/seq for lists be used more often. --- .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 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 548325adaf..dc7e07f6f4 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 @@ -432,6 +432,10 @@ #:when (subtype a b) empty] + ;; Lists delegate to sequences + [((ListSeq: s-seq) (ListSeq: t-seq)) + (cgen/seq V X Y s-seq t-seq)] + ;; refinements are erased to their bound [((Refinement: S _) T) (cg S T)] @@ -555,10 +559,6 @@ [((Set: t) (Sequence: (list t*))) (cg t t*)] - ;; Lists delegate to sequences - [((ListSeq: s-seq) (ListSeq: t-seq)) - (cgen/seq V X Y s-seq t-seq)] - ;; if we have two mu's, we rename them to have the same variable ;; and then compare the bodies ;; This relies on (B 0) only unifying with itself,