• Ryan Scott's avatar
    Overhaul -fprint-explicit-kinds to use VKA · f5d20838
    Ryan Scott authored
    This patch changes the behavior of `-fprint-explicit-kinds`
    so that it displays kind argument using visible kind application.
    In other words, the flag now:
    
    1. Prints instantiations of specified variables with `@(...)`.
    2. Prints instantiations of inferred variables with `@{...}`.
    
    In addition, this patch removes the `Use -fprint-explicit-kinds to
    see the kind arguments` error message that often arises when a type
    mismatch occurs due to different kinds. Instead, whenever there is a
    kind mismatch, we now enable the `-fprint-explicit-kinds` flag
    locally to help cue to the programmer where the error lies.
    (See `Note [Kind arguments in error messages]` in `TcErrors`.)
    As a result, these funny `@{...}` things can now appear to the user
    even without turning on the `-fprint-explicit-kinds` flag explicitly,
    so I took the liberty of documenting them in the users' guide.
    
    Test Plan: ./validate
    
    Reviewers: goldfire, simonpj, bgamari
    
    Reviewed By: simonpj
    
    Subscribers: rwbarton, carter
    
    GHC Trac Issues: #15871
    
    Differential Revision: https://phabricator.haskell.org/D5314
    f5d20838
Name
Last commit
Last update
..
GEnum Loading commit data...
GEq Loading commit data...
GFunctor Loading commit data...
GMap Loading commit data...
GShow Loading commit data...
T10604 Loading commit data...
Uniplate Loading commit data...
GFullyStrict.hs Loading commit data...
GFullyStrict.stdout Loading commit data...
GenCanDoRep0.hs Loading commit data...
GenCanDoRep1.hs Loading commit data...
GenCannotDoRep0_0.hs Loading commit data...
GenCannotDoRep0_0.stderr Loading commit data...
GenCannotDoRep0_1.hs Loading commit data...
GenCannotDoRep0_1.stderr Loading commit data...
GenCannotDoRep0_2.hs Loading commit data...
GenCannotDoRep0_2.stderr Loading commit data...
GenCannotDoRep1_0.hs Loading commit data...
GenCannotDoRep1_0.stderr Loading commit data...
GenCannotDoRep1_1.hs Loading commit data...
GenCannotDoRep1_1.stderr Loading commit data...
GenCannotDoRep1_2.hs Loading commit data...
GenCannotDoRep1_2.stderr Loading commit data...
GenCannotDoRep1_3.hs Loading commit data...
GenCannotDoRep1_3.stderr Loading commit data...
GenCannotDoRep1_4.hs Loading commit data...
GenCannotDoRep1_4.stderr Loading commit data...
GenCannotDoRep1_6.hs Loading commit data...
GenCannotDoRep1_6.stderr Loading commit data...
GenCannotDoRep1_7.hs Loading commit data...
GenCannotDoRep1_7.stderr Loading commit data...
GenCannotDoRep1_8.hs Loading commit data...
GenCannotDoRep1_8.stderr Loading commit data...
GenDeprecated.stderr Loading commit data...
GenDerivOutput.hs Loading commit data...
GenDerivOutput.stderr Loading commit data...
GenDerivOutput1_0.hs Loading commit data...
GenDerivOutput1_0.stderr Loading commit data...
GenDerivOutput1_1.hs Loading commit data...
GenDerivOutput1_1.stderr Loading commit data...
GenNewtype.hs Loading commit data...
GenNewtype.stdout Loading commit data...
GenShouldFail0.hs Loading commit data...
GenShouldFail0.stderr Loading commit data...
GenShouldFail1_0.hs Loading commit data...
GenShouldFail1_0.stderr Loading commit data...
Makefile Loading commit data...
T10030.hs Loading commit data...
T10030.stdout Loading commit data...
T10361a.hs Loading commit data...
T10361b.hs Loading commit data...
T11358.hs Loading commit data...
T11358.stdout Loading commit data...
T12220.hs Loading commit data...
T15012.hs Loading commit data...
T15012a.hs Loading commit data...
T5462No1.hs Loading commit data...
T5462No1.stderr Loading commit data...
T5462Yes1.hs Loading commit data...
T5462Yes1.stdout Loading commit data...
T5462Yes2.hs Loading commit data...
T5462Yes2.stdout Loading commit data...
T5884.hs Loading commit data...
T5884Other.hs Loading commit data...
T7878.hs Loading commit data...
T7878A.hs Loading commit data...
T7878A.hs-boot Loading commit data...
T7878B.hs Loading commit data...
T8468.hs Loading commit data...
T8468.stderr Loading commit data...
T8479.hs Loading commit data...
T9563.hs Loading commit data...
all.T Loading commit data...