never executed always true always false

    1 module HelVM.HelMA.Automata.ETA.Parser
    2   ( parse
    3   , parseSafe
    4   ) where
    5 
    6 import           HelVM.HelMA.Automata.ETA.Lexer
    7 import           HelVM.HelMA.Automata.ETA.Optimizer
    8 
    9 import           HelVM.HelMA.Automaton.API.IOTypes
   10 import           HelVM.HelMA.Automaton.Instruction
   11 
   12 import           HelVM.HelIO.Control.Safe
   13 
   14 parseSafe ∷ Source → Safe InstructionList
   15 parseSafe = parse
   16 
   17 parse ∷ MonadSafe m ⇒ Source → m InstructionList
   18 parse = optimize . tokenize