From: sof Date: Mon, 26 May 1997 01:26:35 +0000 (+0000) Subject: [project @ 1997-05-26 01:26:35 by sof] X-Git-Tag: Approximately_1000_patches_recorded~568 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=9f46c94a95f78675d4bf19b5cacaa4b5b04cc89b;p=ghc-hetmet.git [project @ 1997-05-26 01:26:35 by sof] Use TyCon.isAlgTyCon --- diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs index 11482dd..8cbcf52 100644 --- a/ghc/compiler/typecheck/TcTyDecls.lhs +++ b/ghc/compiler/typecheck/TcTyDecls.lhs @@ -56,8 +56,8 @@ import Name ( nameSrcLoc, isLocallyDefined, getSrcLoc, ) import Outputable ( Outputable(..), interpp'SP ) import Pretty -import TyCon ( TyCon, NewOrData(..), mkSynTyCon, mkDataTyCon, isDataTyCon, - isNewTyCon, isSynTyCon, tyConDataCons +import TyCon ( TyCon, NewOrData, mkSynTyCon, mkDataTyCon, isAlgTyCon, + isSynTyCon, tyConDataCons ) import Type ( GenType, -- instances typeKind, getTyVar, tyVarsOfTypes, eqTy, splitSigmaTy, @@ -177,7 +177,7 @@ mkDataBinds (tycon : tycons) returnTc (ids1++ids2, b1 `ThenBinds` b2) mkDataBinds_one tycon - = ASSERT( isDataTyCon tycon || isNewTyCon tycon ) + = ASSERT( isAlgTyCon tycon ) mapTc checkConstructorContext data_cons `thenTc_` mapTc (mkRecordSelector tycon) groups `thenTc` \ sel_ids -> let