[GHC] #10399: ApiAnnotations tweaks
#10399: ApiAnnotations tweaks -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple ApiAnnotations | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- 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 (-)) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10399> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#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
#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 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 }}}
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 SetTo4 :: forall v a. (( Eq v, Show v ) => v -> MaybeDefault v -> a -> MaybeDefault [a]) }}} -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10399#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10399: ApiAnnotations tweaks -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: patch 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: Phab:D901 -------------------------------------+------------------------------------- Changes (by alanz): * status: new => patch * differential: => Phab:D901 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10399#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10399: ApiAnnotations tweaks -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: patch 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: Phab:D901 -------------------------------------+------------------------------------- Comment (by Alan Zimmerman <alan.zimm@…>): In [changeset:"c5911479f295242e16e396eb5d1369f2e4ce8de0/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="c5911479f295242e16e396eb5d1369f2e4ce8de0" ApiAnnotations tweaks Summary: A collection of minor updates for the API Annotations. 1. The annotations for the implicity parameter is disconnected in the following type MPI = ?mpi_secret :: MPISecret 2. In the following, the annotation for one of the commas is disconeected. mkPoli = mkBila . map ((,,(),,()) <$> P.base <*> P.pos <*> P.form) 3. In the following, the annotation for the parens becomes disconnected data MaybeDefault v where SetTo :: forall v . ( Eq v, Show v ) => !v -> MaybeDefault v SetTo4 :: forall v a. (( Eq v, Show v ) => v -> MaybeDefault v -> a -> MaybeDefault [a]) Test Plan: ./validate Reviewers: hvr, austin Reviewed By: austin Subscribers: bgamari, thomie, mpickering Differential Revision: https://phabricator.haskell.org/D901 GHC Trac Issues: #10399 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10399#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10399: ApiAnnotations tweaks -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: merge 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: Phab:D901 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: patch => merge -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10399#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10399: ApiAnnotations tweaks -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: closed Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | ApiAnnotations Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: | Test Case: | Blocking: | Differential Revisions: Phab:D901 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: merge => closed * resolution: => fixed Comment: Merged to `ghc-7.10`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10399#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC