Derive Generic for TypeInfo

scmlab · Aug 13, 2024 · 237f050 · 237f050
1 parent 68750a6
commit 237f050
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/GCL/Common.hs b/src/GCL/Common.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE FlexibleInstances, UndecidableInstances,
              MultiParamTypeClasses, FlexibleContexts #-}
+{-# LANGUAGE DeriveGeneric #-}
 module GCL.Common where
 
 import           Control.Monad.RWS              ( RWST(..) )
@@ -16,6 +17,7 @@ import qualified Data.Text                     as Text
 import           Data.Loc.Range                 ( Range )
 import           Syntax.Abstract
 import           Syntax.Common.Types
+import    GHC.Generics
 
 
 data Index = Index Name | Hole Range deriving (Eq, Show, Ord)
@@ -24,7 +26,7 @@ data TypeInfo =
     TypeDefnCtorInfo Type
     | ConstTypeInfo Type
     | VarTypeInfo Type
-    deriving (Eq, Show)
+    deriving (Eq, Show, Generic)
 
 toTypeEnv :: [(Index, TypeInfo)] -> TypeEnv
 toTypeEnv infos =