diff options
author | Eduardo Julian | 2017-06-09 20:53:26 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-06-09 20:53:26 -0400 |
commit | c50667a431a5ca67328a230f0c59956dc6ff43fa (patch) | |
tree | d07416c74b5e4a477038bcf3fcfbd79106cc3fb4 /new-luxc/source/luxc/analyser/case/coverage.lux | |
parent | 4480e41e949ba3ba0c9bceeed43e3f144f82103b (diff) |
- Added loop synthesis.
- Some refactoring.
Diffstat (limited to 'new-luxc/source/luxc/analyser/case/coverage.lux')
-rw-r--r-- | new-luxc/source/luxc/analyser/case/coverage.lux | 8 |
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) |