Safe Haskell | None |
---|---|
Language | Haskell2010 |
STG error transitions, in order to provide useful information to the user.
- updatableClosureWithArgs :: StgState -> Maybe StgState
- returnWithEmptyReturnStack :: StgState -> Maybe StgState
- functionArgumentNotInScope :: StgState -> Maybe StgState
- constructorArgumentNotInScope :: StgState -> Maybe StgState
- primopArgumentNotInScope :: StgState -> Maybe StgState
- algReturnToPrimAlts :: StgState -> Maybe StgState
- primReturnToAlgAlts :: StgState -> Maybe StgState
- enterBlackhole :: StgState -> Maybe StgState
- updateClosureWithPrimitive :: StgState -> Maybe StgState
- nonAlgPrimScrutinee :: StgState -> Maybe StgState
- divisionByZero :: StgState -> Maybe StgState
- badConArity :: StgState -> Maybe StgState
Documentation
updatableClosureWithArgs :: StgState -> Maybe StgState Source #
Page 39, 2nd paragraph: "[...] closures with non-empty argument lists are never updatable [...]"
returnWithEmptyReturnStack :: StgState -> Maybe StgState Source #
Page 39, 4th paragraph: "It is not possible for the ReturnInt state to see an empty return stack, because that would imply that a closure should be updated with a primitive value; but no closure has a primitive type."
functionArgumentNotInScope :: StgState -> Maybe StgState Source #
A function was applied to an argument that was neither globally defined nor in the local environment
constructorArgumentNotInScope :: StgState -> Maybe StgState Source #
A constructor was applied to an argument that was neither globally defined nor in the local environment
primopArgumentNotInScope :: StgState -> Maybe StgState Source #
A primitive operation was applied to an argument that was neither globally defined nor in the local environment
algReturnToPrimAlts :: StgState -> Maybe StgState Source #
Algebraic constructor return, but primitive alternative on return frame
primReturnToAlgAlts :: StgState -> Maybe StgState Source #
Primitive return, but algebraic alternative on return frame
enterBlackhole :: StgState -> Maybe StgState Source #
A black hole was entered, and the infinite recursion detection triggered as a result
updateClosureWithPrimitive :: StgState -> Maybe StgState Source #
Closures are always lifted, not primitive