id,summary,owner,type,priority,component,version
4139,Spurious non-exhaustive pattern match warnings are given using GADTs,,bug,normal,Compiler,7.4.1