isDataTyCon should be False for all type families, even data type families
authorsimonpj@microsoft.com <unknown>
Fri, 4 May 2007 11:03:01 +0000 (11:03 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 4 May 2007 11:03:01 +0000 (11:03 +0000)
commit71d2bf9206b94d45570dc20de1a5ded12d493708
treeae67913c16fe19e4cfb32d7eabb02344548de130
parent59a4ad63f93f4fd7b8ede74bb2ea36778fe25e06
isDataTyCon should be False for all type families, even data type families

isDataTyCon advertises that it's true of "data types that are
definitely represented by heap-allocated constructors.  These are
srcutinised by Core-level @case@ expressions, and they get info tables
allocated for them."

Type-family TyCons never have this property, not even data type families.
It's the *instance* TyCons that do.

I hope that this change does not break anything that somehow relied
on the old (wrong) semantics.
compiler/typecheck/TcGadt.lhs
compiler/types/TyCon.lhs