Searched refs:GenericNonFatalError (Results 1 – 5 of 5) sorted by relevance
90 genericNonFatalError = warning . GenericNonFatalError
182 GenericNonFatalError d -> return d
41 GenericNonFatalError a -> __IMPOSSIBLE__
439 GenericNonFatalError{} -> errorWarningHighlighting w
3295 | GenericNonFatalError Doc constructor3392 GenericNonFatalError{} -> GenericNonFatalError_