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