X-Git-Url: http://git.lukelau.me/?p=scheme.git;a=blobdiff_plain;f=typecheck.scm;h=c6b90e701f467d1651d87c434441b4305ea98742;hp=064f65f696459d08b38f3e20e00f8ff180b23bc7;hb=a457cd3bb5ce9366db3ca0731a07abc50ecbc1f3;hpb=061f7cd9efa96f5d4e7206ec89931f9fd8421a6c

diff --git a/typecheck.scm b/typecheck.scm
index 064f65f..c6b90e7 100644
--- a/typecheck.scm
+++ b/typecheck.scm
@@ -219,7 +219,7 @@
 
 	 [resolved-type (substitute case-expr-equality-cs (car case-expr-types))]
 
-	 [annotated `((case (,(case-switch x) : ,switch-type)
+	 [annotated `((case ,(caddr switch-type-res)
 			,@(map (lambda (c e et)
 				 `(,c ((,e : ,et))))
 			       (map car (case-cases x))