diff options
Diffstat (limited to 'frontend/typereify.dcl')
| -rw-r--r-- | frontend/typereify.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/typereify.dcl b/frontend/typereify.dcl index bc1ea08..cc5b5d5 100644 --- a/frontend/typereify.dcl +++ b/frontend/typereify.dcl @@ -10,7 +10,7 @@ from syntax import from predef import ::PredefinedSymbols, ::PredefinedSymbol -addTypeFunctions :: Ident Int *{#DclModule} *{#FunDef} *CommonDefs *PredefinedSymbols *VarHeap *SymbolTable +addTypeFunctions :: Int *{#DclModule} *{#FunDef} *CommonDefs *PredefinedSymbols *VarHeap *SymbolTable -> (IndexRange, *{#DclModule},*{#FunDef},*CommonDefs,*PredefinedSymbols,*VarHeap,*SymbolTable) buildTypeFunctions :: !Int !*{#FunDef} !{#CommonDefs} !*PredefinedSymbols !*VarHeap !*TypeHeaps |