From 705685af8be0916653f6d0bfe399469b62a683d1 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 20 Jun 2008 20:03:56 -0400 Subject: [PATCH] Add stuff that isn't useful yet, but might be useful for a lattice for future work. --- collects/typed-scheme/private/infer-unit.ss | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/collects/typed-scheme/private/infer-unit.ss b/collects/typed-scheme/private/infer-unit.ss index 3183d106cd..92ac7f931a 100644 --- a/collects/typed-scheme/private/infer-unit.ss +++ b/collects/typed-scheme/private/infer-unit.ss @@ -260,6 +260,27 @@ (unless (= (length l1) (length l2)) (unmatch)) (cgen-union V X l1 l2)] + + #;[((Poly: v1 b1) (Poly: v2 b2)) + (unless (= (length v1) (length v2)) + (fail! S T)) + (let ([b2* (subst-all (map list v2 v1) b2)]) + (cg b1 b2*))] + + #;[((PolyDots: (list v1 ... r1) b1) (PolyDots: (list v2 ... r2) b2)) + (unless (= (length v1) (length v2)) + (fail! S T)) + (let ([b2* (substitute-dotted v1 v1 v2 (subst-all (map list v2 v1) b2))]) + (cg b1 b2*))] + + #;[((Poly: v1 b1) T) + (let ([b1* (var-demote b1 v1)]) + (cg b1* T))] + + #;[((PolyDots: (list v1 ... r1) b1) T) + (let ([b1* (var-demote b1 (cons r1 v1))]) + (cg b1* T))] + #; [((Poly-unsafe: n b) (Poly-unsafe: n* b*)) (unless (= n n*)