summaryrefslogtreecommitdiff
path: root/paper/While/SimpleTest.icl
diff options
context:
space:
mode:
Diffstat (limited to 'paper/While/SimpleTest.icl')
-rw-r--r--paper/While/SimpleTest.icl8
1 files changed, 2 insertions, 6 deletions
diff --git a/paper/While/SimpleTest.icl b/paper/While/SimpleTest.icl
index 045eb9e..3086012 100644
--- a/paper/While/SimpleTest.icl
+++ b/paper/While/SimpleTest.icl
@@ -6,8 +6,7 @@ import WhileLexer
import Simple
import SimpleParse
-Start = toString <$> parsed
-//Start = val "z"
+Start = val "z"
where
lexed :: Either Error [Token]
lexed = lex ['x := 30; z := 0; o := 1; s := 1; while s <= x do (z := z+1; o := o+2; s := s+o)']
@@ -15,8 +14,5 @@ where
parsed :: Either Error Stm
parsed = lexed >>= parse
- ran :: Either Error State
- ran = parsed >>= \pgm -> run pgm zero
-
val :: Var -> Either Error Int
- val v = ran >>= eval (Var v)
+ val v = parsed >>= \pgm -> run pgm zero >>= eval (Var v)