From c9c16db694e8da04fdd298073fdbd311ef1b5796 Mon Sep 17 00:00:00 2001
From: Andy Wingo <wingo@pobox.com>
Date: Sat, 19 Jun 2021 22:15:39 +0200
Subject: [PATCH] Allow primcalls with multiple defs

* module/language/cps/types.scm (infer-types): Allow multiple defs.
---
 module/language/cps/types.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm
index 7657bf409..d3be176bf 100644
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -2014,7 +2014,7 @@ maximum, where type is a bitset as a fixnum."
                    (match (intmap-ref conts k)
                      (($ $kargs _ defs)
                       (infer-primcall types 0 name param args
-                                      (match defs ((var) var) (() #f))))
+                                      (match defs ((var) var) (_ #f))))
                      (_
                       ;; (pk 'warning-no-restrictions name)
                       types))))