Fix Trac #2206: ensure the return type is rigid in a GADT match
authorsimonpj@microsoft.com <unknown>
Thu, 10 Apr 2008 11:15:14 +0000 (11:15 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 10 Apr 2008 11:15:14 +0000 (11:15 +0000)
commit9be2edb81a1d1563a580958c01c0d16094dc12d2
tree715f60a5792fb20f9d879841ebbfe8fc050a2934
parent459870b70715b066aadd6a9defc87fb1ffb45bf4
Fix Trac #2206: ensure the return type is rigid in a GADT match
compiler/typecheck/TcPat.lhs