search

plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

put-cache iteration #43

Closed dvanhorn closed 7 years ago

dvanhorn commented 7 years ago

In the definition of $+ in Figure 9, why is (put-cache-out ∅) run on each iteration?

Well...

dvanhorn commented 7 years ago

@davdar @labichn Can you guys look at this and see if there needs to be a better explanation?

davdar commented 7 years ago

I can take a look.

davdar commented 7 years ago

What I came up with: a1cb1b4716c5ebcd8

labichn commented 7 years ago

I took a pass over your changes, let me know what you think: 573354c1d058c2c2d44f716b316af2a43b6832c8

davdar commented 7 years ago

A nice improvement. Looks good to me. Thanks @labichn.

dvanhorn commented 7 years ago

LGTM. Thanks!