#10399: ApiAnnotations tweaks -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | ApiAnnotations Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Description changed by alanz: Old description:
A collection of minor updates for the API Annotations.
1. The annotations for the RdrNames `(+)` and `(-)` are disconnected in the following
{{{#!hs import GHC.TypeLits (KnownNat, type (+), type (-)) }}}
New description: A collection of minor updates for the API Annotations. 1. The annotations for the implicity parameter is disconnected in the following {{{#!hs type MPI = ?mpi_secret :: MPISecret }}} 2. In the following, the annotation for one of the commas is disconeected. {{{#!hs mkPoli = mkBila . map ((,,(),,()) <$> P.base <*> P.pos <*> P.form) }}} 3. In the following, the annotation for the parens becomes disconnected {{{#!hs data MaybeDefault v where SetTo :: forall v . ( Eq v, Show v ) => !v -> MaybeDefault v }}} -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10399#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler