diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2015-11-01 11:13:21 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-01 13:42:40 +0100 |
| commit | f16827f84855bef94b1b69f49bd1734627946f02 (patch) | |
| tree | 59c729d03232f723d7b2908bb117f5eb04e3e4df /compiler/rename/RnBinds.hs | |
| parent | 84bf1ebae75bff6c1e37382bc348850d17f3f2c0 (diff) | |
| download | haskell-f16827f84855bef94b1b69f49bd1734627946f02.tar.gz | |
ApiAnnotations: BooleanFormula is not properly Located
At the moment BooleanFormula is defined as
data BooleanFormula a = Var a | And [BooleanFormula a]
| Or [BooleanFormula a]
deriving (Eq, Data, Typeable, Functor, Foldable, Traversable)
An API Annotation can only be attached to an item of the form Located a.
Replace this with a properly Located version, and attach the appropriate
API Annotations to it
Updates haddock submodule.
Test Plan: ./validate
Reviewers: austin, bgamari
Reviewed By: bgamari
Subscribers: thomie, mpickering
Differential Revision: https://phabricator.haskell.org/D1384
GHC Trac Issues: #11017
Diffstat (limited to 'compiler/rename/RnBinds.hs')
| -rw-r--r-- | compiler/rename/RnBinds.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rename/RnBinds.hs b/compiler/rename/RnBinds.hs index 1a24c11893..159ed8bc1c 100644 --- a/compiler/rename/RnBinds.hs +++ b/compiler/rename/RnBinds.hs @@ -935,9 +935,9 @@ renameSig ctxt sig@(FixSig (FixitySig vs f)) = do { new_vs <- mapM (lookupSigOccRn ctxt sig) vs ; return (FixSig (FixitySig new_vs f), emptyFVs) } -renameSig ctxt sig@(MinimalSig s bf) +renameSig ctxt sig@(MinimalSig s (L l bf)) = do new_bf <- traverse (lookupSigOccRn ctxt sig) bf - return (MinimalSig s new_bf, emptyFVs) + return (MinimalSig s (L l new_bf), emptyFVs) renameSig ctxt sig@(PatSynSig v (flag, qtvs) req prov ty) = do { v' <- lookupSigOccRn ctxt sig v |