diff options
| author | johnvg | 2001-10-18 11:33:45 +0000 |
|---|---|---|
| committer | johnvg | 2001-10-18 11:33:45 +0000 |
| commit | ddda5856e49c82fb6d5a4a94dae46a93ceade138 (patch) | |
| tree | 9a230fd07c464bed267be66bab103c62901860ec /frontend/comparedefimp.dcl | |
| parent | Bug fixes: too many error messages were printed (diff) | |
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
Diffstat (limited to 'frontend/comparedefimp.dcl')
| -rw-r--r-- | frontend/comparedefimp.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
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) |