diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-07-21 19:24:14 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-07-21 14:47:07 -0400 |
| commit | 05910be1ac5c1f485132d2c8bd1ceb4f86e06db5 (patch) | |
| tree | a51510a7996f6a5f134d10d422866a6277122b68 | |
| parent | 863c544c9849e49872acac64b8faea56a3311564 (diff) | |
| download | haskell-05910be1ac5c1f485132d2c8bd1ceb4f86e06db5.tar.gz | |
Add release notes entry for #17816
[skip ci]
| -rw-r--r-- | docs/users_guide/8.12.1-notes.rst | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/users_guide/8.12.1-notes.rst b/docs/users_guide/8.12.1-notes.rst index b7f0444d69..d393c6a381 100644 --- a/docs/users_guide/8.12.1-notes.rst +++ b/docs/users_guide/8.12.1-notes.rst @@ -68,6 +68,17 @@ Highlights - For now GHC still doesn't allow dynamic selection of the ghc-bignum backend to use. +* Breaking change: Template Haskell splices now act as separation points + between constraint solving passes. It is no longer possible to use + an instance of a class before a splice and define that instance after a splice. + For example, this code now reports a missing instance for ``C Bool``: :: + + class C a where foo :: a + bar :: Bool + bar = foo + $(return []) + instance C Bool where foo = True + Full details ------------ |