From 1dff6751993d9c732a823973a87c223fd24052e8 Mon Sep 17 00:00:00 2001
From: martinw
Date: Wed, 1 Mar 2000 12:26:25 +0000
Subject: bugfixes

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@108 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checksupport.dcl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'frontend/checksupport.dcl')

diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index 1824265..374c72c 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -109,6 +109,7 @@ newPosition :: !Ident  !Position -> IdentPos
 
 checkError :: !a !b !*ErrorAdmin -> *ErrorAdmin | <<< a & <<< b
 checkWarning :: !a !b !*ErrorAdmin -> *ErrorAdmin | <<< a & <<< b
+checkErrorWithIdentPos :: !IdentPos !a !*ErrorAdmin -> .ErrorAdmin | <<< a;
 
 class envLookUp a :: !a !(Env Ident .b) -> (!Bool,.b)
 
@@ -128,9 +129,7 @@ addLocalFunctionDefsToSymbolTable :: Level Index .Index u:(a FunDef) *SymbolTabl
 addDefToSymbolTable :: !Level !Index !Ident !STE_Kind !*SymbolTable !*ErrorAdmin -> (!* SymbolTable, !*ErrorAdmin)
 addDeclaredSymbolsToSymbolTable :: .Bool .Int ![.Declaration] ![.Declaration] !*CheckState -> .CheckState;
 addLocalSymbolsToSymbolTable :: ![.Declaration] Int !*CheckState -> .CheckState;
-addImportedFunctionOrMacro :: !Ident .Int !*CheckState -> .CheckState;
 addFieldToSelectorDefinition :: !Ident (Global .Int) !*CheckState -> .CheckState;
-addImportedSymbol :: !Ident STE_Kind .Int .Int !*CheckState -> .CheckState;
 addGlobalDefinitionsToSymbolTable :: ![.Declaration] !*CheckState -> .CheckState;
 retrieveImportsFromSymbolTable :: ![Import ImportDeclaration] ![Declaration] !*{#DclModule} !*(Heap SymbolTableEntry) -> *(![Declaration],!*{#DclModule},!*Heap SymbolTableEntry);
 removeFieldFromSelectorDefinition :: !Ident .Int .Int !*(Heap SymbolTableEntry) -> .Heap SymbolTableEntry;
-- 
cgit v1.2.3