guile-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Guile-commits] 14/25: Fix bug in struct-ref effects analysis


From: Andy Wingo
Subject: [Guile-commits] 14/25: Fix bug in struct-ref effects analysis
Date: Mon, 8 Jan 2018 09:25:04 -0500 (EST)

wingo pushed a commit to branch master
in repository guile.

commit 8009359f6eab13016ec89fb14bda3f74a274b80e
Author: Andy Wingo <address@hidden>
Date:   Sun Jan 7 17:15:42 2018 +0100

    Fix bug in struct-ref effects analysis
    
    * module/language/cps/effects-analysis.scm (struct-ref): Fix bug in
      struct-ref effects analysis.
---
 module/language/cps/effects-analysis.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/module/language/cps/effects-analysis.scm 
b/module/language/cps/effects-analysis.scm
index 87c2540..e180102 100644
--- a/module/language/cps/effects-analysis.scm
+++ b/module/language/cps/effects-analysis.scm
@@ -407,7 +407,7 @@ the LABELS that are clobbered by the effects of LABEL."
   ((allocate-struct vt n)          (&allocate &struct)         &type-check)
   ((allocate-struct/immediate vt)  (&allocate &struct)         &type-check)
   ((make-struct/no-tail vt . _)    (&allocate &struct)         &type-check)
-  ((struct-ref s n)                (&read-object &vector)      &type-check)
+  ((struct-ref s n)                (&read-object &struct)      &type-check)
   ((struct-ref/immediate s)        (&read-field &struct param) &type-check)
   ((struct-set! s n x)             (&write-object &struct)     &type-check)
   ((struct-set!/immediate s x)     (&write-field &struct param) &type-check)



reply via email to

[Prev in Thread] Current Thread [Next in Thread]