never executed always true always false

    1 module HelVM.HelMA.Automata.FALSE.Expression where
    2 
    3 import           HelVM.HelMA.Automaton.Instruction
    4 
    5 type ExpressionList = [Expression]
    6 data Expression =
    7     Inst Instruction
    8   | Lambda ExpressionList
    9   | Exec
   10   | Cond
   11   | While
   12   | Ref Natural
   13   | Store
   14   | Fetch
   15   | Str String
   16   | Comment String
   17   | Flush
   18   deriving stock (Eq , Show , Read)