diff options
Diffstat (limited to 'docs/users_guide/8.8.1-notes.rst')
-rw-r--r-- | docs/users_guide/8.8.1-notes.rst | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/users_guide/8.8.1-notes.rst b/docs/users_guide/8.8.1-notes.rst index 0a095f02f2..da236f923d 100644 --- a/docs/users_guide/8.8.1-notes.rst +++ b/docs/users_guide/8.8.1-notes.rst @@ -52,6 +52,21 @@ Runtime system Template Haskell ~~~~~~~~~~~~~~~~ +- Reifying type classes no longer shows redundant class type variables and + contexts in the type signature of each class method. For instance, + reifying the following class: :: + + class C a where + method :: a + + Used to produce the following: :: + + class C a where + method :: forall a. C a => a + + Where the ``forall a. C a =>`` part is entirely redundant. This part is no + longer included when reifying ``C``. It's possible that this may break some + code which assumes the existence of ``forall a. C a =>``. ``ghc-prim`` library ~~~~~~~~~~~~~~~~~~~~ |