diff options
Diffstat (limited to 'frontend/check.dcl')
| -rw-r--r-- | frontend/check.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/check.dcl b/frontend/check.dcl index b627dec..ceff133 100644 --- a/frontend/check.dcl +++ b/frontend/check.dcl @@ -15,7 +15,7 @@ checkForeignExportedFunctionTypes :: ![ForeignExport] !*ErrorAdmin !p:Predefined -> (!*ErrorAdmin,!p:PredefinedSymbols,!*{#FunDef}) determineTypeOfMemberInstance :: !SymbolType ![TypeVar] !InstanceType !Specials !*TypeHeaps !u:(Optional (v:{#DclModule}, w:{#CheckedTypeDef}, Index)) !*ErrorAdmin - -> (!SymbolType, !Specials, !*TypeHeaps, !u:Optional (v:{#DclModule}, w:{#CheckedTypeDef}), !*ErrorAdmin) + -> (!SymbolType, !FunSpecials, !*TypeHeaps,!u: Optional (v:{#DclModule}, w:{#CheckedTypeDef}), !*ErrorAdmin) arrayFunOffsetToPD_IndexTable :: !w:{# MemberDef} !v:{# PredefinedSymbol} -> (!{# Index}, !x:{#MemberDef}, !v:{#PredefinedSymbol}) , [w<=x] |