Re: [Haskell-cafe] Ensuring all values of an ADT are explicitly handled OR finding all occurrences of type X in my app

There is a proposal about that https://github.com/ghc- proposals/ghc-proposals/pull/43

Thanks for the link. Added my 2 cents there: https://github.com/ghc-proposals/ghc-proposals/pull/43#issuecomment-27628340... While this is being considered for inclusion in core GHC, can a linter help, in the meantime? -- Saurabh.