From 1353c6502d5d6d90a5b39e84bf23f96c0296d0d6 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 1 Jul 2019 11:45:46 -0400 Subject: type-errors library --- doc/todo/use_ghc_8.0_custom_compile_errors.mdwn | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc') diff --git a/doc/todo/use_ghc_8.0_custom_compile_errors.mdwn b/doc/todo/use_ghc_8.0_custom_compile_errors.mdwn index 7eed443a..95f86143 100644 --- a/doc/todo/use_ghc_8.0_custom_compile_errors.mdwn +++ b/doc/todo/use_ghc_8.0_custom_compile_errors.mdwn @@ -24,4 +24,9 @@ Custom errors need a type class to be used. So, could do something like this: the `instance TypeError` can just be wrapped in an ifdef to make it only be used by the new ghc.) +> The new type-errors library builds a lot of stuff on top of this. +> Its ability to detect "stuckness" seems like it may be able to catch +> the very long type errors that we sometimes see when using propellor, and +> whittle them down to a more useful error. --[[Joey]] + [[!tag user/joey]] -- cgit v1.2.3