continuation, any
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Continuations, Control Structures
Exit the continuation and answer the specified value to the continuation's caller. Execution proceeds as though the continuation had just returned from its current function with the supplied value. The current continuation (in which this primitive was invoked) is completely replaced by the specified continuation's resumed caller.
Position | Name | Type | Description | |
---|---|---|---|---|
Parameters | ||||
1 | aContinuation | continuation | The continuation to exit. | |
2 | value | any | The value with which to exit aContinuation. | |
Returns | ⊥ | Raises | ||
continuation-expected-stronger-type exception |