liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.UX.Errors

Contents

Description

This module contains the functions related to Error type, in particular, to tidyError using a solution, and pprint errors.

Synopsis

Cleanup an Error

tidyError :: FixSolution -> Error -> Error Source #