aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authorjohnvg2001-09-07 11:09:17 +0000
committerjohnvg2001-09-07 11:09:17 +0000
commitf9e2102cb04e6a96f5d771ace1edebaa2b0adb16 (patch)
treed1065827d02f15b7c41f46e65d3d2b36dfb83e59 /frontend/checksupport.dcl
parentBug fix: Stop after an overloading error occurred (diff)
moved function checkLocalFunctions from checksupport to checkFunctionBodies
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@761 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl3
1 files changed, 0 insertions, 3 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index 76e10ee..95b5fc9 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -148,9 +148,6 @@ instance <<< IdentPos, ExplImpInfo, DeclarationInfo
, ef_is_macro_fun :: !Bool
}
-checkLocalFunctions :: !Index !Level !LocalDefs !*{#FunDef} !*ExpressionInfo !*Heaps !*CheckState
- -> (!.{#FunDef},!.ExpressionInfo,!.Heaps,!.CheckState);
-
convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index
retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index)