Fri Jul 6 12:06:52 EDT 2018


type EmuState = Map EmuVar Int
data EmuVar
  = File Int  -- register file
  | CFlag     -- carry flag
  | PCounter  -- program counter
  | Time      -- instruction counter
  deriving (Eq,Ord,Show)

How to extend this to arbitrary state?  It no longer is a map to Int.

It's too much work at this point.  I just need something simple and move on.