diff options
| author | johnvg | 2011-04-14 12:53:59 +0000 |
|---|---|---|
| committer | johnvg | 2011-04-14 12:53:59 +0000 |
| commit | 60c9b01a4b2c6c1f3dc56cd8edbc90118f751511 (patch) | |
| tree | f0fd64fc71795c8412f2116c7d59fd3e61df7d8d /frontend/comparedefimp.dcl | |
| parent | commit more changes for: (diff) | |
replace field dcl_macro_conversions by dcl_has_macro_conversions of type DclModule
(to have fewer differences with the haskell frontend branch),
the conversion table for macros is not used after checking
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1919 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 15d59ca..cf9492c 100644 --- a/frontend/comparedefimp.dcl +++ b/frontend/comparedefimp.dcl @@ -4,8 +4,8 @@ import syntax, checksupport // compare definition and implementation module -compareDefImp :: /*!{#Int}*/ !Int !DclModule !Int !*IclModule !*{#*{#FunDef}} !*Heaps !*ErrorAdmin - -> (!.IclModule,!.{#.{#FunDef}},!.Heaps,!.ErrorAdmin) +compareDefImp :: !Int !DclModule !(Optional {#Index}) !Int !*IclModule !*{#*{#FunDef}} !*Heaps !*ErrorAdmin + -> (!.IclModule,!.{#.{#FunDef}},!.Heaps,!.ErrorAdmin) symbolTypesCorrespond :: !SymbolType !SymbolType !*TypeHeaps -> (!ComparisionErrorCode, !.TypeHeaps) |