diff options
| author | martinw | 2001-04-20 09:40:11 +0000 |
|---|---|---|
| committer | martinw | 2001-04-20 09:40:11 +0000 |
| commit | e9e6e7d4ab5e273f003b3149effb16ed7eb7672d (patch) | |
| tree | 9d9f53ba3cd67e7b830c17cbd1740f480ecec9d0 /frontend/comparedefimp.dcl | |
| parent | bugfix: the compiler recognized f in the following example as a node and (diff) | |
*** empty log message ***
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@362 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.dcl')
| -rw-r--r-- | frontend/comparedefimp.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/comparedefimp.dcl b/frontend/comparedefimp.dcl index 1652f37..2c099d2 100644 --- a/frontend/comparedefimp.dcl +++ b/frontend/comparedefimp.dcl @@ -7,3 +7,4 @@ import syntax, checksupport compareDefImp :: !{#Int} !{!FunctionBody} !Int !{#CheckedTypeDef} !DclModule !*IclModule !*Heaps !*ErrorAdmin -> (!.IclModule,!.Heaps,!.ErrorAdmin) +symbolTypesCorrespond :: !SymbolType !SymbolType !*TypeHeaps -> (!Bool, !.TypeHeaps) |