diff options
Diffstat (limited to 'frontend/syntax.icl')
| -rw-r--r-- | frontend/syntax.icl | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl index 5118121..c13fd98 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -2,13 +2,7 @@ implementation module syntax import StdEnv, compare_constructor // ,RWSDebug -import scanner, general, Heap, typeproperties, utilities - -SupportGenerics :== False -PA_BUG on off :== on - -switch_import_syntax one_point_three two_point_zero :== one_point_three -SwitchFusion fuse dont_fuse :== dont_fuse +import scanner, general, Heap, typeproperties, utilities, compilerSwitches :: Ident = { id_name :: !String @@ -843,6 +837,7 @@ cNotVarNumber :== -1 | 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 */ @@ -1252,11 +1247,13 @@ where instance <<< TypeVar where - (<<<) file varid = file <<< varid.tv_name +// (<<<) file varid = file <<< varid.tv_name + (<<<) file varid = file <<< varid.tv_name <<< "<" <<< ptrToInt (varid.tv_info_ptr) <<< ">" instance <<< AttributeVar where - (<<<) file {av_name,av_info_ptr} = file <<< av_name +// (<<<) file {av_name,av_info_ptr} = file <<< av_name <<< "[" <<< ptrToInt av_info_ptr <<< "]" + (<<<) file {av_name,av_info_ptr} = file <<< av_name instance toString AttributeVar where |