From 01432186e078cde612a0b1279951efa77708d6e8 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 15 May 2014 14:23:14 +1000
Subject: Finally down to starting the individual instruction functions
---
src/Grasp/Interpreter.hs | 59 ++++++++++++++++++++++++++++++++++++++++++++++--
1 file changed, 57 insertions(+), 2 deletions(-)
(limited to 'src/Grasp')
diff --git a/src/Grasp/Interpreter.hs b/src/Grasp/Interpreter.hs
index 03816f6..e84cfc5 100644
--- a/src/Grasp/Interpreter.hs
+++ b/src/Grasp/Interpreter.hs
@@ -47,7 +47,62 @@ garbageCollect g ips =
-
interpret :: GraspProgram -> [IP] -> IO ()
-interpret g ips = return ()
+interpret g ips = if (ips == []) then return () else execute g ips []
+
+
+
+execute :: GraspProgram -> [IP] -> [IP] -> IO ()
+execute g [] out = interpret g (reverse out)
+execute g ([]:ips) out = execute g ips out
+execute g (cur:rest) out =
+ let (g', cur') =
+ case (snd . head $ cur) of
+ "set" -> setI g cur
+ "new" -> newI g cur
+ "del" -> delI g cur
+ "push" -> pushI g cur
+ "pop" -> popI g cur
+ "pick" -> pickI g cur
+ "call" -> callI g cur
+ "ret" -> retI g cur
+ "add" -> addI g cur
+ "mul" -> mulI g cur
+ "sub" -> subI g cur
+ "div" -> divI g cur
+ "mod" -> modI g cur
+ "getc" -> getcI g cur
+ "putc" -> putcI g cur
+ "gets" -> getsI g cur
+ "puts" -> puts g cur
+
+ x | isInteger x -> implicitPushI g cur
+
+ x -> error ("Unknown instruction at " ++ (show x))
+
+ in execute g' rest (cur':out)
+
+
+
+isInteger :: String -> Bool
+
+setI :: GraspProgram -> IP -> (GraspProgram, IP)
+newI :: GraspProgram -> IP -> (GraspProgram, IP)
+delI :: GraspProgram -> IP -> (GraspProgram, IP)
+pushI :: GraspProgram -> IP -> (GraspProgram, IP)
+popI :: GraspProgram -> IP -> (GraspProgram, IP)
+pickI :: GraspProgram -> IP -> (GraspProgram, IP)
+callI :: GraspProgram -> IP -> (GraspProgram, IP)
+retI :: GraspProgram -> IP -> (GraspProgram, IP)
+addI :: GraspProgram -> IP -> (GraspProgram, IP)
+mulI :: GraspProgram -> IP -> (GraspProgram, IP)
+subI :: GraspProgram -> IP -> (GraspProgram, IP)
+divI :: GraspProgram -> IP -> (GraspProgram, IP)
+modI :: GraspProgram -> IP -> (GraspProgram, IP)
+getcI :: GraspProgram -> IP -> (GraspProgram, IP)
+putcI :: GraspProgram -> IP -> (GraspProgram, IP)
+getsI :: GraspProgram -> IP -> (GraspProgram, IP)
+putsI :: GraspProgram -> IP -> (GraspProgram, IP)
+
+implicitPushI :: GraspProgram -> IP -> (GraspProgram, IP)
--
cgit