• Alan Zimmerman's avatar
    ApiAnnotations tweaks · c5911479
    Alan Zimmerman authored
    A collection of minor updates for the API Annotations.
    1. The annotations for the implicity parameter is disconnected in the
        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
HsTypes.hs 37.6 KB