diff options
| author | johnvg | 2011-04-15 10:57:01 +0000 |
|---|---|---|
| committer | johnvg | 2011-04-15 10:57:01 +0000 |
| commit | 6f0bd29ec38b3d3ad41d5cbec0e1f3f131d607a4 (patch) | |
| tree | d03ac01910d4a8cb2dee079bf1b8eacdb7ac1766 /frontend/comparedefimp.dcl | |
| parent | use type FunSpecials instead of Specials for specials of functions (diff) | |
remove field icl_copied_from_dcl from type IclModule
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1923 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 cf9492c..0897570 100644 --- a/frontend/comparedefimp.dcl +++ b/frontend/comparedefimp.dcl @@ -4,8 +4,8 @@ import syntax, checksupport // compare definition and implementation module -compareDefImp :: !Int !DclModule !(Optional {#Index}) !Int !*IclModule !*{#*{#FunDef}} !*Heaps !*ErrorAdmin - -> (!.IclModule,!.{#.{#FunDef}},!.Heaps,!.ErrorAdmin) +compareDefImp :: !Int !DclModule !(Optional {#Index}) !CopiedDefinitions !Int !*IclModule !*{#*{#FunDef}} !*Heaps !*ErrorAdmin + -> (!.IclModule,!.{#.{#FunDef}},!.Heaps,!.ErrorAdmin) symbolTypesCorrespond :: !SymbolType !SymbolType !*TypeHeaps -> (!ComparisionErrorCode, !.TypeHeaps) |