Function
formatRefinementKind
(kind: Refinement["kind"])
Source from the content-addressed store, hash-verified
| 1780 | } |
| 1781 | |
| 1782 | const formatRefinementKind = (kind: Refinement["kind"]): string => { |
| 1783 | switch (kind) { |
| 1784 | case "From": |
| 1785 | return "From side refinement failure" |
| 1786 | case "Predicate": |
| 1787 | return "Predicate refinement failure" |
| 1788 | } |
| 1789 | } |
| 1790 | |
| 1791 | const getAnnotated = (issue: ParseIssue): Option.Option<AST.Annotated> => |
| 1792 | "ast" in issue ? Option.some(issue.ast) : Option.none() |
Tested by
no test coverage detected