never executed always true always false

    1 module HelVM.HelMA.Automata.ETA.Parser (
    2   parseSafe,
    3   parse,
    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