Commit 02ea58b5 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl
Browse files

remove constructor TVI_CPSLocalTypeVar (from Sparkle)

parent ba608ce6
......@@ -1154,7 +1154,6 @@ cNotVarNumber :== -1
| TVI_Reify !Int
| TVI_Used /* to administer that this variable is encountered (in checkOpenTypes) */
| TVI_TypeCode !TypeCodeExpression
| TVI_CPSLocalTypeVar !Int /* MdM - the index of the variable as generated by the theorem prover */
| TVI_Kinds ![TypeKind] // AA: used to collect kinds during checking
| TVI_Kind !TypeKind
| TVI_ConsInstance !DefinedSymbol //AA: generic cons instance function
......
......@@ -825,7 +825,6 @@ where
(<<<) file (TVI_AType at) = file <<< "TVI_AType " <<< at
(<<<) file TVI_Used = file <<< "TVI_Used"
(<<<) file (TVI_TypeCode _) = file <<< "TVI_TypeCode"
(<<<) file (TVI_CPSLocalTypeVar _) = file <<< "TVI_CPSLocalTypeVar"
(<<<) file (TVI_Kinds _) = file <<< "TVI_Kinds"
(<<<) file (TVI_PropClass _ _ _) = file <<< "TVI_PropClass"
(<<<) file (TVI_TypeKind kind_info_ptr) = file <<< "TVI_TypeKind " <<< (ptrToInt kind_info_ptr)
......
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