diff options
Diffstat (limited to 'docs/users_guide/glasgow_exts.rst')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 67be116ae4..55562f863c 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -7921,6 +7921,9 @@ other hand, the two equations are compatible. Thus, GHC can ignore the first equation when looking at the second. So, ``G a`` will simplify to ``a``. +Incompatibilities between closed type family equations can be displayed +in :ghci-cmd:`:info` when :ghc-flag:`-fprint-axiom-incomps` is enabled. + However see :ref:`ghci-decls` for the overlap rules in GHCi. .. _type-family-decidability: |