From 1d8f2576c8efb8bf913038f0adb71cfb2e032ede Mon Sep 17 00:00:00 2001
From: "Iavor S. Diatchki" <diatchki@galois.com>
Date: Fri, 17 Feb 2017 11:38:51 -0800
Subject: [PATCH] Add a deriving `Eq` on Schemas.

The equality is completely syntactic.
---
 src/Cryptol/TypeCheck/Type.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Cryptol/TypeCheck/Type.hs b/src/Cryptol/TypeCheck/Type.hs
index d887d479..c8f67086 100644
--- a/src/Cryptol/TypeCheck/Type.hs
+++ b/src/Cryptol/TypeCheck/Type.hs
@@ -38,7 +38,7 @@ data Kind   = KType
 
 -- | The types of polymorphic values.
 data Schema = Forall { sVars :: [TParam], sProps :: [Prop], sType :: Type }
-              deriving (Show, Generic, NFData)
+              deriving (Eq, Show, Generic, NFData)
 
 -- | Type parameters.
 data TParam = TParam { tpUnique :: !Int       -- ^ Parameter identifier