mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-10 22:10:21 +02:00
Code Activity

Add auxiliary definitions for boxes

Browse source 
* module/language/cps/cse.scm (compute-equivalent-subexpressions): Add
  auxiliary definitions for boxes.
This commit is contained in:
Andy Wingo 2014-05-03 12:21:20 +02:00
parent 6119a90595
commit 41812daa78
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
module/language/cps/cse.scm
View file

@ -362,6 +362,12 @@ be that both true and false proofs are available."
(hash-set! equiv-set aux-key
(acons label (list var) equiv))))
(match exp-key
(('primcall 'box val)
(match defs
((box)
(add-def! `(primcall box-ref ,box) val))))
(('primcall 'box-set! box val)
(add-def! `(primcall box-ref ,box) val))
(('primcall 'cons car cdr)
(match defs
((pair)