| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Conformance.NodeRejection
Description
Bounded node diagnostics retain failure constructors and CEK causes. Script binaries, serialized contexts and cost models are not explanations. Attribution still uses the original node text; this module only renders it.
Synopsis
- boundedNodeReason :: Int -> Text -> Text
Documentation
boundedNodeReason :: Int -> Text -> Text Source #
Select the failure path and each machine error before applying the bound. Both literal and Show-escaped newlines occur in node/evaluator diagnostics. Trace lines take priority over the machine's generic explanatory prose.