| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Errors
Description
This module contains the functions related to Error type,
in particular, to tidyError using a solution, and pprint errors.
- tidyError :: FixSolution -> Error -> Error
- exitWithPanic :: String -> a
Documentation
tidyError :: FixSolution -> Error -> Error Source
exitWithPanic :: String -> a Source
Throw a panic exception