Commit 16760dff authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7489

parent e8aa2186
{-# LANGUAGE EmptyDataDecls, GADTs, TypeFamilies #-}
module T7489 where
data Credit
data Debit
data family Account (s :: *) (t :: *)
data instance Account Int t where
CAccount :: Account Int Credit
DAccount :: { debitAccountPostings :: [Int] } -> Account Int Debit
......@@ -201,5 +201,6 @@ test('T5591a', normal, compile, [''])
test('T5591b', normal, compile, [''])
test('T7280', normal, compile, [''])
test('T7474', normal, compile, [''])
test('T7489', normal, compile, [''])
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