From 873c294497c74e85eae5310cbf19269807c75e6d Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom.smeding@gmail.com>
Date: Sun, 15 Apr 2018 00:12:01 +0200
Subject: Build with stack

---
 Parser.hs | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 Parser.hs

(limited to 'Parser.hs')

diff --git a/Parser.hs b/Parser.hs
new file mode 100644
index 0000000..f2961ba
--- /dev/null
+++ b/Parser.hs
@@ -0,0 +1,33 @@
+module Parser(parseProgram) where
+
+import AST
+
+
+parseProgram :: String -> Either String Program
+parseProgram src = do
+    (inss, "") <- parseLoop 0 src
+    return $ Program $ IStart : inss
+
+parseLoop :: Int -> String -> Either String ([Instruction], String)
+parseLoop 0 "" = Right ([], "")
+parseLoop _ "" = Left "More '[' than ']'"
+parseLoop 0 (']':_) = Left "Unexpected ']'"
+parseLoop _ (']':cs) = Right ([], cs)
+parseLoop d ('[':cs) = do
+    (lp, rest) <- parseLoop (d+1) cs
+    (after, rest') <- parseLoop d rest
+    return (ILoop lp 0 : after, rest')
+parseLoop d (c:cs)
+    | Just ins <- parseSimple c = do
+        (lp, rest) <- parseLoop d cs
+        return (ins:lp, rest)
+parseLoop d (_:cs) = parseLoop d cs
+
+parseSimple :: Char -> Maybe Instruction
+parseSimple '+' = Just $ IAdd 1 0
+parseSimple '-' = Just $ IAdd (-1) 0
+parseSimple '>' = Just $ ISlide 1
+parseSimple '<' = Just $ ISlide (-1)
+parseSimple ',' = Just $ IInput 0
+parseSimple '.' = Just $ IOutput 0
+parseSimple _ = Nothing
-- 
cgit v1.2.3-54-g00ecf