never executed always true always false

    1 module HelVM.HelMA.Automaton.API.AutoOptions where
    2 
    3 import           HelVM.HelMA.Automaton.API.OptimizationLevel
    4 import           HelVM.HelMA.Automaton.Trampoline
    5 import           HelVM.HelMA.Automaton.Types.DumpType
    6 
    7 simpleAutoParams ∷ AutoOptions
    8 simpleAutoParams = AutoOptions
    9   { optLevel     = AllOptimizations
   10   , limit        = testMaybeLimit
   11   , dumpType     = Pretty
   12   }
   13 
   14 data AutoOptions
   15   = AutoOptions
   16       { optLevel :: OptimizationLevel
   17       , limit    :: LimitMaybe
   18       , dumpType :: DumpType
   19       }