instant-generics 0.5 → 0.6

raw patch · 3 files changed

+4/−3 lines, 3 files

Files

• examples/Test.hs +1/−0
• instant-generics.cabal +1/−1
• src/Generics/Instant/TH.hs +2/−2

@@ -8,6 +8,7 @@ {-# LANGUAGE OverlappingInstances       #-}
 {-# LANGUAGE UndecidableInstances       #-}
 {-# LANGUAGE GADTs                      #-}
+{-# LANGUAGE DataKinds                  #-}
 {-# LANGUAGE ExistentialQuantification  #-}
 {-# LANGUAGE StandaloneDeriving         #-}
 

@@ -1,7 +1,7 @@ category:               Generics
 copyright:              (c) 2011 Universiteit Utrecht, 2012 University of Oxford
 name:                   instant-generics
-version:                0.5
+version:                0.6
 license:                BSD3
 license-file:           LICENSE
 author:                 José Pedro Magalhães

@@ -372,8 +372,8 @@           ((EqualP t1 t2):r)
 #endif
             -> let (t1s,t2s) = genTypeEqs r
-               in  ( ConT '(,) `AppT` (substTyVar vsN t1) `AppT` t1s
-                   , ConT '(,) `AppT` (substTyVar vsN t2) `AppT` t2s)
+               in  ( TupleT 2 `AppT` (substTyVar vsN t1) `AppT` t1s
+                   , TupleT 2 `AppT` (substTyVar vsN t2) `AppT` t2s)
           (_:r) -> genTypeEqs r -- other constraints are ignored
           [] -> baseEqs