X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FstgSyn%2FStgLint.lhs;h=b97ef11d10d79f0822ec036596487138761ec088;hb=0596517a9b4b2b32e5d375a986351102ac4540fc;hp=29faa874ce054acc8c15cea347fc3ce296d37ded;hpb=6c381e873e222417d9a67aeec77b9555eca7b7a8;p=ghc-hetmet.git diff --git a/ghc/compiler/stgSyn/StgLint.lhs b/ghc/compiler/stgSyn/StgLint.lhs index 29faa87..b97ef11 100644 --- a/ghc/compiler/stgSyn/StgLint.lhs +++ b/ghc/compiler/stgSyn/StgLint.lhs @@ -172,7 +172,7 @@ lintStgExpr e@(StgCase scrut _ _ _ alts) = lintStgExpr scrut `thenMaybeL` \ _ -> -- Check that it is a data type - case maybeDataTyCon scrut_ty of + case maybeAppDataTyCon scrut_ty of Nothing -> addErrL (mkCaseDataConMsg e) `thenL_` returnL Nothing Just (tycon, _, _) @@ -218,7 +218,7 @@ lintStgAlts alts scrut_ty case_tycon Just _ -> returnL () -- that's cool lintAlgAlt scrut_ty (con, args, _, rhs) - = (case maybeDataTyCon scrut_ty of + = (case maybeAppDataTyCon scrut_ty of Nothing -> addErrL (mkAlgAltMsg1 scrut_ty) Just (tycon, tys_applied, cons) ->