aboutsummaryrefslogtreecommitdiff
path: root/frontend/postparse.icl
diff options
context:
space:
mode:
authorjohnvg2012-08-14 10:39:44 +0000
committerjohnvg2012-08-14 10:39:44 +0000
commit7c5e3ff056c054ef5cd94962808163073d48c0d0 (patch)
tree3d7589ea9c9748dc4bcd64d9a59c6c7516c20d97 /frontend/postparse.icl
parentadd 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/postparse.icl')
-rw-r--r--frontend/postparse.icl4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/postparse.icl b/frontend/postparse.icl
index c34395f..09de749 100644
--- a/frontend/postparse.icl
+++ b/frontend/postparse.icl
@@ -1318,11 +1318,11 @@ reorganiseDefinitions icl_module [PD_Type type_def=:{td_rhs = AbstractTypeSpec p
type_def = { type_def & td_rhs = AbstractSynType properties type }
c_defs = { c_defs & def_types = [type_def : c_defs.def_types] }
= (fun_defs, c_defs, imports, imported_objects,foreign_exports, ca)
-reorganiseDefinitions icl_module [PD_Type type_def=:{td_rhs = ExtendableConses cons_defs} : defs] def_counts=:{cons_count,type_count} ca
+reorganiseDefinitions icl_module [PD_Type type_def=:{td_rhs = ExtensibleConses cons_defs} : defs] def_counts=:{cons_count,type_count} ca
# (cons_symbs, cons_count) = determine_symbols_of_conses cons_defs cons_count
def_counts & cons_count=cons_count, type_count=type_count+1
(fun_defs, c_defs, imports, imported_objects,foreign_exports, ca) = reorganiseDefinitions icl_module defs def_counts ca
- type_def & td_rhs = ExtendableAlgType cons_symbs
+ type_def & td_rhs = ExtensibleAlgType cons_symbs
c_defs & def_types = [type_def : c_defs.def_types], def_constructors = mapAppend ParsedConstructorToConsDef cons_defs c_defs.def_constructors
= (fun_defs, c_defs, imports, imported_objects,foreign_exports, ca)
reorganiseDefinitions icl_module [PD_Type type_def=:{td_rhs = MoreConses type_ext_ident cons_defs} : defs] def_counts=:{cons_count,type_count} ca