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
   12   = MapListRAMType
   13   | SListRAMType
   14   | SeqRAMType
   15   | ListRAMType
   16   deriving stock (Bounded, Enum, Eq, Read, Show)