diff options
| author | johnvg | 2012-08-14 10:39:44 +0000 |
|---|---|---|
| committer | johnvg | 2012-08-14 10:39:44 +0000 |
| commit | 7c5e3ff056c054ef5cd94962808163073d48c0d0 (patch) | |
| tree | 3d7589ea9c9748dc4bcd64d9a59c6c7516c20d97 /frontend/checktypes.icl | |
| parent | add extendable algebraic data types (merged from iTask branch) (diff) | |
rename extendable to extensible
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2150 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 6bb24d9..8179002 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -434,7 +434,7 @@ where check_rhs_of_TypeDef {td_rhs = AbstractSynType properties type} _ cti ts_ti_cs # (type, type_attr, ts_ti_cs) = bindTypes cti type ts_ti_cs = (AbstractSynType properties type, ts_ti_cs) - check_rhs_of_TypeDef {td_ident,td_arity,td_args,td_rhs = td_rhs=:ExtendableAlgType conses} attr_vars cti=:{cti_module_index,cti_type_index,cti_lhs_attribute} class_defs_ts_ti_cs + check_rhs_of_TypeDef {td_ident,td_arity,td_args,td_rhs = td_rhs=:ExtensibleAlgType conses} attr_vars cti=:{cti_module_index,cti_type_index,cti_lhs_attribute} class_defs_ts_ti_cs # type_lhs = { at_attribute = cti_lhs_attribute, at_type = TA (MakeTypeSymbIdent {glob_object = cti_type_index, glob_module = cti_module_index} td_ident td_arity) [{at_attribute = atv_attribute,at_type = TV atv_variable} \\ {atv_variable, atv_attribute} <- td_args]} @@ -447,7 +447,7 @@ where cs & cs_symbol_table = cs_symbol_table | type_index <> NotFound # ts_ti_cs = (ts,ti,cs) - // to do check if ExtendableAlgType + // to do check if ExtensibleAlgType # type_lhs = { at_attribute = cti_lhs_attribute, at_type = TA (MakeTypeSymbIdent { glob_object = type_index, glob_module = type_module } td_ident td_arity) [{at_attribute = atv_attribute,at_type = TV atv_variable} \\ {atv_variable, atv_attribute} <- td_args]} |