Commit 5a576754 authored by Austin Seipp's avatar Austin Seipp

Add a test for d3af9807 (#5682)

Signed-off-by: default avatarAustin Seipp <austin@well-typed.com>
parent 55cc01a9
{-# LANGUAGE DataKinds, DeriveDataTypeable, StandaloneDeriving, TypeOperators #-}
{-# LANGUAGE DataKinds, PolyKinds, DeriveDataTypeable, StandaloneDeriving, TypeOperators #-}
module T5682 where
......@@ -9,4 +9,5 @@ data Foo = Bool :+: Bool
type X = True ':+: False
deriving instance Typeable '(:+:)
\ No newline at end of file
deriving instance Typeable '(:+:)
deriving instance Typeable '(,,)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment