Check KnownSymbol => Typeable deduction
authorGabor Greif <ggreif@gmail.com>
Mon, 22 Jun 2015 13:40:01 +0000 (15:40 +0200)
committerGabor Greif <ggreif@gmail.com>
Mon, 22 Jun 2015 13:42:34 +0000 (15:42 +0200)
verifying fix for #10348

testsuite/tests/typecheck/should_compile/T10348.hs

index 7380d81..dadb8aa 100644 (file)
@@ -1,9 +1,10 @@
-{-# LANGUAGE AutoDeriveTypeable, GADTs, DataKinds, KindSignatures, StandaloneDeriving #-}
+{-# LANGUAGE AutoDeriveTypeable, GADTs, DataKinds, KindSignatures, StandaloneDeriving, TypeOperators #-}
 
 module T10348 where
 
 import GHC.TypeLits
 import Data.Typeable
+import Data.Proxy
 
 data Foo (n :: Nat) where
   Hey :: KnownNat n => Foo n
@@ -27,4 +28,5 @@ f1 = typeRep
 g2 :: KnownSymbol a => Proxy a -> TypeRep
 g2 = typeRep
 
-
+pEqT :: (KnownSymbol a, KnownSymbol b) => Proxy a -> Proxy b -> Maybe (a :~: b)
+pEqT Proxy Proxy = eqT