diff options
Diffstat (limited to 'frontend/check.dcl')
| -rw-r--r-- | frontend/check.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/check.dcl b/frontend/check.dcl index c28d7c7..77fb153 100644 --- a/frontend/check.dcl +++ b/frontend/check.dcl @@ -14,3 +14,5 @@ determineTypeOfMemberInstance :: !SymbolType ![TypeVar] !InstanceType !Specials arrayFunOffsetToPD_IndexTable :: !w:{# MemberDef} !v:{# PredefinedSymbol} -> (!{# Index}, !x:{#MemberDef}, !v:{#PredefinedSymbol}) , [w<=x] makeElemTypeOfArrayFunctionStrict :: !SymbolType !Index !{# Index} -> SymbolType + +initializeContextVariables :: ![TypeContext] !*VarHeap -> (![TypeContext], !*VarHeap) |