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 583ebe6..c28d7c7 100644 --- a/frontend/check.dcl +++ b/frontend/check.dcl @@ -5,7 +5,7 @@ import syntax, transform, checksupport, typesupport, predef cPredefinedModuleIndex :== 1 checkModule :: !ScannedModule !IndexRange ![FunDef] !Int !Int !(Optional ScannedModule) ![ScannedModule] !{#DclModule} !{#FunDef} !*PredefinedSymbols !*SymbolTable !*File !*Heaps - -> (!Bool, *IclModule, *{# DclModule}, *{! Group}, !(Optional {# Index}), !.{#FunDef},!Int, !*Heaps, !*PredefinedSymbols, !*SymbolTable, *File) + -> (!Bool, *IclModule, *{# DclModule}, *{! Group}, !(Optional {# Index}), !.{#FunDef},!Int, !*Heaps, !*PredefinedSymbols, !*SymbolTable, *File /* TD */, [String]) checkFunctions :: !Index !Level !Index !Index !*{#FunDef} !*ExpressionInfo !*Heaps !*CheckState -> (!*{#FunDef}, !*ExpressionInfo, !*Heaps, !*CheckState) |