Commit 9918965f authored by jpm@cs.ox.ac.uk's avatar jpm@cs.ox.ac.uk
Browse files

Test deriving Typeable for promoted data constructors with AutoDeriveTypeable

parent 47aebf9a
{-# LANGUAGE AutoDeriveTypeable #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
module AutoDeriveTypeable where
......@@ -13,4 +15,5 @@ data B = B deriving Typeable
data C = C
deriving instance Typeable C
test = [typeRep [A], typeRep [B], typeRep [C]]
test = [ typeRep [A], typeRep [B], typeRep [C]
, typeRep (Proxy :: Proxy 'B), typeRep (Proxy :: Proxy 'C)]
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