Open wilbowma opened 2 years ago
When some abstract locations have been assigned frame locations, we can end up with e.g.
(assignment ((z.1 fv0) (y.1 fv0) (x.1 fv1))))
(where all z.1 y.1 and x.1 are call-undead).
This frame should only have size 2, since two locations already share a slot, but the book can be read as saying it should be size 3.
Need to clarify this. Something about semantic location vs syntactic location
When some abstract locations have been assigned frame locations, we can end up with e.g.
(where all z.1 y.1 and x.1 are call-undead).
This frame should only have size 2, since two locations already share a slot, but the book can be read as saying it should be size 3.
Need to clarify this. Something about semantic location vs syntactic location