<< §2.3.(a) Definition of lifting | ↑ Table of Contents ↑ | §2.3.(c) Typing >> |
§2.3.(b) Places of lifting
The lifting translation is not meant to be invoked by client code, but translations are inserted by the compiler at the following locations:
- Callout bindings (§3.3.(c)) (result)
- Callin bindings (§4.5.(a)) (call target and parameters)
- Declared lifting (§2.3.2)
<< §2.3.(a) Definition of lifting | ↑ Table of Contents ↑ | §2.3.(c) Typing >> |