Skip to content
  • Alan Zimmerman's avatar
    ApiAnnotations tweaks · c5911479
    Alan Zimmerman authored
    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
    c5911479