module DDC.Core.Parser.Context
( Context (..)
, contextOfProfile)
where
import DDC.Core.Fragment
data Context
= Context
{ contextTrackedEffects :: Bool
, contextTrackedClosures :: Bool
, contextFunctionalEffects :: Bool
, contextFunctionalClosures :: Bool }
contextOfProfile :: Profile n -> Context
contextOfProfile profile
= Context
{ contextTrackedEffects = featuresTrackedEffects
$ profileFeatures profile
, contextTrackedClosures = featuresTrackedClosures
$ profileFeatures profile
, contextFunctionalEffects = featuresFunctionalEffects
$ profileFeatures profile
, contextFunctionalClosures = featuresFunctionalClosures
$ profileFeatures profile
}