projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1e824a) | patch
Refine incomplete-pattern checks (Trac #4905)
authorsimonpj@microsoft.com <unknown>
Thu, 27 Jan 2011 13:13:04 +0000 (13:13 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 27 Jan 2011 13:13:04 +0000 (13:13 +0000)
commita0f6d307b097bd788e181434a4d9b7fdd56a6c6b
treeebcc56d2891e6887dfad9e30f4a9c0db59bd53detree | snapshot
parentc1e824a275339da8fae6614f5a0db751874d0a36commit | diff
Refine incomplete-pattern checks (Trac #4905)

The changes are:

* New flag -fwarn-incomplete-uni-patterns, which checks for
  incomplete patterns in (a) lambdas, (b) pattern bindings

* New flag is not implied by -W or -Wall (too noisy; and many
  libraries use incomplete pattern bindings)

* Actually do the incomplete-pattern check for pattern bindings
  (previously simply omitted)

* Documentation for new flag
compiler/deSugar/DsGRHSs.lhs diff | blob | history
compiler/deSugar/Match.lhs diff | blob | history
compiler/hsSyn/HsExpr.lhs diff | blob | history
compiler/main/DynFlags.hs diff | blob | history
docs/users_guide/flags.xml diff | blob | history
docs/users_guide/using.xml diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)