aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authorjohnvg2000-10-31 14:57:57 +0000
committerjohnvg2000-10-31 14:57:57 +0000
commit130e0fc83e99ed9a6333478890c62563ed804046 (patch)
tree2744b031e3002ff09690636df7e79504ec6d9bb0 /frontend/checksupport.dcl
parentSjaak: Bug in instance types removed, (diff)
bug fix in determining SK_LocalMacroFunction (instead of SK_Function)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@274 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index e52b4d2..9955409 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -151,7 +151,7 @@ convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index
retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index)
retrieveAndRemoveImportsFromSymbolTable :: ![(.a,.Declarations)] [Declaration] *(Heap SymbolTableEntry) -> ([Declaration],.Heap SymbolTableEntry);
-addLocalFunctionDefsToSymbolTable :: !Level !Index !Index !u:{#FunDef} !*SymbolTable !*ErrorAdmin -> (!u:{# FunDef}, !*SymbolTable, !*ErrorAdmin)
+addLocalFunctionDefsToSymbolTable :: !Level !Index !Index !Bool !*{#FunDef} !*SymbolTable !*ErrorAdmin -> (!*{# FunDef}, !*SymbolTable, !*ErrorAdmin)
addDefToSymbolTable :: !Level !Index !Ident !STE_Kind !*SymbolTable !*ErrorAdmin -> (!* SymbolTable, !*ErrorAdmin)
addDeclaredSymbolsToSymbolTable :: .Bool .Int ![.Declaration] !{!.Declaration} !*CheckState -> .CheckState;
addDeclaredSymbolsToSymbolTable2 :: .Bool .Int !{!.Declaration} !{!.Declaration} !*CheckState -> .CheckState;