aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authorjohnvg2011-11-07 11:54:27 +0000
committerjohnvg2011-11-07 11:54:27 +0000
commitdf09fd2a418fa2bdc1a0b9207779e48d83e5625c (patch)
treef272b3dbb9e3b41cb9b69ba22cd53e54ad4fcf5f /frontend/checksupport.dcl
parentremove differences in layout between the compiler and the iTask compiler (diff)
remove differences in layout between the compiler and the iTask compiler
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2003 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl6
1 files changed, 0 insertions, 6 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index 7de856d..520cc8b 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -29,12 +29,8 @@ cNeedStdStrictLists :== 16
:: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int, x_check_dynamic_types :: !Bool }
-// SymbolTable :== {# SymbolTableEntry}
-
instance == STE_Kind
-:: ConversionTable :== {# .{# Int }}
-
cTypeDefs :== 0
cConstructorDefs :== 1
cSelectorDefs :== 2
@@ -100,8 +96,6 @@ instance <<< IdentPos, ExplImpInfo, DeclarationInfo
, ef_is_macro_fun :: !Bool
}
-//convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index
-
retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index)
addLocalFunctionDefsToSymbolTable :: !Level !Index !Index !Bool !*{#FunDef} !*SymbolTable !*ErrorAdmin -> (!*{# FunDef}, !*SymbolTable, !*ErrorAdmin)