module DDC.Core.Eval.Profile
(evalProfile)
where
import DDC.Core.Fragment
import DDC.Core.Eval.Env
import DDC.Core.Eval.Name
evalProfile :: Profile Name
evalProfile
= Profile
{ profileName = "Eval"
, profileFeatures = evalFeatures
, profilePrimDataDefs = primDataDefs
, profilePrimKinds = primKindEnv
, profilePrimTypes = primTypeEnv
, profileTypeIsUnboxed = const False
, profileNameIsHole = Nothing }
evalFeatures :: Features
evalFeatures
= Features
{ featuresTrackedEffects = True
, featuresTrackedClosures = True
, featuresFunctionalEffects = True
, featuresFunctionalClosures = True
, featuresEffectCapabilities = False
, featuresPartialPrims = False
, featuresPartialApplication = True
, featuresGeneralApplication = True
, featuresNestedFunctions = True
, featuresDebruijnBinders = True
, featuresUnboundLevel0Vars = False
, featuresUnboxedInstantiation = True
, featuresNameShadowing = True
, featuresUnusedBindings = True
, featuresUnusedMatches = True }