diff options
author | Andy Wingo <wingo@pobox.com> | 2021-06-19 22:15:39 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2021-10-01 11:33:13 +0200 |
commit | c9c16db694e8da04fdd298073fdbd311ef1b5796 (patch) | |
tree | e9d14fb915f5bd65798383f444f983629cf22184 | |
parent | c803566a17b513dc63c4e1d282c4b9a89c17903e (diff) | |
download | guile-c9c16db694e8da04fdd298073fdbd311ef1b5796.tar.gz |
Allow primcalls with multiple defs
* module/language/cps/types.scm (infer-types): Allow multiple defs.
-rw-r--r-- | module/language/cps/types.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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)))) |