mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-30 11:50:28 +02:00
Code Activity

Allow primcalls with multiple defs

Browse source 
* module/language/cps/types.scm (infer-types): Allow multiple defs.
This commit is contained in:
Andy Wingo 2021-06-19 22:15:39 +02:00
parent c803566a17
commit c9c16db694
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
module/language/cps/types.scm
View file

@ -2014,7 +2014,7 @@ maximum, where type is a bitset as a fixnum."
(match (intmap-ref conts k) (match (intmap-ref conts k)
(($ $kargs _ defs) (($ $kargs _ defs)
(infer-primcall types 0 name param args (infer-primcall types 0 name param args
(match defs ((var) var) (() #f)))) (match defs ((var) var) (_ #f))))
(_ (_
;; (pk 'warning-no-restrictions name) ;; (pk 'warning-no-restrictions name)
types)))) types))))