diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2015-05-11 09:34:27 +0200 |
---|---|---|
committer | Alan Zimmerman <alan.zimm@gmail.com> | 2015-05-11 09:34:27 +0200 |
commit | 811b72adedcd12149783eac19ebccff1dd72bc1c (patch) | |
tree | 2c9a959649ff7d927ea5602384ccdef6f325d21c /testsuite/tests/ghc-api/annotations/all.T | |
parent | 5c459eefcb17ff97beebdc08ccfca21bd8fa5201 (diff) | |
download | haskell-811b72adedcd12149783eac19ebccff1dd72bc1c.tar.gz |
Api Annotations: RdrHsSyn.mkAtDefault causes annotations to be disconnected.
Summary:
The code for mkAtDefault is as follows.
mkATDefault (L loc (TyFamInstDecl { tfid_eqn = L _ e }))
| TyFamEqn { tfe_tycon = tc, tfe_pats = pats, tfe_rhs = rhs } <- e
= do { tvs <- checkTyVars (ptext (sLit "default")) equalsDots tc (hswb_cts pats)
; return (L loc (TyFamEqn { tfe_tycon = tc
, tfe_pats = tvs
, tfe_rhs = rhs })) }
An associated type in a class of the form
type FoldableConstraint t x = ()
has an AnnEqual attached to the location in tfid_eqn. Since the location
is discarded, this annotation is then disconnected from the AST.
Test Plan: ./validate
Reviewers: hvr, austin
Reviewed By: austin
Subscribers: bgamari, thomie, mpickering
Differential Revision: https://phabricator.haskell.org/D842
GHC Trac Issues: #10307
Diffstat (limited to 'testsuite/tests/ghc-api/annotations/all.T')
-rw-r--r-- | testsuite/tests/ghc-api/annotations/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/ghc-api/annotations/all.T b/testsuite/tests/ghc-api/annotations/all.T index b537bcd617..3e145b946b 100644 --- a/testsuite/tests/ghc-api/annotations/all.T +++ b/testsuite/tests/ghc-api/annotations/all.T @@ -8,3 +8,4 @@ test('T10268', normal, run_command, ['$MAKE -s --no-print-directory T10268' test('T10269', normal, run_command, ['$MAKE -s --no-print-directory T10269']) test('T10280', normal, run_command, ['$MAKE -s --no-print-directory T10280']) test('T10312', normal, run_command, ['$MAKE -s --no-print-directory t10312']) +test('T10307', normal, run_command, ['$MAKE -s --no-print-directory t10307']) |