From df09fd2a418fa2bdc1a0b9207779e48d83e5625c Mon Sep 17 00:00:00 2001 From: johnvg Date: Mon, 7 Nov 2011 11:54:27 +0000 Subject: 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 --- frontend/checksupport.dcl | 6 ------ 1 file changed, 6 deletions(-) (limited to 'frontend/checksupport.dcl') 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) -- cgit v1.2.3