aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/case/coverage.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/analyser/case/coverage.lux')
-rw-r--r--new-luxc/source/luxc/analyser/case/coverage.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/analyser/case/coverage.lux b/new-luxc/source/luxc/analyser/case/coverage.lux
index 754e555b2..5989952ee 100644
--- a/new-luxc/source/luxc/analyser/case/coverage.lux
+++ b/new-luxc/source/luxc/analyser/case/coverage.lux
@@ -271,13 +271,13 @@
#;None
(case (list;reverse possibilities)
- #;Nil
- (R;fail "{ This is not supposed to happen... }")
-
(#;Cons last prevs)
(wrap (L/fold (function [left right] (#Alt left right))
last
- prevs))))))
+ prevs))
+
+ #;Nil
+ (undefined)))))
_
(if (C/= so-far addition)