Commit c7b6fb59 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #10562

parent 9a348640
{-# LANGUAGE GADTs, TypeFamilies #-}
module T10562 where
type family Flip a
data QueryRep qtyp a where
QAtom :: a -> QueryRep () a
QOp :: QueryRep (Flip qtyp) a -> QueryRep qtyp a
instance Eq (QueryRep qtyp a) where
(==) = error "urk"
instance (Ord a) => Ord (QueryRep qtyp a) where
compare (QOp a) (QOp b) = a `compare` b
......@@ -463,3 +463,4 @@ test('T10494', normal, compile, [''])
test('T10493', normal, compile, [''])
test('T10428', normal, compile, [''])
test('RepArrow', normal, compile, [''])
test('T10562', 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