cleaner catchall case for exec_if

This commit is contained in:
Taylor 2025-01-15 15:20:47 -06:00
parent 99e0938f08
commit dd44dcf345

View File

@ -57,9 +57,8 @@ instructionIntDiv (State es (i : is) fs bs ss ps) = State es (div (head is) i :
instructionIntDiv state = state instructionIntDiv state = state
instructionExecIf :: State -> State instructionExecIf :: State -> State
instructionExecIf (State es is fs [] ss ps) = (State es is fs [] ss ps) instructionExecIf (State (e : es) is fs (b : bs) ss ps) =
instructionExecIf (State (e : es) is fs bs ss ps) = case b of
case head bs of
True -> State (e : drop 1 es) is fs bs ss ps True -> State (e : drop 1 es) is fs bs ss ps
False -> State (es) is fs bs ss ps False -> State (es) is fs bs ss ps
instructionExecIf state = state instructionExecIf state = state