From b9633a33182f5b381e912366273709e59f469bb9 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sat, 12 Nov 2022 17:47:51 +0100
Subject: reorg.

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

(limited to 'app/IR.hs')

diff --git a/app/IR.hs b/app/IR.hs
new file mode 100644
index 0000000..50c7493
--- /dev/null
+++ b/app/IR.hs
@@ -0,0 +1,33 @@
+module IR where
+
+import qualified Data.Map as M
+
+data PrlgStr
+  = CallS String [PrlgStr]
+  | LiteralS String
+  deriving (Show)
+
+data Id =
+  Id
+    { str :: Int
+    , arity :: Int
+    }
+  deriving (Show, Eq, Ord)
+
+data PrlgInt
+  = CallI Id [PrlgInt]
+  | LiteralI Int
+  | VarI Int Int
+  | VoidI
+  deriving (Show)
+
+data StrTable =
+  StrTable Int (M.Map String Int) (M.Map Int String)
+  deriving (Show)
+
+emptystrtable = StrTable 0 M.empty M.empty
+
+strtablize t@(StrTable nxt fwd rev) str =
+  case fwd M.!? str of
+    Just i -> (t, i)
+    _ -> (StrTable (nxt + 1) (M.insert str nxt fwd) (M.insert nxt str rev), nxt)
-- 
cgit v1.2.3