diff options
| author | Iavor S. Diatchki <iavor.diatchki@gmail.com> | 2017-01-30 11:57:35 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-01-30 14:00:23 -0500 |
| commit | 559357384e300355b62edb3d60dcc3fadb942a50 (patch) | |
| tree | 506c8197833ccf8cd816ae3c368acdc6c1e816e1 /docs | |
| parent | 91691117fc194c525f58ccd5b266dd1d10493e5a (diff) | |
| download | haskell-559357384e300355b62edb3d60dcc3fadb942a50.tar.gz | |
Fixes bug #11046
For some time now, type-level operators such as '+' have been treated as
type constructors, rahter than type variables. This pathc fixes TH's
`lookupName` function to account for this behavior.
Reviewers: bgamari, austin, goldfire, RyanGlScott
Reviewed By: RyanGlScott
Subscribers: Phyx, thomie
Differential Revision: https://phabricator.haskell.org/D3025
GHC Trac Issues: #11046
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.2.1-notes.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst index ae156cb110..9a38299739 100644 --- a/docs/users_guide/8.2.1-notes.rst +++ b/docs/users_guide/8.2.1-notes.rst @@ -193,6 +193,9 @@ Template Haskell type variables ``a`` and ``k`` as implicitly quantified. (:ghc-ticket:`13018` and :ghc-ticket:`13123`) +- Looking up type constructors with symbol names (e.g., ``+``) now works + as expected (:ghc-ticket:`11046`) + Runtime system ~~~~~~~~~~~~~~ |