From 022b8166504765b2c84138fc83dfdfaa23fe5774 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 23 Mar 2016 20:47:03 +0100 Subject: [PATCH] sem --- sem.dcl | 7 +++++++ sem.icl | 6 ++++++ spl.prj | 15 --------------- type.dcl | 6 ------ type.icl | 9 --------- 5 files changed, 13 insertions(+), 30 deletions(-) create mode 100644 sem.dcl create mode 100644 sem.icl delete mode 100644 type.dcl delete mode 100644 type.icl 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) -- 2.20.1