-- | Sequential imperative code. module Futhark.CodeGen.ImpCode.Sequential ( Program, Sequential, module Futhark.CodeGen.ImpCode, ) where import Futhark.CodeGen.ImpCode import Futhark.Util.Pretty -- | An imperative program. type Program = Definitions Sequential -- | Phantom type for identifying sequential imperative code. data Sequential instance Pretty Sequential where ppr :: Sequential -> Doc ppr Sequential _ = Doc empty instance FreeIn Sequential where freeIn' :: Sequential -> FV freeIn' Sequential _ = FV forall a. Monoid a => a mempty