Commit 767feb37 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Test #8100 in th/T8100

parent 88a42be1
{-# LANGUAGE TemplateHaskell, StandaloneDeriving #-}
module T8100 where
import Language.Haskell.TH
data Foo a = Foo a
data Bar = Bar Int
$( do decs <- [d| deriving instance Eq a => Eq (Foo a)
deriving instance Ord a => Ord (Foo a) |]
return ( StandaloneDerivD [] (ConT ''Eq `AppT` ConT ''Bar)
: StandaloneDerivD [] (ConT ''Ord `AppT` ConT ''Bar)
: decs ) )
blah :: Ord a => Foo a -> Foo a -> Ordering
blah = compare
buzz :: Bar -> Bar -> Ordering
buzz = compare
......@@ -337,3 +337,4 @@ test('T9084', normal, compile_fail, ['-v0'])
test('T9738', normal, compile, ['-v0'])
test('T9081', normal, compile, ['-v0'])
test('T9066', normal, compile, ['-v0'])
test('T8100', expect_broken(8100), compile, ['-v0'])
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