From 5a3007ea91a3ee57a4fc3e34c0edd59a90b525c3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 27 Nov 2023 19:00:20 +0100
Subject: WIP on code generation for case expressions

---
 snug-clean/src/Snug/Compile/Typing.dcl | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 snug-clean/src/Snug/Compile/Typing.dcl

(limited to 'snug-clean/src/Snug/Compile/Typing.dcl')

diff --git a/snug-clean/src/Snug/Compile/Typing.dcl b/snug-clean/src/Snug/Compile/Typing.dcl
new file mode 100644
index 0000000..b395587
--- /dev/null
+++ b/snug-clean/src/Snug/Compile/Typing.dcl
@@ -0,0 +1,13 @@
+definition module Snug.Compile.Typing
+
+from Control.Monad.State import :: StateT
+from Data.Error import :: MaybeError
+from Data.Map import :: Map
+
+from Snug.Compile import :: CompileM, :: CompileState, :: LocalLocation,
+	:: Locals
+from Snug.Syntax import :: Expression, :: SymbolIdent, :: Type
+
+class type a :: !Locals !a -> CompileM Type
+
+instance type Expression
-- 
cgit v1.2.3