Commit fce758c5 authored by Matthew Pickering's avatar Matthew Pickering Committed by Ben Gamari

Add failing test for #11039

Reviewers: austin, bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D1406

GHC Trac Issues: #11039
parent f5974c88
{-# LANGUAGE PatternSynonyms #-}
module Foo () where
data A a = A a
pattern Q :: () => (A ~ f) => a -> f a
pattern Q a = A a
......@@ -16,3 +16,4 @@ test('records-mixing-fields', normal, compile_fail, [''])
test('records-exquant', normal, compile_fail, [''])
test('records-poly-update', normal, compile_fail, [''])
test('mixed-pat-syn-record-sels', normal, compile_fail, [''])
test('T11039', [expect_broken(11039)], 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