never executed always true always false

    1 module HelVM.HelMA.Automata.ETA.SimpleParams where
    2 
    3 import           HelVM.HelMA.Automata.ETA.API.AutomatonType
    4 
    5 import           HelVM.HelMA.Automaton.API.AutoOptions
    6 import           HelVM.HelMA.Automaton.API.IOTypes
    7 
    8 import           HelVM.HelMA.Automaton.Types.StackType
    9 
   10 simpleParams ∷ AutomatonType → StackType→ Source → SimpleParams
   11 simpleParams it st s = SimpleParams
   12   { implType   = it
   13   , source     = s
   14   , stackType  = st
   15   , autoOptions = simpleAutoParams
   16   }
   17 
   18 -- | Type
   19 data SimpleParams
   20   = SimpleParams
   21       { implType    :: !AutomatonType
   22       , source      :: !Source
   23       , stackType   :: !StackType
   24       , autoOptions :: !AutoOptions
   25       }