diff options
| author | martinw | 2001-05-11 09:26:27 +0000 |
|---|---|---|
| committer | martinw | 2001-05-11 09:26:27 +0000 |
| commit | 1d33a78193dd5ad5d85a3cf051f47699b103a610 (patch) | |
| tree | a9637f7feea9d65aae1ea27361d87a659258e34b | |
| parent | improving error message (diff) | |
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
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@426 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/syntax.dcl | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 1a53ace..157a100 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -4,14 +4,6 @@ import StdEnv 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 = { id_name :: !String , id_info :: !SymbolPtr @@ -874,6 +866,7 @@ cNonRecursiveAppl :== False | 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 | TVI_Normalized !Int /* MV - position of type variable in its definition */ |