@@ -560,8 +560,8 @@ type UCs = (Int, [UConstraint])
561data NameType = Bound
561data NameType = Bound
563− | DCon {tag :: Int, arity :: Int} -- ^ Data constructor
563+ | DCon {nt_tag :: Int, nt_arity :: Int} -- ^ Data constructor
564− | TCon {tag :: Int, arity :: Int} -- ^ Type constructor
564+ | TCon {nt_tag :: Int, nt_arity :: Int} -- ^ Type constructor
565 deriving (Show, Ord)
565 deriving (Show, Ord)
567deriving instance Binary NameType
567deriving instance Binary NameType