TerminationIssue (reference) in projects: dports

Searched refs:TerminationIssue (Results 1 – 6 of 6) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Pretty/
H A D	Warning.hs	`77 TerminationIssue because -> do`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A D	Errors.hs	`29 TerminationIssue a -> __IMPOSSIBLE__`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A D	Generate.hs	`401 TerminationIssue terrs -> terminationErrorHighlighting terrs`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A D	Decl.hs	`429 warning $ TerminationIssue termErrs`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A D	BasicOps.hs	`185 unless (null terErrs) $ warning $ TerminationIssue terErrs`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A D	Base.hs	`3237 \| TerminationIssue [TerminationError] constructor 3413 TerminationIssue{} -> TerminationIssue_`