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/classify.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/classify.icl')
| -rw-r--r-- | frontend/classify.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/classify.icl b/frontend/classify.icl index 5279695..0e5725f 100644 --- a/frontend/classify.icl +++ b/frontend/classify.icl @@ -690,7 +690,7 @@ instance consumerRequirements Case where defined_symbols = case type_def.td_rhs of AlgType defined_symbols -> defined_symbols RecordType {rt_constructor} -> [rt_constructor] - ExtendableAlgType defined_symbols -> defined_symbols + ExtensibleAlgType defined_symbols -> defined_symbols AlgConses defined_symbols _ -> defined_symbols all_constructors = [ ds_index \\ {ds_index}<-defined_symbols ] all_sorted_constructors = if (is_sorted all_constructors) @@ -710,7 +710,7 @@ instance consumerRequirements Case where defined_symbols = case type_def.td_rhs of AlgType defined_symbols -> defined_symbols RecordType {rt_constructor} -> [rt_constructor] - ExtendableAlgType defined_symbols -> defined_symbols + ExtensibleAlgType defined_symbols -> defined_symbols AlgConses defined_symbols _ -> defined_symbols all_constructors = [ ds_index \\ {ds_index}<-defined_symbols ] all_sorted_constructors = if (is_sorted all_constructors) all_constructors (sortBy (<) all_constructors) |