Verified Commit d9ac4920 authored by Jun Furuse's avatar Jun Furuse Committed by Mehdi Bouaziz

LAMBDA and APPLY targets are not storable but packable

parent ac64b06b
......@@ -593,7 +593,7 @@ Control structures
where f / a : [] => r : []
- ``APPLY``: Partially apply a tuplified function from the stack.
Such a lambda is storable, and thus values that cannot be stored
Such a lambda is packable, and thus values that cannot be packed
(values of type ``operation``, ``contract _`` and ``big map _ _``)
cannot be captured by ``APPLY`` (cannot appear in ``'a``).
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment