From ddda5856e49c82fb6d5a4a94dae46a93ceade138 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 18 Oct 2001 11:33:45 +0000
Subject: store macros and local functions in macros in separate {#{#FunDef}},
 remove conversion table, except for macros

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

(limited to 'frontend/comparedefimp.dcl')

diff --git a/frontend/comparedefimp.dcl b/frontend/comparedefimp.dcl
index b371c14..15d59ca 100644
--- a/frontend/comparedefimp.dcl
+++ b/frontend/comparedefimp.dcl
@@ -4,8 +4,8 @@ import syntax, checksupport
 
 // compare definition and implementation module
 
-compareDefImp :: !{#Int} !{!FunctionBody} !Int  !DclModule !*IclModule !*Heaps !*ErrorAdmin 
-				-> (!.IclModule,!.Heaps,!.ErrorAdmin)
+compareDefImp :: /*!{#Int}*/ !Int !DclModule !Int !*IclModule !*{#*{#FunDef}} !*Heaps !*ErrorAdmin 
+											  -> (!.IclModule,!.{#.{#FunDef}},!.Heaps,!.ErrorAdmin)
 
 symbolTypesCorrespond :: !SymbolType !SymbolType !*TypeHeaps -> (!ComparisionErrorCode, !.TypeHeaps)
 
-- 
cgit v1.2.3