• Vladislav Zavialov's avatar
    Stop misusing EWildPat in pattern match coverage checking · 1959bad3
    Vladislav Zavialov authored
    EWildPat is a constructor of HsExpr used in the parser to represent
    wildcards in ambiguous positions:
    
    * in expression context, EWildPat is turned into hsHoleExpr (see rnExpr)
    * in pattern context, EWildPat is turned into WildPat (see checkPattern)
    
    Since EWildPat exists solely for the needs of the parser, we could
    remove it by improving the parser.
    
    However, EWildPat has also been used for a different purpose since
    8a506104: to represent patterns that the coverage checker cannot handle.
    Not only this is a misuse of EWildPat, it also stymies the removal of
    EWildPat.
    1959bad3
Name
Last commit
Last update
..
backpack Loading commit data...
basicTypes Loading commit data...
cbits Loading commit data...
cmm Loading commit data...
codeGen Loading commit data...
coreSyn Loading commit data...
deSugar Loading commit data...
ghci Loading commit data...
hieFile Loading commit data...
hsSyn Loading commit data...
iface Loading commit data...
llvmGen Loading commit data...
main Loading commit data...
nativeGen Loading commit data...
parser Loading commit data...
prelude Loading commit data...
profiling Loading commit data...
rename Loading commit data...
simplCore Loading commit data...
simplStg Loading commit data...
specialise Loading commit data...
stgSyn Loading commit data...
stranal Loading commit data...
typecheck Loading commit data...
types Loading commit data...
utils Loading commit data...
HsVersions.h Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
Unique.h Loading commit data...
ghc.cabal.in Loading commit data...
ghc.mk Loading commit data...