Broken protocol environments
Closed this issue · 2 comments
arthurpaulino commented
#1035 changed the encoding for environments and it ended up breaking the protocol API because we can't represent environments directly as we could before.
arthurpaulino commented
FWIW, this is not exactly a breakage in the API. It's just that declaring an empty environment has become a non-ergonomic task (impossible in the general scenario?)
arthurpaulino commented
Oh, nvm, we have (empty-env) now!