aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.icl
diff options
context:
space:
mode:
authorronny2003-05-16 09:59:19 +0000
committerronny2003-05-16 09:59:19 +0000
commitd70d064e64fea680078f0248e6ddb8ece76e0cde (patch)
tree0976d44630b049a5ddfb70de86b279d71435af17 /frontend/checksupport.icl
parentfoldExp - added alternative for EE (diff)
renamed field names of type Ident in syntax tree
s/\<mod_name\>/mod_ident/g s/\<ps_field_name\>/ps_field_ident/g s/\<ps_selector_name\>/ps_selector_ident/g s/\<pc_cons_name\>/pc_cons_ident/g s/\<class_name\>/class_ident/g s/\<gen_name\>/gen_ident/g s/\<gen_member_name\>/gen_member_ident/g s/\<gc_name\>/gc_ident/g s/\<gc_gname\>/gc_gident/g s/\<fs_name\>/fs_ident/g s/\<td_name\>/td_ident/g s/\<fv_name\>/fv_ident/g s/\<var_name\>/var_ident/g s/\<type_name\>/type_ident/g s/\<symb_name\>/symb_ident/g s/\<tv_name\>/tv_ident/g s/\<av_name\>/av_ident/g s/\<me_symb\>/me_ident/g s/\<ft_symb\>/ft_ident/g s/\<fun_symb\>/fun_ident/g s/\<cons_symb\>/cons_ident/g s/\<sd_symb\>/sd__ident/g git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1340 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.icl')
-rw-r--r--frontend/checksupport.icl32
1 files changed, 16 insertions, 16 deletions
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl
index 2c162c7..0e2ae71 100644
--- a/frontend/checksupport.icl
+++ b/frontend/checksupport.icl
@@ -199,7 +199,7 @@ class envLookUp a :: !a !(Env Ident .b) -> (!Bool,.b)
instance envLookUp TypeVar
where
envLookUp var [bind:binds]
- | var.tv_name == bind.bind_src
+ | var.tv_ident == bind.bind_src
= (True, bind.bind_dst)
= envLookUp var binds
envLookUp var []
@@ -208,7 +208,7 @@ where
instance envLookUp AttributeVar
where
envLookUp var [bind:binds]
- | var.av_name == bind.bind_src
+ | var.av_ident == bind.bind_src
= (True, bind.bind_dst)
= envLookUp var binds
envLookUp var []
@@ -217,7 +217,7 @@ where
instance envLookUp ATypeVar
where
envLookUp var=:{atv_variable} [bind:binds]
- | atv_variable.tv_name == bind.bind_src
+ | atv_variable.tv_ident == bind.bind_src
= (True, bind.bind_dst)
= envLookUp var binds
envLookUp var []
@@ -323,7 +323,7 @@ addLocalFunctionDefsToSymbolTable level from_index to_index is_macro_fun fun_def
| from_index == to_index
= (fun_defs, symbol_table, error)
# (fun_def, fun_defs) = fun_defs![from_index]
- # (symbol_table, error) = addDefToSymbolTable level from_index fun_def.fun_symb (STE_FunctionOrMacro []) symbol_table error
+ # (symbol_table, error) = addDefToSymbolTable level from_index fun_def.fun_ident (STE_FunctionOrMacro []) symbol_table error
| is_macro_fun
# fun_defs = {fun_defs & [from_index].fun_info.fi_properties = fun_def.fun_info.fi_properties bitor FI_IsMacroFun }
= addLocalFunctionDefsToSymbolTable level (inc from_index) to_index is_macro_fun fun_defs symbol_table error
@@ -334,7 +334,7 @@ addLocalDclMacroDefsToSymbolTable level module_index from_index to_index macro_d
| from_index == to_index
= (macro_defs, symbol_table, error)
# (macro_def, macro_defs) = macro_defs![module_index,from_index]
- # (symbol_table, error) = addDefToSymbolTable level from_index macro_def.fun_symb (STE_DclMacroOrLocalMacroFunction []) symbol_table error
+ # (symbol_table, error) = addDefToSymbolTable level from_index macro_def.fun_ident (STE_DclMacroOrLocalMacroFunction []) symbol_table error
# macro_defs = {macro_defs & [module_index].[from_index].fun_info.fi_properties = macro_def.fun_info.fi_properties bitor FI_IsMacroFun }
= addLocalDclMacroDefsToSymbolTable level module_index (inc from_index) to_index macro_defs symbol_table error
@@ -574,23 +574,23 @@ class toIdent a :: !a -> Ident
instance toIdent SymbIdent
where
- toIdent symb = symb.symb_name
+ toIdent symb = symb.symb_ident
instance toIdent TypeSymbIdent
where
- toIdent type_symb = type_symb.type_name
+ toIdent type_symb = type_symb.type_ident
instance toIdent BoundVar
where
- toIdent var = var.var_name
+ toIdent var = var.var_ident
instance toIdent TypeVar
where
- toIdent tvar = tvar.tv_name
+ toIdent tvar = tvar.tv_ident
instance toIdent ATypeVar
where
- toIdent {atv_variable} = atv_variable.tv_name
+ toIdent {atv_variable} = atv_variable.tv_ident
instance toIdent Ident
@@ -599,27 +599,27 @@ where
instance toIdent ConsDef
where
- toIdent cons = cons.cons_symb
+ toIdent cons = cons.cons_ident
instance toIdent (TypeDef a)
where
- toIdent td = td.td_name
+ toIdent td = td.td_ident
instance toIdent ClassDef
where
- toIdent cl = cl.class_name
+ toIdent cl = cl.class_ident
instance toIdent MemberDef
where
- toIdent me = me.me_symb
+ toIdent me = me.me_ident
instance toIdent FunDef
where
- toIdent fun = fun.fun_symb
+ toIdent fun = fun.fun_ident
instance toIdent SelectorDef
where
- toIdent sd = sd.sd_symb
+ toIdent sd = sd.sd__ident
/*
instance toIdent DeltaRule