module UHC.Light.Compiler.FinalEnv
( ToSysfEnv (..), emptyToSysfEnv )
where
import UHC.Light.Compiler.Gam.Base
import UHC.Light.Compiler.Gam.TyKiGam
import UHC.Light.Compiler.Gam.ClGam


{-# LINE 31 "src/ehc/FinalEnv.chs" #-}
data ToSysfEnv
  = ToSysfEnv
      { sysfenvTyKiGam 		:: TyKiGam
      , sysfenvClGam 		:: ClGam
      }

emptyToSysfEnv :: ToSysfEnv
emptyToSysfEnv
  = ToSysfEnv
      emptyGam
      emptyGam