blob: 1f99b39eaed75a6fd455d2d704759c4f8617c24c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
import Data.Char
import qualified Data.Map as M
import System.IO
import Expr as E
import Parser.Core
import Parser.Statement
main :: IO ()
main = promptLoop (Context M.empty M.empty)
promptLoop :: Context -> IO ()
promptLoop context = do
putStr "> "
hFlush stdout
eof <- isEOF
if eof
then return ()
else do line <- getLine
if line /= "exit"
then loop line context >>= promptLoop
else return ()
loop :: String -> Context -> IO Context
loop input context =
do
case runParserStrict statementP (filter (not . isSpace) input) of
Left err -> putStrLn ("Error parsing: " ++ err) >> return context
Right s -> Main.eval s context
eval :: Statement -> Context -> IO Context
eval (Evaluation e) c = do case E.eval e c of
Just evaluated -> putStrLn $ show evaluated
Nothing -> putStrLn "Error: couldn't evaluate expression"
return c
eval (VariableDeclaration name value) (Context vars funcs) =
case E.eval value context of
Just e -> do putStrLn $ show e
return $ Context (M.insert name e vars) funcs
Nothing -> putStrLn "Error: couldn't evaluate expression" >> return context
where context = Context vars funcs
eval (FunctionDeclaration name argName e) (Context vars funcs) =
-- case evalIgnore e context argName of
-- Just e -> do putStrLn $ show e
-- return $ Context vars (M.insert name (argName, e) funcs)
-- Nothing -> putStrLn "Error: couldn't evaluate expression" >> return context
--
-- where context = Context vars funcs
return $ Context vars (M.insert name (argName, e) funcs)
eval _ c = return c
-- eval (PolynomEvaluation left right) c = do l <- eval left -- count number of unknoewn
-- r <- eval right
|
