[commit: ghc] wip/new-flatten-skolems-Aug14: White space and comments (8fe2231)

[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/8fe2231a50522d1253dfa7eeed1023de4327d7a7/ghc

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

commit 8fe2231a50522d1253dfa7eeed1023de4327d7a7
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Oct 29 08:35:03 2014 +0000

    White space and comments


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

8fe2231a50522d1253dfa7eeed1023de4327d7a7
 testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs
index 42d1be9..cce5aa3 100644
--- a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs
+++ b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs
@@ -43,16 +43,19 @@ f x =
 
 
 {- Assume x:beta
-   From g1 we get    (forall b.  F Int ~ [beta])
+   From g1 we get [W]    (forall b.  F Int ~ [beta])
 
-   From g2 we get    (forall c. 0 => F Int ~ [[alpha]] /\ C beta [c])
+   From g2 we get [W]   (forall c. 0 => F Int ~ [[alpha]] /\ C beta [c])
     (g2 is not generalised; the forall comes from the TEx pattern)
 
 Floating we get
    F Int ~ [beta], F Int ~ [[alpha]], alpha ~ alpha', forall c. C beta [c]
+
 =  { alpha := alpha' }
-=  beta ~ [alpha'], F Int ~ [[alpha']], forall c. C beta [c]
+   beta ~ [alpha'], F Int ~ [[alpha']], forall c. C beta [c]
+
 =  { beta := [alpha']
    F Int ~ [[alpha']], forall c. C [alpha'] [c]
+
 =  F Int ~ [[alpha']], forall c. (C [alpha'] [c], alpha' ~ c)
 -}
\ No newline at end of file