[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] branch wip-tailify updated: Allow primcalls with multipl
[Guile-commits] branch wip-tailify updated: Allow primcalls with multiple defs
Sat, 19 Jun 2021 16:24:13 -0400
This is an automated email from the git hooks/post-receive script.
wingo pushed a commit to branch wip-tailify
in repository guile.
The following commit(s) were added to refs/heads/wip-tailify by this push:
new d58e279 Allow primcalls with multiple defs
d58e279 is described below
Author: Andy Wingo <firstname.lastname@example.org>
AuthorDate: Sat Jun 19 22:15:39 2021 +0200
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 bb9d673..bc0ebd3 100644
@@ -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)
|[Prev in Thread]
||[Next in Thread]|
- [Guile-commits] branch wip-tailify updated: Allow primcalls with multiple defs,
Andy Wingo <=