[commit: ghc] master: Add T7220a.stderr (6265f1c)

Simon Peyton Jones simonpj at microsoft.com
Fri Nov 21 22:04:16 UTC 2014


Thanks Joachim.

Simon

| -----Original Message-----
| From: ghc-commits [mailto:ghc-commits-bounces at haskell.org] On Behalf Of
| git at git.haskell.org
| Sent: 21 November 2014 20:56
| To: ghc-commits at haskell.org
| Subject: [commit: ghc] master: Add T7220a.stderr (6265f1c)
| 
| Repository : ssh://git@git.haskell.org/ghc
| 
| On branch  : master
| Link       :
| http://ghc.haskell.org/trac/ghc/changeset/6265f1c3162a192220ec03d888e1c1e
| f686b2732/ghc
| 
| >---------------------------------------------------------------
| 
| commit 6265f1c3162a192220ec03d888e1c1ef686b2732
| Author: Joachim Breitner <mail at joachim-breitner.de>
| Date:   Fri Nov 21 21:55:37 2014 +0100
| 
|     Add T7220a.stderr
| 
|     which presumably was just forgotten when creating the testcase in
|     commit 7b1a856.
| 
| 
| >---------------------------------------------------------------
| 
| 6265f1c3162a192220ec03d888e1c1ef686b2732
|  testsuite/tests/typecheck/should_compile/T7220a.stderr | 14
| ++++++++++++++
|  1 file changed, 14 insertions(+)
| 
| diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr
| b/testsuite/tests/typecheck/should_compile/T7220a.stderr
| new file mode 100644
| index 0000000..4be503d
| --- /dev/null
| +++ b/testsuite/tests/typecheck/should_compile/T7220a.stderr
| @@ -0,0 +1,14 @@
| +
| +T7220a.hs:17:6:
| +    Could not deduce (C a b)
| +    from the context (C a0 b, TF b ~ Y)
| +      bound by the type signature for f :: (C a0 b, TF b ~ Y) => b
| +      at T7220a.hs:17:6-44
| +    Possible fix:
| +      add (C a b) to the context of
| +        the type signature for f :: (C a0 b, TF b ~ Y) => b
| +    In the ambiguity check for the type signature for ‘f’:
| +      f :: forall a. (forall b. (C a b, TF b ~ Y) => b) -> X
| +    To defer the ambiguity check to use sites, enable
| AllowAmbiguousTypes
| +    In the type signature for ‘f’:
| +      f :: (forall b. (C a b, TF b ~ Y) => b) -> X
| 
| _______________________________________________
| ghc-commits mailing list
| ghc-commits at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-commits


More information about the ghc-devs mailing list