Commit 27c6f4a9 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏘
Browse files

reification of type definitions

parent 1624cadf
/*
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
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment