2 files changed, 28 insertions, 2 deletions
diff --git a/src/parser/Core.hs b/src/parser/Core.hs
index 8deea2f..08ac1a9 100644
--- a/src/parser/Core.hs
+++ b/src/parser/Core.hs
@@ -14,7 +14,6 @@ runParserStrict p input = case runParser p input of
     Right (_, rest) -> Left $ "Unconsumed input: \"" ++ rest ++ "\""
     Left err        -> Left err
 
-
 -------------------------------------------------------------------------------
 -- Parser instances
 -------------------------------------------------------------------------------
@@ -66,7 +65,7 @@ satisfyChar :: (Char -> Bool) -> Parser Char
 satisfyChar predicate = Parser p
     where p []     = Left "Expected input"
           p (c:cs) = if predicate c then Right (c, cs)
-                                    else Left "Expected char"
+                                    else Left $ "Unexpected char '" ++ [c] ++ "'"
 
 char :: Char -> Parser Char
 char c = satisfyChar (c ==)
diff --git a/src/parser/Statement.hs b/src/parser/Statement.hs
new file mode 100644
index 0000000..ca16eca
--- /dev/null
+++ b/src/parser/Statement.hs
@@ -0,0 +1,27 @@
+module Parser.Statement where
+
+import           Control.Applicative
+
+import           Expr
+import           Parser.Core
+import           Parser.Expr
+
+
+data Statement
+    = Evaluation Expr
+    | VariableDeclaration String Expr
+    | FunctionDeclaration String String Expr
+
+statementP :: Parser Statement
+statementP = functionDeclarationP <|> variableDeclarationP <|> evaluationP
+    where
+        functionDeclarationP = FunctionDeclaration
+                                    <$> alphaStringP
+                                    <*> parenthesis alphaStringP
+                                    <*> (char '=' *> exprP)
+
+        variableDeclarationP = VariableDeclaration
+                                    <$> alphaStringP
+                                    <*> (char '=' *> exprP)
+
+        evaluationP          = Evaluation <$> exprP <* char '=' <* char '?'