never executed always true always false

    1 module HelVM.HelMA.Automata.ETA.API.ETAImplType where
    2 
    3 -- | Constructors
    4 defaultETAImplType :: ETAImplType
    5 defaultETAImplType = minBound
    6 
    7 etaImplTypes:: NonEmpty ETAImplType
    8 etaImplTypes = universeNonEmpty
    9 
   10 -- | Type
   11 data ETAImplType = Fast | Original
   12   deriving stock (Bounded , Enum , Eq , Read , Show)