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

Test Trac #12039

parent 5416fadb
{-# LANGUAGE PartialTypeSignatures #-}
module T12039 where
class Num _ => B a
T12039.hs:5:11: error:
Wildcard ‘_’ not allowed
in the declaration for class ‘B’
......@@ -61,3 +61,4 @@ test('T10999', normal, compile_fail, [''])
test('T11122', normal, compile, [''])
test('T11976', normal, compile_fail, [''])
test('PatBind3', normal, compile_fail, [''])
test('T12039', 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