From c3a59ece66a9f8b91ebfdf3fbd556ffd241b528c Mon Sep 17 00:00:00 2001
From: martinw
Date: Fri, 19 Jan 2001 10:48:10 +0000
Subject: refactoring

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@290 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checksupport.dcl | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'frontend/checksupport.dcl')

diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index 2fbd3a2..0aa9847 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -150,8 +150,10 @@ retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Inde
 //		-> (!Int, ![Declaration], !.ExplImpInfos, !.Heap SymbolTableEntry);
 addLocalFunctionDefsToSymbolTable :: !Level !Index !Index !Bool !*{#FunDef} !*SymbolTable !*ErrorAdmin -> (!*{# FunDef}, !*SymbolTable, !*ErrorAdmin)
 addDefToSymbolTable :: !Level !Index !Ident !STE_Kind !*SymbolTable !*ErrorAdmin -> (!* SymbolTable, !*ErrorAdmin)
-addDeclaredSymbolsToSymbolTable2 :: .Bool .Int !{!Declaration} !{!Declaration} !*CheckState -> .CheckState;
+addDeclarationsOfDclModToSymbolTable :: .Int !{!Declaration} !{!Declaration} !*CheckState -> .CheckState;
 addGlobalDefinitionsToSymbolTable :: ![Declaration] !*CheckState -> .CheckState;
+addSymbol :: !(Optional a) !Ident !Position !STE_Kind !STE_Kind !.Int !.Int !Int !*CheckState -> (!Bool, !.CheckState)
+addImportedFunctionOrMacro :: !(Optional IndexRange) !Ident !Int !*CheckState -> (!Bool, !.CheckState)
 removeFieldFromSelectorDefinition :: !Ident .Int .Int !*(Heap SymbolTableEntry) -> .Heap SymbolTableEntry;
 removeDeclarationsFromSymbolTable :: ![Declaration] !Int !*SymbolTable -> *SymbolTable
 removeLocalIdentsFromSymbolTable :: .Int !.[Ident] !*(Heap SymbolTableEntry) -> .Heap SymbolTableEntry;
@@ -167,20 +169,16 @@ local_declaration_for_import :: !u:Declaration .Index -> v:Declaration, [u <= v]
 get_ident :: !ImportDeclaration -> Ident
 getBelongingSymbolsFromID :: !ImportDeclaration -> Optional [ImportedIdent]
 
-mw_addIndirectlyImportedSymbol :: !(Optional a) !Ident !Position !STE_Kind !STE_Kind !.Int !.Int !Int !*CheckState -> (!Bool, !.CheckState)
-updateExplImpForMarkedSymbol :: !Index Declaration !SymbolTableEntry !u:{#DclModule} !{!{!*ExplImpInfo}} !*SymbolTable
-		-> (!u:{#DclModule}, !{!{!.ExplImpInfo}},!.SymbolTable)
-
 :: BelongingSymbols
 	=	BS_Constructors ![DefinedSymbol]
 	|	BS_Fields !{#FieldSymbol}
 	|	BS_Members !{#DefinedSymbol}
 	|	BS_Nothing
 
-getBelongingSymbols :: !Declaration !{#x:DclModule} -> (!.BelongingSymbols, !{#x:DclModule})
+getBelongingSymbols :: !Declaration !v:{#DclModule} -> (!BelongingSymbols, !v:{#DclModule})
 nrOfBelongingSymbols :: !BelongingSymbols -> Int
 
 import_ident :: Ident
 restoreHeap :: !Ident !*SymbolTable -> .SymbolTable
 
-temp_try_a_new_thing_XXX yes no :== no
+expand_syn_types_late_XXX yes no :== no
-- 
cgit v1.2.3