From 5d1d3b4f251bf938648d7d21c6641a1a0cc0768b Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 26 Dec 2020 18:08:15 +0100 Subject: Initial --- Main.hs | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 Main.hs (limited to 'Main.hs') diff --git a/Main.hs b/Main.hs new file mode 100644 index 0000000..e5aa512 --- /dev/null +++ b/Main.hs @@ -0,0 +1,22 @@ +module Main where + +import Eval (eval) +import Language +import Show (showExpr) +import Simplify (simplify) + + +main :: IO () +main = do + print . eval $ + let_ (add (con (2 :: Int)) (con 3)) $ \_ x -> + mul x x + + let prog = + let_ (add (con (2 :: Int)) (con 3)) $ \_ x -> + let_ (mul (con (4 :: Int)) (con 5)) $ \wy y -> + let_ (pair (wy x) y) $ \wt t -> + add (mul (wt (wy x)) (snd_ t)) (mul (wt y) (fst_ t)) + putStrLn (showExpr prog) + putStrLn (showExpr (simplify prog)) + print (eval prog) -- cgit v1.2.3-70-g09d2