sem

diff --git a/sem.dcl b/sem.dcl
new file mode 100644 (file)
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 (file)
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 (file)
--- 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 (file)
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 (file)
index 110c576..0000000
--- a/type.icl
+++ /dev/null
@@ -1,9 +0,0 @@
-implementation module type
-
-freeVar :: State 
-
-:: Environment :== Map String Type
-
-
-
-State (String, Environment)