Commit ed213ead authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #11274

parent 6eb9dc9c
{-# OPTIONS_GHC -fdefer-typed-holes #-}
module T11274 where
data Asd = Asd
someHole = _asd
missingInstance :: Asd -> Asd -> Bool
missingInstance x y = x == y
T11274.hs:10:25: error:
• No instance for (Eq Asd) arising from a use of ‘==’
• In the expression: x == y
In an equation for ‘missingInstance’: missingInstance x y = x == y
......@@ -395,3 +395,4 @@ test('CustomTypeErrors02', normal, compile_fail, [''])
test('CustomTypeErrors03', normal, compile_fail, [''])
test('T11112', normal, compile_fail, [''])
test('ClassOperator', normal, compile_fail, [''])
test('T11274', normal, compile_fail, [''])
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