Fix bindings in ADT pattern matching codegen

[scheme.git] / typecheck.scm

diff --git a/typecheck.scm b/typecheck.scm
index 064f65f696459d08b38f3e20e00f8ff180b23bc7..c6b90e701f467d1651d87c434441b4305ea98742 100644 (file)
--- 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))