diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2019-01-30 16:20:52 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-08 11:00:22 -0500 |
| commit | cbfc9fcaa33c3b341830962906543dfca1dfedd7 (patch) | |
| tree | 919cbe496d074362c410a400f4d75703e306fcd3 /compiler/deSugar | |
| parent | be15f7457b98fa0378de7e8146c122757f03c4e9 (diff) | |
| download | haskell-cbfc9fcaa33c3b341830962906543dfca1dfedd7.tar.gz | |
API Annotations: AnnAt disconnected for TYPEAPP
For the code
type family F1 (a :: k) (f :: k -> Type) :: Type where
F1 @Peano a f = T @Peano f a
the API annotation for the first @ is not attached to a SourceSpan in
the ParsedSource
Closes #16236
Diffstat (limited to 'compiler/deSugar')
| -rw-r--r-- | compiler/deSugar/DsMeta.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/deSugar/DsMeta.hs b/compiler/deSugar/DsMeta.hs index 02b6cbc21e..a8a4fb6b40 100644 --- a/compiler/deSugar/DsMeta.hs +++ b/compiler/deSugar/DsMeta.hs @@ -596,9 +596,9 @@ repTyArgs f [] = f repTyArgs f (HsValArg ty : as) = do { f' <- f ; ty' <- repLTy ty ; repTyArgs (repTapp f' ty') as } -repTyArgs f (HsTypeArg ki : as) = do { f' <- f - ; ki' <- repLTy ki - ; repTyArgs (repTappKind f' ki') as } +repTyArgs f (HsTypeArg _ ki : as) = do { f' <- f + ; ki' <- repLTy ki + ; repTyArgs (repTappKind f' ki') as } repTyArgs f (HsArgPar _ : as) = repTyArgs f as repDataFamInstD :: DataFamInstDecl GhcRn -> DsM (Core TH.DecQ) |