From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 23 Mar 2016 19:47:03 +0000 (+0100)
Subject: sem
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=022b8166504765b2c84138fc83dfdfaa23fe5774;p=cc1516.git

sem
---

diff --git a/sem.dcl b/sem.dcl
new file mode 100644
index 0000000..92f1d51
--- /dev/null
+++ b/sem.dcl
@@ -0,0 +1,7 @@
+definition module sem
+
+from Data.Either import :: Either
+from AST import :: AST
+from lex import :: Error
+
+semanticAnalysis :: AST -> Either String AST
diff --git a/sem.icl b/sem.icl
new file mode 100644
index 0000000..2003038
--- /dev/null
+++ b/sem.icl
@@ -0,0 +1,6 @@
+implementation module sem
+
+import StdMisc
+
+semanticAnalysis :: AST -> Either Error AST
+semanticAnalysis a = 
diff --git a/spl.prj b/spl.prj
index 16f0a01..a7a20dd 100644
--- a/spl.prj
+++ b/spl.prj
@@ -31,7 +31,6 @@ Global
 	Link
 		LinkMethod:	Static
 		GenerateRelocations:	False
-		GenerateSymbolTable:	False
 		GenerateLinkMap:	False
 		LinkResources:	False
 		ResourceSource:	
@@ -112,20 +111,6 @@ OtherModules
 			ReadableABC:	False
 			ReuseUniqueNodes:	True
 			Fusion:	False
-	Module
-		Name:	_SystemDynamic
-		Dir:	{Application}/lib/Dynamics
-		Compiler
-			NeverMemoryProfile:	False
-			NeverTimeProfile:	False
-			StrictnessAnalysis:	True
-			ListTypes:	StrictExportTypes
-			ListAttributes:	True
-			Warnings:	True
-			Verbose:	True
-			ReadableABC:	False
-			ReuseUniqueNodes:	True
-			Fusion:	False
 	Module
 		Name:	GenEq
 		Dir:	{Application}/lib/Generics
diff --git a/type.dcl b/type.dcl
deleted file mode 100644
index 304e8a3..0000000
--- a/type.dcl
+++ /dev/null
@@ -1,6 +0,0 @@
-definition module type
-
-from Data.Either import :: Either
-from AST import :: AST
-
-typecheck :: AST -> Either String AST
diff --git a/type.icl b/type.icl
deleted file mode 100644
index 110c576..0000000
--- a/type.icl
+++ /dev/null
@@ -1,9 +0,0 @@
-implementation module type
-
-freeVar :: State 
-
-:: Environment :== Map String Type
-
-
-
-State (String, Environment)