Commit f983a215 authored by simonpj's avatar simonpj
Browse files

Test for Trac #1608

parent 6a344107
......@@ -10,3 +10,4 @@ test('drvfail008', reqlib('mtl'), compile_fail, [''])
test('drvfail009', normal, compile_fail, [''])
test('drvfail010', normal, compile_fail, [''])
test('drvfail011', normal, compile_fail, [''])
test('drvfail012', normal, compile_fail, [''])
-- Trac #1608
module ShouldFail where
newtype Ego a = Ego a deriving (Ord)
f :: Ord a => Ego a -> Ego a -> Bool
f e1 e2 = e1 < e2
No instance for (Eq (Ego a))
arising from the 'deriving' clause of a data type declaration
at drvfail012.hs:5:0-35
Possible fix: add an instance declaration for (Eq (Ego a))
When deriving the instance for (Ord (Ego a))
Supports Markdown
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