From ec5e7b179059593d5c135ea29b3572451c0d2924 Mon Sep 17 00:00:00 2001
From: Richard Eisenberg <eir@cis.upenn.edu>
Date: Tue, 17 Mar 2015 10:57:53 -0500
Subject: [PATCH] Update release notes about better solver, with known bugs.
Release notes in reaction to hvr's comment:26 on #10079.
Reviewed By: austin
Differential Revision: https://phabricator.haskell.org/D735
---
docs/users_guide/7.10.1-notes.xml | 29 +++++++++++++++++++++++++++--
1 file changed, 27 insertions(+), 2 deletions(-)
diff --git a/docs/users_guide/7.10.1-notes.xml b/docs/users_guide/7.10.1-notes.xml
index 1bb5a5ad667f..df7359e189de 100644
--- a/docs/users_guide/7.10.1-notes.xml
+++ b/docs/users_guide/7.10.1-notes.xml
@@ -193,7 +193,16 @@
<option>-XTypeFamilies</option>, <option>-XGADTs</option> or
<option>-XFlexibleContexts</option>).
</para>
- </listitem>
+ </listitem>
+ <listitem>
+ <para>
+ The solvers for both type family reductions and
+ <literal>Coercible</literal> instances have been improved.
+ This should lead to faster compilation of type-family-heavy
+ code and more <literal>Coercible</literal> instances to be
+ found. However, some bugs remain: see 'Known Bugs' below.
+ </para>
+ </listitem>
<listitem>
<para>
<option>-fwarn-tabs</option> warning flag is turned on by
@@ -886,7 +895,23 @@ echo "[]" > package.conf
GHCi fails to appropriately load
<literal>.dyn_o</literal> files (issue #8736).
</para>
- </listitem>
+ </listitem>
+ <listitem>
+ <para>
+ Not all cases of non-terminating type-level computation (with both
+ recursive type families and recursive newtypes) are caught. This
+ means that GHC might hang, but it should do so only when the program
+ is ill-typed (due to non-terminating type-level features). The bugs
+ are reported as <ulink
+ href="https://ghc.haskell.org/trac/ghc/ticket/7788">#7788</ulink>
+ and <ulink
+ href="https://ghc.haskell.org/trac/ghc/ticket/10139">#10139</ulink>.
+ There also remain certain obscure scenarios where the solver for
+ <literal>Coercible</literal> instances is known to be still
+ incomplete. See comments in <ulink
+ href="https://ghc.haskell.org/trac/ghc/ticket/10079">#10079</ulink>.
+ </para>
+ </listitem>
</itemizedlist>
</sect2>
</sect1>
--
GitLab