From 2697c570707ffa379225b6112b09fdec654eb0c8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 7 Sep 2017 18:02:23 -0400
Subject: - Replaced the term "total" with "exhaustive".

---
 new-luxc/source/luxc/analyser/case.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'new-luxc/source/luxc/analyser/case.lux')

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))]
-- 
cgit v1.2.3