Commit 714115b9 authored by Martin Wierich's avatar Martin Wierich
Browse files

I wanted to commit this together with the icl file, but it didn't fit

on the MS-DOS command line anymore, what a pitty
parent fb93653e
...@@ -4,14 +4,6 @@ import StdEnv ...@@ -4,14 +4,6 @@ import StdEnv
import scanner, general, typeproperties, Heap import scanner, general, typeproperties, Heap
SupportGenerics :== False
PA_BUG on off :== on
switch_import_syntax one_point_three two_point_zero :== one_point_three
/* when finally removing this switch also remove the argument of STE_Instance and ID_OldSyntax */
SwitchFusion fuse dont_fuse :== dont_fuse
:: Ident = :: Ident =
{ id_name :: !String { id_name :: !String
, id_info :: !SymbolPtr , id_info :: !SymbolPtr
...@@ -874,6 +866,7 @@ cNonRecursiveAppl :== False ...@@ -874,6 +866,7 @@ cNonRecursiveAppl :== False
| TVI_TypeCode !TypeCodeExpression | TVI_TypeCode !TypeCodeExpression
| TVI_CPSLocalTypeVar !Int /* MdM - the index of the variable as generated by the theorem prover */ | 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_Kinds ![TypeKind] // AA: used to collect kinds during checking
| TVI_Kind !TypeKind
| TVI_ConsInstance !DefinedSymbol //AA: generic cons instance function | TVI_ConsInstance !DefinedSymbol //AA: generic cons instance function
| TVI_Normalized !Int /* MV - position of type variable in its definition */ | TVI_Normalized !Int /* MV - position of type variable in its definition */
......
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