Commit 92a774a8 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl
Browse files

make type TypeVarInfo extensible, remove TVI_CPSTypeVar (for Sparkle), remove type CheatCompiler

parent c813ba99
...@@ -2,5 +2,3 @@ definition module ...@@ -2,5 +2,3 @@ definition module
IndexType IndexType
:: Index :== Int :: Index :== Int
:: CheatCompiler = CheatCompiler
\ No newline at end of file
...@@ -2,5 +2,3 @@ implementation module ...@@ -2,5 +2,3 @@ implementation module
IndexType IndexType
:: Index :== Int :: Index :== Int
:: CheatCompiler = CheatCompiler
\ No newline at end of file
...@@ -1159,8 +1159,8 @@ cNotVarNumber :== -1 ...@@ -1159,8 +1159,8 @@ cNotVarNumber :== -1
| TVI_Iso !DefinedSymbol !DefinedSymbol !DefinedSymbol | TVI_Iso !DefinedSymbol !DefinedSymbol !DefinedSymbol
| TVI_GenTypeVarNumber !Int | TVI_GenTypeVarNumber !Int
| TVI_TypeVarArgN !Int // type argument number in module backendconvert | TVI_TypeVarArgN !Int // type argument number in module backendconvert
| TVI_CPSTypeVar !CheatCompiler /* MdM: a pointer to a variable in CleanProverSystem is stored here, using a cast */
| TVI_Attr !TypeAttribute | TVI_Attr !TypeAttribute
| ..
:: TypeVarInfoPtr :== Ptr TypeVarInfo :: TypeVarInfoPtr :== Ptr TypeVarInfo
:: TypeVarHeap :== Heap TypeVarInfo :: TypeVarHeap :== Heap TypeVarInfo
......
Supports Markdown
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