id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,testcase,blockedby,blocking,related,differential
4139,Spurious non-exhaustive pattern match warnings are given using GADTs,blarsen,,"When using slightly complicated GADTs, GHC gives me erroneous non-exhaustive pattern match warnings. I have attached an example. I have observed this behavior in the four versions of ghc that I tried (6.10.4, and 6.12.{1,2,3}).
",bug,new,normal,,Compiler,7.4.1,,"GADTs, warnings, pattern matching",eir@… hackage.haskell.org@…,Unknown/Multiple,Unknown/Multiple,Incorrect warning at compile-time,,,,#3927,