diff options
| author | sjakie | 2001-09-21 08:08:59 +0000 |
|---|---|---|
| committer | sjakie | 2001-09-21 08:08:59 +0000 |
| commit | 68a9935f0203b73b5edb13a9e3996b8b06d05f48 (patch) | |
| tree | 779071559cd7c17f66dcd4b02949f9805615f34f /frontend/comparedefimp.dcl | |
| parent | Added module owners for convertDynamics, type_io and type_io_common (diff) | |
Bug fix: caching combined with omitted type and class definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.dcl')
| -rw-r--r-- | frontend/comparedefimp.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/comparedefimp.dcl b/frontend/comparedefimp.dcl index be5210b..b371c14 100644 --- a/frontend/comparedefimp.dcl +++ b/frontend/comparedefimp.dcl @@ -4,7 +4,7 @@ import syntax, checksupport // compare definition and implementation module -compareDefImp :: !{#Int} !{!FunctionBody} !Int !{#CheckedTypeDef} !DclModule !*IclModule !*Heaps !*ErrorAdmin +compareDefImp :: !{#Int} !{!FunctionBody} !Int !DclModule !*IclModule !*Heaps !*ErrorAdmin -> (!.IclModule,!.Heaps,!.ErrorAdmin) symbolTypesCorrespond :: !SymbolType !SymbolType !*TypeHeaps -> (!ComparisionErrorCode, !.TypeHeaps) |