CSE machine: unnecessary env on the bottom of control

source-academy / js-slang

Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python

https://source-academy.github.io/source/

Apache License 2.0

70 stars 104 forks source link

Closed martin-henz closed 7 months ago

martin-henz commented 7 months ago

We should avoid pushing env instructions when control is empty: