[commit: ghc] wip/new-flatten-skolems-Aug14: Wibble (154716c)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/new-flatten-skolems-Aug14
Link       : http://ghc.haskell.org/trac/ghc/changeset/154716cb0f90c1741435a4895b35c4e2dfc50aa1/ghc

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

commit 154716cb0f90c1741435a4895b35c4e2dfc50aa1
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Oct 3 10:13:38 2014 +0100

    Wibble


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

154716cb0f90c1741435a4895b35c4e2dfc50aa1
 testsuite/tests/indexed-types/should_compile/T3208b.stderr | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr
index 5fe1a33..08f8812 100644
--- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr
+++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr
@@ -1,11 +1,17 @@
 
 T3208b.hs:15:10:
-    Could not deduce (OTerm o0 ~ STerm o0)
+    Could not deduce (OTerm o0 ~ OTerm a)
     from the context (OTerm a ~ STerm a, OBJECT a, SUBST a)
       bound by the type signature for
                  fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c
       at T3208b.hs:14:9-56
+    NB: ‘OTerm’ is a type function, and may not be injective
     The type variable ‘o0’ is ambiguous
+    Expected type: STerm o0
+      Actual type: OTerm o0
+    Relevant bindings include
+      f :: a (bound at T3208b.hs:15:6)
+      fce' :: a -> c (bound at T3208b.hs:15:1)
     In the expression: fce (apply f)
     In an equation for ‘fce'’: fce' f = fce (apply f)