aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/classify.icl6
1 files changed, 4 insertions, 2 deletions
diff --git a/frontend/classify.icl b/frontend/classify.icl
index 25b8837..e14086a 100644
--- a/frontend/classify.icl
+++ b/frontend/classify.icl
@@ -647,6 +647,8 @@ instance consumerRequirements Case where
= True
is_sorted [h1:t=:[h2:_]]
= h1 < h2 && is_sorted t
+ is_sorted []
+ = True
sort constr_indices unsafe_bits
= sortBy smaller (zip3 constr_indices [0..] unsafe_bits)
@@ -714,7 +716,7 @@ where
-> True
_ -> False //---> ("not ok_pattern_type",patterns)
pattern_constructors = case patterns of
- (AlgebraicPatterns {glob_object, glob_module} algebraic_patterns)
+ (AlgebraicPatterns _ algebraic_patterns)
-> [ glob_object.ds_index \\ {ap_symbol={glob_object}}<-algebraic_patterns] //---> ("AlgebraicPatterns")
(BasicPatterns BT_Bool basic_patterns)
-> [ if bool 1 0 \\ {bp_value=BVB bool}<-basic_patterns ] //---> ("BasicPatterns Bool")
@@ -1367,7 +1369,7 @@ where
UStrict -> CUnusedStrict
ULazy -> CUnusedLazy
UMixed -> CUnusedStrict
-
+
collect_deps :: !UnusedStatus ![!RefCount!] -> UnusedStatus
collect_deps s [|]
= s