diff options
Diffstat (limited to 'frontend/check.dcl')
| -rw-r--r-- | frontend/check.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/check.dcl b/frontend/check.dcl index 720c1c3..b627dec 100644 --- a/frontend/check.dcl +++ b/frontend/check.dcl @@ -8,8 +8,8 @@ checkModule :: !ScannedModule !IndexRange ![FunDef] !Bool !Bool !Int !(Optional checkFunctions :: !Index !Level !Index !Index !Int !*{#FunDef} !*ExpressionInfo !*Heaps !*CheckState -> (!*{#FunDef},!*ExpressionInfo,!*Heaps,!*CheckState) -checkDclMacros :: !Index !Level !Index !Index !*{#FunDef} !*ExpressionInfo !*Heaps !*CheckState - -> (!*{#FunDef},!*ExpressionInfo,!*Heaps,!*CheckState) +checkDclMacros :: !Index !Level !Index !Index !*ExpressionInfo !*Heaps !*CheckState + -> (!*ExpressionInfo,!*Heaps,!*CheckState) checkForeignExportedFunctionTypes :: ![ForeignExport] !*ErrorAdmin !p:PredefinedSymbols !*{#FunDef} -> (!*ErrorAdmin,!p:PredefinedSymbols,!*{#FunDef}) |