diff options
Diffstat (limited to 'frontend/typereify.dcl')
| -rw-r--r-- | frontend/typereify.dcl | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/frontend/typereify.dcl b/frontend/typereify.dcl new file mode 100644 index 0000000..2c1e361 --- /dev/null +++ b/frontend/typereify.dcl @@ -0,0 +1,22 @@ +/* + module owner: Ronny Wichers Schreur +*/ +definition module typereify + +from syntax import + ::Ident, ::FunDef, ::IndexRange, ::TypeHeaps, + ::SymbolTable, ::SymbolTableEntry, ::Heap +from checksupport import + ::DclModule, ::CommonDefs, ::VarHeap, ::VarInfo +from predef import + ::PredefinedSymbols, ::PredefinedSymbol + +addTypeFunctions :: Ident Int *{#DclModule} *{#FunDef} *CommonDefs *PredefinedSymbols *VarHeap *SymbolTable + -> (IndexRange, *{#DclModule}, *{#FunDef}, *CommonDefs, *PredefinedSymbols, *VarHeap, *SymbolTable) + +buildTypeFunctions :: !Int !*{#FunDef} !{#CommonDefs} + *PredefinedSymbols *VarHeap *TypeHeaps + -> (*{#FunDef}, *PredefinedSymbols, *VarHeap, *TypeHeaps) + +sanityCheckTypeFunctions :: !Int !CommonDefs !{#DclModule} !{#FunDef} + -> Bool |