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

Test Trac #4087

parent 310e46e6
{-# LANGUAGE GADTs #-}
module T4087 where
data Equal a b where
Equal :: Equal a a
data Equal a b where
Equal :: forall a. Equal a a
-- Defined at T4087.hs:5:6-10
......@@ -62,3 +62,4 @@ test('2816', normal, ghci_script, ['2816.script'])
test('T789', normal, ghci_script, ['T789.script'])
test('T3263', normal, ghci_script, ['T3263.script'])
test('4051', normal, ghci_script, ['4051.script'])
test('T4087', normal, ghci_script, ['T4087.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