diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-06-30 09:52:16 +0200 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-06-30 09:52:16 +0200 |
| commit | d5c6fd6c8525477f869d62d5c71945672b46ee56 (patch) | |
| tree | e80f73133a6a8069e874081a10428abca1b962a5 /docs/users_guide | |
| parent | b7f9b6a7c800da98d5ba17c45df2a589cc999975 (diff) | |
| download | haskell-d5c6fd6c8525477f869d62d5c71945672b46ee56.tar.gz | |
Document #8883 in the release notes
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/7.10.1-notes.xml | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/docs/users_guide/7.10.1-notes.xml b/docs/users_guide/7.10.1-notes.xml index b45721cd7b..6d9b9378a1 100644 --- a/docs/users_guide/7.10.1-notes.xml +++ b/docs/users_guide/7.10.1-notes.xml @@ -42,7 +42,20 @@ <itemizedlist> <listitem> <para> - TODO FIXME + GHC now checks that all the language extensions required for + the inferred type signatures are explicitly enabled. This + means that if any of the type signatures inferred in your + program requires some language extension you will need to + enable it. The motivation is that adding a missing type + signature inferred by GHC should yield a program that + typechecks. Previously this was not the case. + </para> + <para> + This is a breaking change. Code that used to compile in the + past might fail with an error message requiring some + particular language extension (most likely + <option>-XTypeFamilies</option>, <option>-XGADTs</option> or + <option>-XFlexibleContexts</option>). </para> </listitem> </itemizedlist> |