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 = AutoOptions
   15   { optLevel :: OptimizationLevel
   16   , limit    :: LimitMaybe
   17   , dumpType :: DumpType
   18   }