diff options
Diffstat (limited to 'src/Inky/Term/Pretty/Error.idr')
| -rw-r--r-- | src/Inky/Term/Pretty/Error.idr | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Inky/Term/Pretty/Error.idr b/src/Inky/Term/Pretty/Error.idr index bb19b2f..651d208 100644 --- a/src/Inky/Term/Pretty/Error.idr +++ b/src/Inky/Term/Pretty/Error.idr @@ -5,9 +5,10 @@ import Data.Singleton import Data.String import Data.These -import Inky.Decidable.Maybe +import Flap.Decidable.Maybe + import Inky.Term -import Inky.Term.Checks +import Inky.Term.Recompute import Inky.Type.Pretty import Text.PrettyPrint.Prettyprinter |