summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2012-03-26 09:16:52 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2012-03-26 09:16:52 +0100
commit6eb9500b3f0ad70db9d2f0bf7fc1a1fb9a2f8cf9 (patch)
tree10991a48daef3840264664ae4f2881b28c3b7031 /testsuite/tests/ghci
parent528aba0bf9a233864970804b5d72d01a0bcf9adb (diff)
parent429183f24c73b20a6489e5452427b612305b9675 (diff)
downloadhaskell-6eb9500b3f0ad70db9d2f0bf7fc1a1fb9a2f8cf9.tar.gz
Merge branch 'master' of http://darcs.haskell.org//testsuite
Diffstat (limited to 'testsuite/tests/ghci')
-rw-r--r--testsuite/tests/ghci/scripts/T2766.script4
-rw-r--r--testsuite/tests/ghci/scripts/T2766.stdout5
2 files changed, 6 insertions, 3 deletions
diff --git a/testsuite/tests/ghci/scripts/T2766.script b/testsuite/tests/ghci/scripts/T2766.script
index 87e9bb3918..84b83461b7 100644
--- a/testsuite/tests/ghci/scripts/T2766.script
+++ b/testsuite/tests/ghci/scripts/T2766.script
@@ -1,4 +1,6 @@
-- Test Trac #2766
:set -XTypeOperators
:m Control.Arrow
-:t first :: Arrow (~>) => b~>c -> (b, d)~>(c, d)
+:t first :: Arrow to => b `to` c -> (b, d) `to` (c, d)
+type a ~> b = a -> b
+:t first :: b~>c -> (b, d)~>(c, d)
diff --git a/testsuite/tests/ghci/scripts/T2766.stdout b/testsuite/tests/ghci/scripts/T2766.stdout
index abe1ca2c95..f8ee42ff6a 100644
--- a/testsuite/tests/ghci/scripts/T2766.stdout
+++ b/testsuite/tests/ghci/scripts/T2766.stdout
@@ -1,2 +1,3 @@
-first :: Arrow (~>) => b~>c -> (b, d)~>(c, d)
- :: Arrow (~>) => (~>) b c -> (~>) (b, d) (c, d)
+first :: Arrow to => b `to` c -> (b, d) `to` (c, d)
+ :: Arrow to => to b c -> to (b, d) (c, d)
+first :: b~>c -> (b, d)~>(c, d) :: (b ~> c) -> (b, d) ~> (c, d)