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/comparedefimp.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/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index c408bc8..26c1a4f 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -72,9 +72,9 @@ where compare_rhs_of_types (AbstractSynType _ dclType) (SynType iclType) dcl_cons_defs icl_cons_defs comp_st # (ok, comp_st) = compare dclType iclType comp_st = (ok, icl_cons_defs, comp_st) - compare_rhs_of_types (ExtendableAlgType []) (ExtendableAlgType []) dcl_cons_defs icl_cons_defs comp_st + compare_rhs_of_types (ExtensibleAlgType []) (ExtensibleAlgType []) dcl_cons_defs icl_cons_defs comp_st = (True, icl_cons_defs, comp_st) - compare_rhs_of_types (ExtendableAlgType dclConstructors) (ExtendableAlgType iclConstructors) dcl_cons_defs icl_cons_defs comp_st + compare_rhs_of_types (ExtensibleAlgType dclConstructors) (ExtensibleAlgType iclConstructors) dcl_cons_defs icl_cons_defs comp_st = compare_constructor_lists dclConstructors iclConstructors dcl_cons_defs icl_cons_defs comp_st compare_rhs_of_types (AlgConses dclConstructors dcl_type_index) (AlgConses iclConstructors icl_type_index) dcl_cons_defs icl_cons_defs comp_st | dcl_type_index==icl_type_index @@ -970,7 +970,7 @@ instance t_corresponds TypeRhs where = t_corresponds dclType iclType t_corresponds (NewType dclConstructor) (NewType iclConstructor) = t_corresponds dclConstructor iclConstructor - t_corresponds (ExtendableAlgType dclConstructors) (ExtendableAlgType iclConstructors) + t_corresponds (ExtensibleAlgType dclConstructors) (ExtensibleAlgType iclConstructors) = t_corresponds dclConstructors iclConstructors // sanity check ... |