diff options
author | Eduardo Julian | 2017-09-07 18:02:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-09-07 18:02:23 -0400 |
commit | 2697c570707ffa379225b6112b09fdec654eb0c8 (patch) | |
tree | 29ec3aa21c17d65eb081e0cb011a88e405175234 /new-luxc/source/luxc/analyser/case.lux | |
parent | 15fdd08d7224442bca86a3d4d154b7f65bf019ef (diff) |
- Replaced the term "total" with "exhaustive".
Diffstat (limited to 'new-luxc/source/luxc/analyser/case.lux')
-rw-r--r-- | new-luxc/source/luxc/analyser/case.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/analyser/case.lux b/new-luxc/source/luxc/analyser/case.lux index 0f5b4da4e..8ef4b030b 100644 --- a/new-luxc/source/luxc/analyser/case.lux +++ b/new-luxc/source/luxc/analyser/case.lux @@ -234,9 +234,9 @@ (|> outputH product;left &&coverage;determine) (L/map (|>. product;left &&coverage;determine) outputT)) (#R;Success coverage) - (if (&&coverage;total? coverage) + (if (&&coverage;exhaustive? coverage) (wrap []) - (&;fail "Pattern-matching is not total.")) + (&;fail "Pattern-matching is not exhaustive.")) (#R;Error error) (&;fail error))] |