diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 09:16:52 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 09:16:52 +0100 |
commit | 6eb9500b3f0ad70db9d2f0bf7fc1a1fb9a2f8cf9 (patch) | |
tree | 10991a48daef3840264664ae4f2881b28c3b7031 /testsuite/tests/ghci | |
parent | 528aba0bf9a233864970804b5d72d01a0bcf9adb (diff) | |
parent | 429183f24c73b20a6489e5452427b612305b9675 (diff) | |
download | haskell-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.script | 4 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/T2766.stdout | 5 |
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) |