From: Mart Lubbers 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)