[commit: testsuite] master: Remove ambiguous defn (now rightly rejected) from T3346 (3c20afc)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/3c20afc61a6715b2e868335befc35e5288381b4c

>---------------------------------------------------------------

commit 3c20afc61a6715b2e868335befc35e5288381b4c
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Aug 16 11:45:38 2011 +0100

    Remove ambiguous defn (now rightly rejected) from T3346

>---------------------------------------------------------------

 tests/typecheck/should_compile/T3346.hs |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/tests/typecheck/should_compile/T3346.hs b/tests/typecheck/should_compile/T3346.hs
index bba57a0..5b2cf06 100644
--- a/tests/typecheck/should_compile/T3346.hs
+++ b/tests/typecheck/should_compile/T3346.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -XTypeFamilies  #-}
+{-# LANGUAGE TypeFamilies  #-}
 
 -- Trac #3346
 
@@ -16,4 +16,6 @@ foo :: EP a => a -> a
 -- This is typed in a way rather similarly to RULE rule1
 foo x = to (from x)
 
-bar x = from (to x)
+-- 'bar' has an ambiguous type and is rightly rejected
+-- bar :: forall a. Result a -> Result a
+-- bar x = from (to x :: a)