From c50667a431a5ca67328a230f0c59956dc6ff43fa Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 9 Jun 2017 20:53:26 -0400
Subject: - Added loop synthesis. - Some refactoring.

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

(limited to 'new-luxc/source/luxc/analyser')

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