never executed always true always false

    1 module HelVM.HelMA.Automaton.Types.RAMType where
    2 
    3 -- | Constructors
    4 defaultRAMType :: RAMType
    5 defaultRAMType = minBound
    6 
    7 ramTypes :: NonEmpty RAMType
    8 ramTypes = universeNonEmpty
    9 
   10 -- | Types
   11 data RAMType = MapListRAMType | SListRAMType | SeqRAMType | ListRAMType
   12   deriving stock (Bounded , Enum , Eq , Read , Show)