[Guile-commits] 14/30: Fix type check elision for branches

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit b2dc53a3e2d5806a2d9bd82d1644a9c5c76630a9
Author: Andy Wingo <address@hidden>
Date:   Tue Nov 21 21:38:17 2017 +0100

    Fix type check elision for branches
    
    * module/language/cps/type-checks.scm (elide-type-checks): Fix bug where
      we were matching against a list instead of a record.  Doh!
---
 module/language/cps/type-checks.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/module/language/cps/type-checks.scm 
b/module/language/cps/type-checks.scm
index a022c3a..d7503c9 100644
--- a/module/language/cps/type-checks.scm
+++ b/module/language/cps/type-checks.scm
@@ -55,7 +55,7 @@ KFUN where we can prove that no assertion will be raised at 
run-time."
                              (($ $continue k src ($ $primcall name param args))
                               (visit-primcall effects fx label name param 
args))
                              (($ $continue k src
-                                 ($ $branch _ ($primcall name param args)))
+                                 ($ $branch _ ($ $primcall name param args)))
                               (visit-primcall effects fx label name param 
args))
                              (_ effects)))
                           (_ effects)))