[GHC] #10309: ApiAnnotations : mkGadtDecl discards annotations for HsFunTy
GHC
ghc-devs at haskell.org
Wed Apr 15 18:38:38 UTC 2015
#10309: ApiAnnotations : mkGadtDecl discards annotations for HsFunTy
-------------------------------------+-------------------------------------
Reporter: alanz | Owner: alanz
Type: bug | Status: new
Priority: normal | Milestone: 7.10.2
Component: Compiler | Version: 7.10.1
(Parser) | Keywords:
Resolution: | ApiAnnotations
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by alanz):
This occurs for the `HsFunTy` which loses its SrcSpan. The only annotation
at this level is an `AnnRarrow`.
{{{
| btype '->' ctype {% ams (sLL $1 $> $ HsFunTy $1 $3)
[mj AnnRarrow $2] }
}}}
One potential solution is the keep the annotation where it is, but also
add it to `$1`, which will then only be used in tooling for the GADT case.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10309#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list