summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJoey Hess2019-07-01 11:45:46 -0400
committerJoey Hess2019-07-01 11:45:46 -0400
commit1353c6502d5d6d90a5b39e84bf23f96c0296d0d6 (patch)
treec171df77856079284429254dba3e201aabe8789c /doc
parentd36e553edc5d456362c49c7eb865f618d41308ce (diff)
type-errors library
Diffstat (limited to 'doc')
-rw-r--r--doc/todo/use_ghc_8.0_custom_compile_errors.mdwn5
1 files changed, 5 insertions, 0 deletions
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]]