aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorronny2003-06-19 11:16:07 +0000
committerronny2003-06-19 11:16:07 +0000
commitd1a5a14e6d7a2fed7f54c08f55085865e1813391 (patch)
tree31cb92717a4e42abb958bcada56d21f55962cca7
parentenable boxed records (diff)
s/sd__ident/sd_ident/g
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--backend/backendconvert.icl6
-rw-r--r--frontend/check.icl10
-rw-r--r--frontend/checksupport.icl2
-rw-r--r--frontend/checktypes.icl2
-rw-r--r--frontend/comparedefimp.icl4
-rw-r--r--frontend/convertimportedtypes.icl4
-rw-r--r--frontend/explicitimports.icl4
-rw-r--r--frontend/syntax.dcl4
-rw-r--r--frontend/syntax.icl2
9 files changed, 19 insertions, 19 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl
index a6fab56..2883c58 100644
--- a/backend/backendconvert.icl
+++ b/backend/backendconvert.icl
@@ -414,13 +414,13 @@ backEndConvertModulesH predefs {fe_icl =
, "dcl constructors"
, [constructor.cons_ident.id_name \\ constructor <-: currentDcl.dcl_common.com_cons_defs]
, "dcl selectors"
- , [selector.sd__ident.id_name \\ selector <-: currentDcl.dcl_common.com_selector_defs]
+ , [selector.sd_ident.id_name \\ selector <-: currentDcl.dcl_common.com_selector_defs]
, "dcl types"
, [type.td_ident.id_name \\ type <-: currentDcl.dcl_common.com_type_defs]
, "icl constructors"
, [constructor.cons_ident.id_name \\ constructor <-: icl_common.com_cons_defs]
, "icl selectors"
- , [selector.sd__ident.id_name \\ selector <-: icl_common.com_selector_defs]
+ , [selector.sd_ident.id_name \\ selector <-: icl_common.com_selector_defs]
, "icl types"
, [type.td_ident.id_name \\ type <-: icl_common.com_type_defs]
)
@@ -875,7 +875,7 @@ convertSelectors moduleIndex selectors symbols strictness
convertSelector :: ModuleIndex {#SelectorDef} Bool FieldSymbol -> BEMonad BEFieldListP
convertSelector moduleIndex selectorDefs is_strict {fs_index}
= \be0 -> let (selectorType,be) = selectorTypeFunction be0 in
- ( appBackEnd (BEDeclareField fs_index moduleIndex selectorDef.sd__ident.id_name)
+ ( appBackEnd (BEDeclareField fs_index moduleIndex selectorDef.sd_ident.id_name)
o` beField fs_index moduleIndex (convertAnnotAndTypeNode (if is_strict AN_Strict AN_None) (selectorType.st_result))) be
where
selectorDef
diff --git a/frontend/check.icl b/frontend/check.icl
index 27d8ce7..1fc6930 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -1281,8 +1281,8 @@ where
= (inc decl_index, [Declaration { decl_ident = td_ident, decl_pos = td_pos, decl_kind = STE_Type, decl_index = decl_index } : decls])
cons_def_to_dcl {cons_ident, cons_pos} (decl_index, decls)
= (inc decl_index, [Declaration { decl_ident = cons_ident, decl_pos = cons_pos, decl_kind = STE_Constructor, decl_index = decl_index } : decls])
- selector_def_to_dcl {sd__ident, sd_field, sd_pos} (decl_index, decls)
- = (inc decl_index, [Declaration { decl_ident = sd_field, decl_pos = sd_pos, decl_kind = STE_Field sd__ident, decl_index = decl_index } : decls])
+ selector_def_to_dcl {sd_ident, sd_field, sd_pos} (decl_index, decls)
+ = (inc decl_index, [Declaration { decl_ident = sd_field, decl_pos = sd_pos, decl_kind = STE_Field sd_ident, decl_index = decl_index } : decls])
class_def_to_dcl {class_ident, class_pos} (decl_index, decls)
= (inc decl_index, [Declaration { decl_ident = class_ident, decl_pos = class_pos, decl_kind = STE_Class, decl_index = decl_index } : decls])
member_def_to_dcl {me_ident, me_pos} (decl_index, decls)
@@ -1468,7 +1468,7 @@ renumber_icl_definitions_as_dcl_definitions (Yes icl_to_dcl_index_table) icl_siz
{td_ident=dummy_ident,td_index= -1,td_arity=0,td_args=[],td_attrs=[],td_context=[],td_rhs=UnknownType,td_attribute=TA_None,td_pos=NoPos,td_used_types=[]}
# dummy_symbol_type={st_vars=[],st_args=[],st_args_strictness=NotStrict,st_arity=0,st_result={at_attribute=TA_None,at_type=TE},st_context=[],st_attr_vars=[],st_attr_env=[]}
# com_selector_defs=reorder_and_enlarge_array com_selector_defs n_dictionary_selectors icl_to_dcl_index_table.[cSelectorDefs]
- {sd__ident=dummy_ident,sd_field=dummy_ident,sd_type=dummy_symbol_type,sd_exi_vars=[],sd_field_nr=0,sd_type_index=0,sd_type_ptr=nilPtr,sd_pos=NoPos}
+ {sd_ident=dummy_ident,sd_field=dummy_ident,sd_type=dummy_symbol_type,sd_exi_vars=[],sd_field_nr=0,sd_type_index=0,sd_type_ptr=nilPtr,sd_pos=NoPos}
# com_cons_defs=reorder_and_enlarge_array com_cons_defs n_dictionary_constructors icl_to_dcl_index_table.[cConstructorDefs]
{cons_ident=dummy_ident,cons_type=dummy_symbol_type,cons_arg_vars=[],cons_priority=NoPrio,cons_index= -1,cons_type_index= -1,cons_exi_vars=[],cons_type_ptr=nilPtr,cons_pos=NoPos}
# com_class_defs=reorder_array com_class_defs icl_to_dcl_index_table.[cClassDefs]
@@ -2941,11 +2941,11 @@ addImportedSymbolsToSymbolTable importing_mod opt_macro_range modules_in_compone
= ([], dcl_modules, cs)
add_field importing_mod mod_index {fs_index} (declarations_accu, dcl_modules, cs)
- # (sd=:{sd__ident, sd_field, sd_pos}, dcl_modules)
+ # (sd=:{sd_ident, sd_field, sd_pos}, dcl_modules)
= dcl_modules![mod_index].dcl_common.com_selector_defs.[fs_index]
declaration
= Declaration { decl_ident = sd_field, decl_pos = sd_pos,
- decl_kind = STE_Imported (STE_Field sd__ident) mod_index, decl_index = fs_index }
+ decl_kind = STE_Imported (STE_Field sd_ident) mod_index, decl_index = fs_index }
(is_new, cs)
= add_declaration_to_symbol_table No declaration importing_mod cs
| is_new
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl
index 0e2ae71..f015f73 100644
--- a/frontend/checksupport.icl
+++ b/frontend/checksupport.icl
@@ -619,7 +619,7 @@ where
instance toIdent SelectorDef
where
- toIdent sd = sd.sd__ident
+ toIdent sd = sd.sd_ident
/*
instance toIdent DeltaRule
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl
index c19d55a..f7d91de 100644
--- a/frontend/checktypes.icl
+++ b/frontend/checktypes.icl
@@ -1491,7 +1491,7 @@ where
(sd_type_ptr, var_heap) = newPtr VI_Empty var_heap
field_id = { id_name = field_name, id_info = id_info }
sel_def =
- { sd__ident = field_id
+ { sd_ident = field_id
, sd_field = field_id
, sd_type = { st_vars = [], st_args = [ rec_type ], st_args_strictness=Strict 1, st_result = field_type, st_arity = 1,
st_context = [], st_attr_vars = [], st_attr_env = [] }
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl
index ee91f96..3d9a632 100644
--- a/frontend/comparedefimp.icl
+++ b/frontend/comparedefimp.icl
@@ -614,8 +614,8 @@ instance getIdentPos ConsDef where
= newPosition cons_ident cons_pos
instance getIdentPos SelectorDef where
- getIdentPos {sd__ident, sd_pos}
- = newPosition sd__ident sd_pos
+ getIdentPos {sd_ident, sd_pos}
+ = newPosition sd_ident sd_pos
instance getIdentPos ClassDef where
getIdentPos {class_ident, class_pos}
diff --git a/frontend/convertimportedtypes.icl b/frontend/convertimportedtypes.icl
index 7f49171..eb9aede 100644
--- a/frontend/convertimportedtypes.icl
+++ b/frontend/convertimportedtypes.icl
@@ -49,7 +49,7 @@ convertSelectorTypes selector_defs main_dcl_module_n common_defs types_and_heaps
= iFoldSt (convert_selector_type common_defs selector_defs) 0 (size selector_defs) types_and_heaps
where
convert_selector_type common_defs selector_defs sel_index (imported_types, imported_conses, var_heap, type_heaps)
- #!{sd_type_ptr, sd_type, sd__ident} = selector_defs.[sel_index]
+ #!{sd_type_ptr, sd_type, sd_ident} = selector_defs.[sel_index]
(sd_type, imported_types, imported_conses, type_heaps, var_heap)
= convertSymbolType cDontRemoveAnnotations common_defs sd_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
= (imported_types, imported_conses, var_heap <:= (sd_type_ptr, VI_ExpandedType sd_type), type_heaps)
@@ -124,7 +124,7 @@ where
where
convert_type_of_imported_field module_index selector_defs fields field_index (imported_types, conses, type_heaps, var_heap)
#!field_index = fields.[field_index].fs_index
- {sd_type_ptr,sd_type,sd__ident} = selector_defs.[field_index]
+ {sd_type_ptr,sd_type,sd_ident} = selector_defs.[field_index]
(sd_type, imported_types, conses, type_heaps, var_heap)
= convertSymbolType cDontRemoveAnnotations common_defs sd_type main_dcl_module_n imported_types conses type_heaps var_heap
= (imported_types, conses, type_heaps, var_heap <:= (sd_type_ptr, VI_ExpandedType sd_type))
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl
index 63b1c51..593e8b4 100644
--- a/frontend/explicitimports.icl
+++ b/frontend/explicitimports.icl
@@ -229,10 +229,10 @@ solveExplicitImports expl_imp_indices_ikh modules_in_component_set importing_mod
decl_index = ds_index }, dcl_modules)
BS_Fields rt_fields
# {fs_ident, fs_index} = rt_fields.[belong_nr]
- ({sd__ident}, dcl_modules)
+ ({sd_ident}, dcl_modules)
= dcl_modules![def_mod_index].dcl_common.com_selector_defs.[fs_index]
-> (Declaration { decl_ident = fs_ident, decl_pos = position,
- decl_kind = STE_Imported (STE_Field sd__ident) def_mod_index,
+ decl_kind = STE_Imported (STE_Field sd_ident) def_mod_index,
decl_index = fs_index }, dcl_modules)
BS_Members class_members
# {ds_ident, ds_index} = class_members.[belong_nr]
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 06f2cdb..c9b468b 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -839,7 +839,7 @@ cNonRecursiveAppl :== False
}
:: SelectorDef =
- { sd__ident :: !Ident
+ { sd_ident :: !Ident
, sd_field :: !Ident
, sd_type :: !SymbolType
, sd_exi_vars :: ![ATypeVar]
@@ -1406,7 +1406,7 @@ MakeTypeSymbIdent type_index name arity
:== { newTypeSymbIdentCAF & type_ident = name, type_arity = arity, type_index = type_index }
ParsedSelectorToSelectorDef sd_type_index ps :==
- { sd__ident = ps.ps_selector_ident, sd_field_nr = NoIndex, sd_pos = ps.ps_field_pos, sd_type_index = sd_type_index,
+ { sd_ident = ps.ps_selector_ident, sd_field_nr = NoIndex, sd_pos = ps.ps_field_pos, sd_type_index = sd_type_index,
sd_exi_vars = [], sd_type_ptr = nilPtr, sd_field = ps.ps_field_ident,
sd_type = { st_vars = [], st_args = [], st_args_strictness=NotStrict, st_result = ps.ps_field_type, st_arity = 0, st_context = [],
st_attr_env = [], st_attr_vars = [] }}
diff --git a/frontend/syntax.icl b/frontend/syntax.icl
index 31dbf64..ba7de81 100644
--- a/frontend/syntax.icl
+++ b/frontend/syntax.icl
@@ -735,7 +735,7 @@ where
instance <<< SelectorDef
where
- (<<<) file {sd__ident} = file <<< sd__ident
+ (<<<) file {sd_ident} = file <<< sd_ident
instance <<< ClassDef
where