X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FhsSyn%2FHsDecls.lhs;h=f780f12c740a4bbf70b8c54d796f69323025ee03;hb=fda89b29c748c6cd2fe1fdb477d5c0e8f7d32b90;hp=b738395b6ee6deb3c85a4d0e9831e0d2e4a0b887;hpb=5f34bb74bf3c7e051bce8ad343ac4bbbc11f62cd;p=ghc-hetmet.git diff --git a/ghc/compiler/hsSyn/HsDecls.lhs b/ghc/compiler/hsSyn/HsDecls.lhs index b738395..f780f12 100644 --- a/ghc/compiler/hsSyn/HsDecls.lhs +++ b/ghc/compiler/hsSyn/HsDecls.lhs @@ -25,7 +25,7 @@ import HsCore ( UfExpr ) import BasicTypes ( Fixity, NewOrData(..) ) -- others: -import Name --( getOccName, OccName ) +import Name ( getOccName, OccName, NamedThing(..) ) import Outputable ( interppSP, interpp'SP, PprStyle(..), Outputable(..){-instance * []-} ) @@ -378,11 +378,17 @@ instance (NamedThing name, Outputable name) => Outputable (IfaceSig name) where data HsIdInfo name = HsArity ArityInfo - | HsStrictness (StrictnessInfo name) + | HsStrictness (HsStrictnessInfo name) | HsUnfold Bool (UfExpr name) -- True <=> INLINE pragma | HsUpdate UpdateInfo | HsDeforest DeforestInfo | HsArgUsage ArgUsageInfo | HsFBType FBTypeInfo -- ToDo: specialisations + +data HsStrictnessInfo name + = HsStrictnessInfo [Demand] + (Maybe (name, [name])) -- Worker, if any + -- and needed constructors + | HsBottom \end{code}