From 895d34a264d9d90adfe4f0618c3bb0663dc01615 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sat, 5 Dec 2015 12:53:20 +0100
Subject: Leveraging GADTs to provide a better Dyn API.

---
 lib/util.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/util.ml')

diff --git a/lib/util.ml b/lib/util.ml
index a20dba0fc..b67539918 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -124,6 +124,7 @@ let delayed_force f = f ()
 
 type ('a, 'b) union = ('a, 'b) CSig.union = Inl of 'a | Inr of 'b
 type 'a until = 'a CSig.until = Stop of 'a | Cont of 'a
+type ('a, 'b) eq = ('a, 'b) CSig.eq = Refl : ('a, 'a) eq
 
 let map_union f g = function
   | Inl a -> Inl (f a)
-- 
cgit v1.2.3