Interface.hs

module G2.Initialization.Interface where

import G2.Language.Syntax
import G2.Language.Support hiding (State (..))
import G2.Initialization.DeepSeqWalks
import G2.Initialization.ElimTicks
import G2.Initialization.ElimTypeSynonyms
import G2.Initialization.InitVarLocs
import G2.Initialization.StructuralEq
import G2.Initialization.Types as IT

runInitialization :: IT.SimpleState -> [Type] -> (IT.SimpleState, Walkers)
runInitialization s@(IT.SimpleState { IT.expr_env = eenv
                                 , IT.type_env = tenv
                                 , IT.name_gen = ng
                                 , IT.type_classes = tc }) ts =
    let
        eenv2 = elimTypeSyms tenv eenv
        tenv2 = elimTypeSymsTEnv tenv
        tc2 = elimTypeSyms tenv tc
        (eenv3, ng2, ds_walkers) = createDeepSeqWalks eenv2 tenv2 ng

        s' = s { IT.expr_env = eenv3
               , IT.type_env = tenv2
               , IT.name_gen = ng2
               , IT.type_classes = tc2 }

        s'' = execSimpleStateM (createStructEqFuncs ts) s'
        s''' = elimTicks . initVarLocs $ s''
    in
    (s''', ds_walkers)