X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FSaAbsInt.lhs;h=156f2ae1c170f0776c203261c1699d356cf75555;hb=0596517a9b4b2b32e5d375a986351102ac4540fc;hp=affcbfb142fbcd84c83f64ff2f3c4aeb789ceb5b;hpb=6c381e873e222417d9a67aeec77b9555eca7b7a8;p=ghc-hetmet.git diff --git a/ghc/compiler/stranal/SaAbsInt.lhs b/ghc/compiler/stranal/SaAbsInt.lhs index affcbfb..156f2ae 100644 --- a/ghc/compiler/stranal/SaAbsInt.lhs +++ b/ghc/compiler/stranal/SaAbsInt.lhs @@ -25,7 +25,7 @@ import PrelInfo ( PrimOp(..), floatTyCon, wordTyCon, addrTyCon, PrimRep ) -import Type ( isPrimType, maybeDataTyCon, +import Type ( isPrimType, maybeAppDataTyCon, maybeSingleConstructorTyCon, returnsRealWorld, isEnumerationTyCon, TyVarTemplate, TyCon @@ -833,7 +833,7 @@ findRecDemand strflags seen str_fn abs_fn ty else -- It's strict (or we're pretending it is)! - case maybeDataTyCon ty of + case maybeAppDataTyCon ty of Nothing -> wwStrict @@ -874,7 +874,7 @@ findRecDemand strflags seen str_fn abs_fn ty (all_strict, num_strict) = strflags is_numeric_type ty - = case (maybeDataTyCon ty) of -- NB: duplicates stuff done above + = case (maybeAppDataTyCon ty) of -- NB: duplicates stuff done above Nothing -> False Just (tycon, _, _) | tycon `is_elem`