From e91a8c8659d08178dfec45a06529ade208ded186 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 26 Feb 2018 16:08:32 +0000
Subject: Fix missing case in pattern completeness check

Fixes #4
---
 src/pattern_completeness.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/pattern_completeness.ml b/src/pattern_completeness.ml
index ebb402e5..94623e6f 100644
--- a/src/pattern_completeness.ml
+++ b/src/pattern_completeness.ml
@@ -232,8 +232,7 @@ let rec join ctx gpat1 gpat2 =
        | None, None -> None
        | Some args1, None -> Some args1
        | None, Some args2 -> Some args2
-       | Some args1, Some args2 ->
-          assert false
+       | Some args1, Some args2 -> Some (join ctx args1 args2)
      in
      let ctors = Bindings.merge ctor_merge ctors1 ctors2 in
      if Bindings.for_all (fun _ gpat -> is_wild gpat) ctors then
-- 
cgit v1.2.3