Skip to content

make inline agents closures #55

Closed
ramack opened this Issue Mar 13, 2013 · 1 comment

2 participants

@ramack
Liberty Eiffel member
ramack commented Mar 13, 2013

As suggested by http://liberty-eiffel.blogspot.de/2009/11/inline-agents-should-be-closures.html agents shall be able to access locals of their outer feature.
See also notes in #51. (in contracts there is no outer feature, even though pre- and postconditions could have (read) access to their "outer" features parameters and Result.)

@cadrian cadrian closed this Jun 7, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.