From 9cb9ab536f51978b8251a651d77d955cb8b794e1 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Sun, 4 Aug 2024 12:23:19 +0200 Subject: Create procedure local symbol table --- lib/Language/Elna/SymbolTable.hs | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'lib/Language/Elna/SymbolTable.hs') diff --git a/lib/Language/Elna/SymbolTable.hs b/lib/Language/Elna/SymbolTable.hs index f1c6534..b8892c9 100644 --- a/lib/Language/Elna/SymbolTable.hs +++ b/lib/Language/Elna/SymbolTable.hs @@ -4,8 +4,9 @@ module Language.Elna.SymbolTable , SymbolTable , empty , enter + , fromList , lookup - , symbolTable + , builtInSymbolTable ) where import Data.HashMap.Strict (HashMap) @@ -26,8 +27,8 @@ instance Monoid SymbolTable where mempty = SymbolTable HashMap.empty -symbolTable :: SymbolTable -symbolTable = SymbolTable $ HashMap.fromList +builtInSymbolTable :: SymbolTable +builtInSymbolTable = SymbolTable $ HashMap.fromList [ ("boolean", TypeInfo booleanType) , ("int", TypeInfo intType) ] @@ -42,6 +43,9 @@ enter identifier info (SymbolTable table) = SymbolTable lookup :: Identifier -> SymbolTable -> Maybe Info lookup identifier (SymbolTable table) = HashMap.lookup identifier table +fromList :: [(Identifier, Info)] -> SymbolTable +fromList = SymbolTable . HashMap.fromList + data ParameterInfo = ParameterInfo { name :: Identifier , type' :: Type -- cgit v1.2.3