Test Trac #2766

testsuite/tests/ghc-regress/ghci/scripts/T2766.script

+-- Test Trac #2766
+:set -XTypeOperators
+:m Control.Arrow
+:t first :: Arrow (~>) => b~>c -> (b, d)~>(c, d)

testsuite/tests/ghc-regress/ghci/scripts/T2766.stdout

+first :: Arrow (~>) => b~>c -> (b, d)~>(c, d)
+  :: (Arrow (~>)) => (~>) b c -> (~>) (b, d) (c, d)

testsuite/tests/ghc-regress/ghci/scripts/all.T

@@ -49,6 +49,7 @@ test('ghci032', normal, ghci_script, ['ghci032.script'])
 test('ghci033', normal, ghci_script, ['ghci033.script'])
 test('ghci034', normal, ghci_script, ['ghci034.script'])
 test('2452', normal, ghci_script, ['2452.script'])
+test('T2766', normal, ghci_script, ['T2766.script'])
 
 test('1914',
      extra_clean(['T1914A.hs', 'T1914B.hs']),