Commit 566128ca authored by jpm@cs.ox.ac.uk's avatar jpm@cs.ox.ac.uk

Test #7710

parent d1d45e89
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE AutoDeriveTypeable #-}
{-# LANGUAGE TypeFamilies #-}
module T7710 where
import Data.Typeable
type T = Int
type family F a
type instance F Int = Int
data family D a
data instance D Int = DInt
data instance D Float = DFloat
test = [ typeRep ([] :: [T])
, typeRep ([] :: [F Int])
, typeRep (Proxy :: Proxy D)
, typeRep ([] :: [D Int]) ]
......@@ -36,3 +36,4 @@ test('T1133',
extra_clean(['T1133.o-boot', 'T1133.hi-boot']),
run_command,
['$MAKE --no-print-directory -s T1133'])
test('T7710', normal, compile, [''])
\ No newline at end of file
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