Commit de32a95e authored by cactus's avatar cactus
Browse files

Add test case for #8776

parent 52003696
{-# LANGUAGE PatternSynonyms, GADTs #-}
data A x y = (Num x, Eq y) => B
data R = R{ rX :: Int }
pattern P = B
pattern (Num t, Eq t1) => P :: (A t t1) -- Defined at T8776.hs:6:9
......@@ -166,3 +166,5 @@ test('T8579', normal, ghci_script, ['T8579.script'])
test('T8649', normal, ghci_script, ['T8649.script'])
test('T8674', normal, ghci_script, ['T8674.script'])
test('T8696', normal, ghci_script, ['T8696.script'])
test('T8776', normal, ghci_script, ['T8776.script'])
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