diff options
Diffstat (limited to 'frontend/check.dcl')
| -rw-r--r-- | frontend/check.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/check.dcl b/frontend/check.dcl index c91ac95..7da5d78 100644 --- a/frontend/check.dcl +++ b/frontend/check.dcl @@ -18,3 +18,6 @@ convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index determineTypeOfMemberInstance :: !SymbolType ![TypeVar] !InstanceType !Specials !*TypeHeaps -> (!SymbolType, !Specials, !*TypeHeaps) +arrayFunOffsetToPD_IndexTable :: !{# MemberDef} !v:{# PredefinedSymbol} -> (!{# Index}, !{#MemberDef}, !v:{#PredefinedSymbol}) + +makeElemTypeOfArrayFunctionStrict :: !SymbolType !Index !{# Index} -> SymbolType |