From 60789530d9ea6bb6a6cf8a30e8584e45afda31e8 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 19 Apr 2018 11:43:44 +0100
Subject: fix warnings

---
 src/type_check.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index cd44fd58..5c72983a 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -3675,7 +3675,6 @@ let check_type_union env variant typq (Tu_aux (tu, l)) =
      env
      |> Env.add_union_id v (typq, typ')
      |> Env.add_val_spec v (typq, typ')
-  | Tu_ty_anon_rec _ -> typ_error l "Unrewritten Tu_ty_anon_rec seen by typechecker"
 
 (* FIXME: This code is duplicated with general kind-checking code in environment, can they be merged? *)
 let mk_synonym typq typ =
-- 
cgit v1.2.3