{-# LANGUAGE CPP #-}
module CoreTidy (
tidyExpr, tidyRules, tidyUnfolding
) where
#include "HsVersions.h"
import GhcPrelude
import CoreSyn
import CoreSeq ( seqUnfolding )
import Id
import IdInfo
import Demand ( zapUsageEnvSig )
import Type( tidyType, tidyVarBndr )
import Coercion( tidyCo )
import Var
import VarEnv
import UniqFM
import Name hiding (tidyNameOcc)
import SrcLoc
import Maybes
import Data.List
tidyBind :: TidyEnv
-> CoreBind
-> (TidyEnv, CoreBind)
tidyBind :: TidyEnv -> CoreBind -> (TidyEnv, CoreBind)
tidyBind TidyEnv
env (NonRec CoreBndr
bndr Expr CoreBndr
rhs)
= TidyEnv -> TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyLetBndr TidyEnv
env TidyEnv
env CoreBndr
bndr (TidyEnv, CoreBndr)
-> ((TidyEnv, CoreBndr) -> (TidyEnv, CoreBind))
-> (TidyEnv, CoreBind)
forall a b. a -> (a -> b) -> b
=: \ (TidyEnv
env', CoreBndr
bndr') ->
(TidyEnv
env', CoreBndr -> Expr CoreBndr -> CoreBind
forall b. b -> Expr b -> Bind b
NonRec CoreBndr
bndr' (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env' Expr CoreBndr
rhs))
tidyBind TidyEnv
env (Rec [(CoreBndr, Expr CoreBndr)]
prs)
= let
([CoreBndr]
bndrs, [Expr CoreBndr]
rhss) = [(CoreBndr, Expr CoreBndr)] -> ([CoreBndr], [Expr CoreBndr])
forall a b. [(a, b)] -> ([a], [b])
unzip [(CoreBndr, Expr CoreBndr)]
prs
(TidyEnv
env', [CoreBndr]
bndrs') = (TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr))
-> TidyEnv -> [CoreBndr] -> (TidyEnv, [CoreBndr])
forall (t :: * -> *) a b c.
Traversable t =>
(a -> b -> (a, c)) -> a -> t b -> (a, t c)
mapAccumL (TidyEnv -> TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyLetBndr TidyEnv
env') TidyEnv
env [CoreBndr]
bndrs
in
(Expr CoreBndr -> Expr CoreBndr)
-> [Expr CoreBndr] -> [Expr CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env') [Expr CoreBndr]
rhss [Expr CoreBndr]
-> ([Expr CoreBndr] -> (TidyEnv, CoreBind)) -> (TidyEnv, CoreBind)
forall a b. a -> (a -> b) -> b
=: \ [Expr CoreBndr]
rhss' ->
(TidyEnv
env', [(CoreBndr, Expr CoreBndr)] -> CoreBind
forall b. [(b, Expr b)] -> Bind b
Rec ([CoreBndr] -> [Expr CoreBndr] -> [(CoreBndr, Expr CoreBndr)]
forall a b. [a] -> [b] -> [(a, b)]
zip [CoreBndr]
bndrs' [Expr CoreBndr]
rhss'))
tidyExpr :: TidyEnv -> CoreExpr -> CoreExpr
tidyExpr :: TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env (Var CoreBndr
v) = CoreBndr -> Expr CoreBndr
forall b. CoreBndr -> Expr b
Var (TidyEnv -> CoreBndr -> CoreBndr
tidyVarOcc TidyEnv
env CoreBndr
v)
tidyExpr TidyEnv
env (Type Type
ty) = Type -> Expr CoreBndr
forall b. Type -> Expr b
Type (TidyEnv -> Type -> Type
tidyType TidyEnv
env Type
ty)
tidyExpr TidyEnv
env (Coercion Coercion
co) = Coercion -> Expr CoreBndr
forall b. Coercion -> Expr b
Coercion (TidyEnv -> Coercion -> Coercion
tidyCo TidyEnv
env Coercion
co)
tidyExpr TidyEnv
_ (Lit Literal
lit) = Literal -> Expr CoreBndr
forall b. Literal -> Expr b
Lit Literal
lit
tidyExpr TidyEnv
env (App Expr CoreBndr
f Expr CoreBndr
a) = Expr CoreBndr -> Expr CoreBndr -> Expr CoreBndr
forall b. Expr b -> Expr b -> Expr b
App (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env Expr CoreBndr
f) (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env Expr CoreBndr
a)
tidyExpr TidyEnv
env (Tick Tickish CoreBndr
t Expr CoreBndr
e) = Tickish CoreBndr -> Expr CoreBndr -> Expr CoreBndr
forall b. Tickish CoreBndr -> Expr b -> Expr b
Tick (TidyEnv -> Tickish CoreBndr -> Tickish CoreBndr
tidyTickish TidyEnv
env Tickish CoreBndr
t) (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env Expr CoreBndr
e)
tidyExpr TidyEnv
env (Cast Expr CoreBndr
e Coercion
co) = Expr CoreBndr -> Coercion -> Expr CoreBndr
forall b. Expr b -> Coercion -> Expr b
Cast (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env Expr CoreBndr
e) (TidyEnv -> Coercion -> Coercion
tidyCo TidyEnv
env Coercion
co)
tidyExpr TidyEnv
env (Let CoreBind
b Expr CoreBndr
e)
= TidyEnv -> CoreBind -> (TidyEnv, CoreBind)
tidyBind TidyEnv
env CoreBind
b (TidyEnv, CoreBind)
-> ((TidyEnv, CoreBind) -> Expr CoreBndr) -> Expr CoreBndr
forall a b. a -> (a -> b) -> b
=: \ (TidyEnv
env', CoreBind
b') ->
CoreBind -> Expr CoreBndr -> Expr CoreBndr
forall b. Bind b -> Expr b -> Expr b
Let CoreBind
b' (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env' Expr CoreBndr
e)
tidyExpr TidyEnv
env (Case Expr CoreBndr
e CoreBndr
b Type
ty [Alt CoreBndr]
alts)
= TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyBndr TidyEnv
env CoreBndr
b (TidyEnv, CoreBndr)
-> ((TidyEnv, CoreBndr) -> Expr CoreBndr) -> Expr CoreBndr
forall a b. a -> (a -> b) -> b
=: \ (TidyEnv
env', CoreBndr
b) ->
Expr CoreBndr
-> CoreBndr -> Type -> [Alt CoreBndr] -> Expr CoreBndr
forall b. Expr b -> b -> Type -> [Alt b] -> Expr b
Case (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env Expr CoreBndr
e) CoreBndr
b (TidyEnv -> Type -> Type
tidyType TidyEnv
env Type
ty)
((Alt CoreBndr -> Alt CoreBndr) -> [Alt CoreBndr] -> [Alt CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (TidyEnv -> Alt CoreBndr -> Alt CoreBndr
tidyAlt TidyEnv
env') [Alt CoreBndr]
alts)
tidyExpr TidyEnv
env (Lam CoreBndr
b Expr CoreBndr
e)
= TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyBndr TidyEnv
env CoreBndr
b (TidyEnv, CoreBndr)
-> ((TidyEnv, CoreBndr) -> Expr CoreBndr) -> Expr CoreBndr
forall a b. a -> (a -> b) -> b
=: \ (TidyEnv
env', CoreBndr
b) ->
CoreBndr -> Expr CoreBndr -> Expr CoreBndr
forall b. b -> Expr b -> Expr b
Lam CoreBndr
b (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env' Expr CoreBndr
e)
tidyAlt :: TidyEnv -> CoreAlt -> CoreAlt
tidyAlt :: TidyEnv -> Alt CoreBndr -> Alt CoreBndr
tidyAlt TidyEnv
env (AltCon
con, [CoreBndr]
vs, Expr CoreBndr
rhs)
= TidyEnv -> [CoreBndr] -> (TidyEnv, [CoreBndr])
tidyBndrs TidyEnv
env [CoreBndr]
vs (TidyEnv, [CoreBndr])
-> ((TidyEnv, [CoreBndr]) -> Alt CoreBndr) -> Alt CoreBndr
forall a b. a -> (a -> b) -> b
=: \ (TidyEnv
env', [CoreBndr]
vs) ->
(AltCon
con, [CoreBndr]
vs, TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env' Expr CoreBndr
rhs)
tidyTickish :: TidyEnv -> Tickish Id -> Tickish Id
tidyTickish :: TidyEnv -> Tickish CoreBndr -> Tickish CoreBndr
tidyTickish TidyEnv
env (Breakpoint Int
ix [CoreBndr]
ids) = Int -> [CoreBndr] -> Tickish CoreBndr
forall id. Int -> [id] -> Tickish id
Breakpoint Int
ix ((CoreBndr -> CoreBndr) -> [CoreBndr] -> [CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (TidyEnv -> CoreBndr -> CoreBndr
tidyVarOcc TidyEnv
env) [CoreBndr]
ids)
tidyTickish TidyEnv
_ Tickish CoreBndr
other_tickish = Tickish CoreBndr
other_tickish
tidyRules :: TidyEnv -> [CoreRule] -> [CoreRule]
tidyRules :: TidyEnv -> [CoreRule] -> [CoreRule]
tidyRules TidyEnv
_ [] = []
tidyRules TidyEnv
env (CoreRule
rule : [CoreRule]
rules)
= TidyEnv -> CoreRule -> CoreRule
tidyRule TidyEnv
env CoreRule
rule CoreRule -> (CoreRule -> [CoreRule]) -> [CoreRule]
forall a b. a -> (a -> b) -> b
=: \ CoreRule
rule ->
TidyEnv -> [CoreRule] -> [CoreRule]
tidyRules TidyEnv
env [CoreRule]
rules [CoreRule] -> ([CoreRule] -> [CoreRule]) -> [CoreRule]
forall a b. a -> (a -> b) -> b
=: \ [CoreRule]
rules ->
(CoreRule
rule CoreRule -> [CoreRule] -> [CoreRule]
forall a. a -> [a] -> [a]
: [CoreRule]
rules)
tidyRule :: TidyEnv -> CoreRule -> CoreRule
tidyRule :: TidyEnv -> CoreRule -> CoreRule
tidyRule TidyEnv
_ rule :: CoreRule
rule@(BuiltinRule {}) = CoreRule
rule
tidyRule TidyEnv
env rule :: CoreRule
rule@(Rule { ru_bndrs :: CoreRule -> [CoreBndr]
ru_bndrs = [CoreBndr]
bndrs, ru_args :: CoreRule -> [Expr CoreBndr]
ru_args = [Expr CoreBndr]
args, ru_rhs :: CoreRule -> Expr CoreBndr
ru_rhs = Expr CoreBndr
rhs,
ru_fn :: CoreRule -> Name
ru_fn = Name
fn, ru_rough :: CoreRule -> [Maybe Name]
ru_rough = [Maybe Name]
mb_ns })
= TidyEnv -> [CoreBndr] -> (TidyEnv, [CoreBndr])
tidyBndrs TidyEnv
env [CoreBndr]
bndrs (TidyEnv, [CoreBndr])
-> ((TidyEnv, [CoreBndr]) -> CoreRule) -> CoreRule
forall a b. a -> (a -> b) -> b
=: \ (TidyEnv
env', [CoreBndr]
bndrs) ->
(Expr CoreBndr -> Expr CoreBndr)
-> [Expr CoreBndr] -> [Expr CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env') [Expr CoreBndr]
args [Expr CoreBndr] -> ([Expr CoreBndr] -> CoreRule) -> CoreRule
forall a b. a -> (a -> b) -> b
=: \ [Expr CoreBndr]
args ->
CoreRule
rule { ru_bndrs :: [CoreBndr]
ru_bndrs = [CoreBndr]
bndrs, ru_args :: [Expr CoreBndr]
ru_args = [Expr CoreBndr]
args,
ru_rhs :: Expr CoreBndr
ru_rhs = TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
env' Expr CoreBndr
rhs,
ru_fn :: Name
ru_fn = TidyEnv -> Name -> Name
tidyNameOcc TidyEnv
env Name
fn,
ru_rough :: [Maybe Name]
ru_rough = (Maybe Name -> Maybe Name) -> [Maybe Name] -> [Maybe Name]
forall a b. (a -> b) -> [a] -> [b]
map ((Name -> Name) -> Maybe Name -> Maybe Name
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (TidyEnv -> Name -> Name
tidyNameOcc TidyEnv
env')) [Maybe Name]
mb_ns }
tidyNameOcc :: TidyEnv -> Name -> Name
tidyNameOcc :: TidyEnv -> Name -> Name
tidyNameOcc (TidyOccEnv
_, VarEnv CoreBndr
var_env) Name
n = case VarEnv CoreBndr -> Name -> Maybe CoreBndr
forall key elt. Uniquable key => UniqFM elt -> key -> Maybe elt
lookupUFM VarEnv CoreBndr
var_env Name
n of
Maybe CoreBndr
Nothing -> Name
n
Just CoreBndr
v -> CoreBndr -> Name
idName CoreBndr
v
tidyVarOcc :: TidyEnv -> Var -> Var
tidyVarOcc :: TidyEnv -> CoreBndr -> CoreBndr
tidyVarOcc (TidyOccEnv
_, VarEnv CoreBndr
var_env) CoreBndr
v = VarEnv CoreBndr -> CoreBndr -> Maybe CoreBndr
forall a. VarEnv a -> CoreBndr -> Maybe a
lookupVarEnv VarEnv CoreBndr
var_env CoreBndr
v Maybe CoreBndr -> CoreBndr -> CoreBndr
forall a. Maybe a -> a -> a
`orElse` CoreBndr
v
tidyBndr :: TidyEnv -> Var -> (TidyEnv, Var)
tidyBndr :: TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyBndr TidyEnv
env CoreBndr
var
| CoreBndr -> Bool
isTyCoVar CoreBndr
var = TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyVarBndr TidyEnv
env CoreBndr
var
| Bool
otherwise = TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyIdBndr TidyEnv
env CoreBndr
var
tidyBndrs :: TidyEnv -> [Var] -> (TidyEnv, [Var])
tidyBndrs :: TidyEnv -> [CoreBndr] -> (TidyEnv, [CoreBndr])
tidyBndrs TidyEnv
env [CoreBndr]
vars = (TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr))
-> TidyEnv -> [CoreBndr] -> (TidyEnv, [CoreBndr])
forall (t :: * -> *) a b c.
Traversable t =>
(a -> b -> (a, c)) -> a -> t b -> (a, t c)
mapAccumL TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyBndr TidyEnv
env [CoreBndr]
vars
tidyIdBndr :: TidyEnv -> Id -> (TidyEnv, Id)
tidyIdBndr :: TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyIdBndr env :: TidyEnv
env@(TidyOccEnv
tidy_env, VarEnv CoreBndr
var_env) CoreBndr
id
=
case TidyOccEnv -> OccName -> (TidyOccEnv, OccName)
tidyOccName TidyOccEnv
tidy_env (CoreBndr -> OccName
forall a. NamedThing a => a -> OccName
getOccName CoreBndr
id) of { (TidyOccEnv
tidy_env', OccName
occ') ->
let
ty' :: Type
ty' = TidyEnv -> Type -> Type
tidyType TidyEnv
env (CoreBndr -> Type
idType CoreBndr
id)
name' :: Name
name' = Unique -> OccName -> SrcSpan -> Name
mkInternalName (CoreBndr -> Unique
idUnique CoreBndr
id) OccName
occ' SrcSpan
noSrcSpan
id' :: CoreBndr
id' = Name -> Type -> IdInfo -> CoreBndr
mkLocalIdWithInfo Name
name' Type
ty' IdInfo
new_info
var_env' :: VarEnv CoreBndr
var_env' = VarEnv CoreBndr -> CoreBndr -> CoreBndr -> VarEnv CoreBndr
forall a. VarEnv a -> CoreBndr -> a -> VarEnv a
extendVarEnv VarEnv CoreBndr
var_env CoreBndr
id CoreBndr
id'
new_info :: IdInfo
new_info = IdInfo
vanillaIdInfo IdInfo -> OccInfo -> IdInfo
`setOccInfo` IdInfo -> OccInfo
occInfo IdInfo
old_info
IdInfo -> Unfolding -> IdInfo
`setUnfoldingInfo` Unfolding
new_unf
IdInfo -> OneShotInfo -> IdInfo
`setOneShotInfo` IdInfo -> OneShotInfo
oneShotInfo IdInfo
old_info
old_info :: IdInfo
old_info = HasDebugCallStack => CoreBndr -> IdInfo
CoreBndr -> IdInfo
idInfo CoreBndr
id
old_unf :: Unfolding
old_unf = IdInfo -> Unfolding
unfoldingInfo IdInfo
old_info
new_unf :: Unfolding
new_unf = Unfolding -> Unfolding
zapUnfolding Unfolding
old_unf
in
((TidyOccEnv
tidy_env', VarEnv CoreBndr
var_env'), CoreBndr
id')
}
tidyLetBndr :: TidyEnv
-> TidyEnv
-> Id -> (TidyEnv, Id)
tidyLetBndr :: TidyEnv -> TidyEnv -> CoreBndr -> (TidyEnv, CoreBndr)
tidyLetBndr TidyEnv
rec_tidy_env env :: TidyEnv
env@(TidyOccEnv
tidy_env, VarEnv CoreBndr
var_env) CoreBndr
id
= case TidyOccEnv -> OccName -> (TidyOccEnv, OccName)
tidyOccName TidyOccEnv
tidy_env (CoreBndr -> OccName
forall a. NamedThing a => a -> OccName
getOccName CoreBndr
id) of { (TidyOccEnv
tidy_env', OccName
occ') ->
let
ty' :: Type
ty' = TidyEnv -> Type -> Type
tidyType TidyEnv
env (CoreBndr -> Type
idType CoreBndr
id)
name' :: Name
name' = Unique -> OccName -> SrcSpan -> Name
mkInternalName (CoreBndr -> Unique
idUnique CoreBndr
id) OccName
occ' SrcSpan
noSrcSpan
details :: IdDetails
details = CoreBndr -> IdDetails
idDetails CoreBndr
id
id' :: CoreBndr
id' = IdDetails -> Name -> Type -> IdInfo -> CoreBndr
mkLocalVar IdDetails
details Name
name' Type
ty' IdInfo
new_info
var_env' :: VarEnv CoreBndr
var_env' = VarEnv CoreBndr -> CoreBndr -> CoreBndr -> VarEnv CoreBndr
forall a. VarEnv a -> CoreBndr -> a -> VarEnv a
extendVarEnv VarEnv CoreBndr
var_env CoreBndr
id CoreBndr
id'
old_info :: IdInfo
old_info = HasDebugCallStack => CoreBndr -> IdInfo
CoreBndr -> IdInfo
idInfo CoreBndr
id
new_info :: IdInfo
new_info = IdInfo
vanillaIdInfo
IdInfo -> OccInfo -> IdInfo
`setOccInfo` IdInfo -> OccInfo
occInfo IdInfo
old_info
IdInfo -> Int -> IdInfo
`setArityInfo` IdInfo -> Int
arityInfo IdInfo
old_info
IdInfo -> StrictSig -> IdInfo
`setStrictnessInfo` StrictSig -> StrictSig
zapUsageEnvSig (IdInfo -> StrictSig
strictnessInfo IdInfo
old_info)
IdInfo -> Demand -> IdInfo
`setDemandInfo` IdInfo -> Demand
demandInfo IdInfo
old_info
IdInfo -> InlinePragma -> IdInfo
`setInlinePragInfo` IdInfo -> InlinePragma
inlinePragInfo IdInfo
old_info
IdInfo -> Unfolding -> IdInfo
`setUnfoldingInfo` Unfolding
new_unf
old_unf :: Unfolding
old_unf = IdInfo -> Unfolding
unfoldingInfo IdInfo
old_info
new_unf :: Unfolding
new_unf | Unfolding -> Bool
isStableUnfolding Unfolding
old_unf = TidyEnv -> Unfolding -> Unfolding -> Unfolding
tidyUnfolding TidyEnv
rec_tidy_env Unfolding
old_unf Unfolding
old_unf
| Bool
otherwise = Unfolding -> Unfolding
zapUnfolding Unfolding
old_unf
in
((TidyOccEnv
tidy_env', VarEnv CoreBndr
var_env'), CoreBndr
id') }
tidyUnfolding :: TidyEnv -> Unfolding -> Unfolding -> Unfolding
tidyUnfolding :: TidyEnv -> Unfolding -> Unfolding -> Unfolding
tidyUnfolding TidyEnv
tidy_env df :: Unfolding
df@(DFunUnfolding { df_bndrs :: Unfolding -> [CoreBndr]
df_bndrs = [CoreBndr]
bndrs, df_args :: Unfolding -> [Expr CoreBndr]
df_args = [Expr CoreBndr]
args }) Unfolding
_
= Unfolding
df { df_bndrs :: [CoreBndr]
df_bndrs = [CoreBndr]
bndrs', df_args :: [Expr CoreBndr]
df_args = (Expr CoreBndr -> Expr CoreBndr)
-> [Expr CoreBndr] -> [Expr CoreBndr]
forall a b. (a -> b) -> [a] -> [b]
map (TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
tidy_env') [Expr CoreBndr]
args }
where
(TidyEnv
tidy_env', [CoreBndr]
bndrs') = TidyEnv -> [CoreBndr] -> (TidyEnv, [CoreBndr])
tidyBndrs TidyEnv
tidy_env [CoreBndr]
bndrs
tidyUnfolding TidyEnv
tidy_env
unf :: Unfolding
unf@(CoreUnfolding { uf_tmpl :: Unfolding -> Expr CoreBndr
uf_tmpl = Expr CoreBndr
unf_rhs, uf_src :: Unfolding -> UnfoldingSource
uf_src = UnfoldingSource
src })
Unfolding
unf_from_rhs
| UnfoldingSource -> Bool
isStableSource UnfoldingSource
src
= Unfolding -> Unfolding
seqIt (Unfolding -> Unfolding) -> Unfolding -> Unfolding
forall a b. (a -> b) -> a -> b
$ Unfolding
unf { uf_tmpl :: Expr CoreBndr
uf_tmpl = TidyEnv -> Expr CoreBndr -> Expr CoreBndr
tidyExpr TidyEnv
tidy_env Expr CoreBndr
unf_rhs }
| Bool
otherwise
= Unfolding
unf_from_rhs
where seqIt :: Unfolding -> Unfolding
seqIt Unfolding
unf = Unfolding -> ()
seqUnfolding Unfolding
unf () -> Unfolding -> Unfolding
`seq` Unfolding
unf
tidyUnfolding TidyEnv
_ Unfolding
unf Unfolding
_ = Unfolding
unf
(=:) :: a -> (a -> b) -> b
a
m =: :: a -> (a -> b) -> b
=: a -> b
k = a
m a -> b -> b
`seq` a -> b
k a
m