TFs: Fixed InstContextNorm

testsuite/tests/ghc-regress/indexed-types/should_compile/all.T

@@ -103,7 +103,7 @@ test('InstEqContext', normal, compile, [''])
 test('InstEqContext2', normal, compile, [''])
 test('InstEqContext3', normal, compile, [''])
 
-test('InstContextNorm', expect_fail, compile, [''])
+test('InstContextNorm', normal, compile, [''])
 
 test('HO', normal, compile, [''])
 

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail171.stderr

 
 tcfail171.hs:9:9:
-    Could not deduce (PrintfType b, PrintfArg a) from the context ()
+    Could not deduce (PrintfArg a, PrintfType b) from the context ()
       arising from a use of `printf' at tcfail171.hs:9:9-23
     Possible fix:
-      add (PrintfType b, PrintfArg a) to the context of
-	the type signature for `phex'
+      add (PrintfArg a, PrintfType b) to the context of
+        the type signature for `phex'
     In the expression: printf "0x%x" x
     In the definition of `phex': phex x = printf "0x%x" x