[commit: ghc] master: White space wibble only (d45edfb)
git at git.haskell.org
git at git.haskell.org
Thu Dec 11 10:11:06 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/d45edfb396798e8e729fb7d3dc235b9ac1e63a17/ghc
>---------------------------------------------------------------
commit d45edfb396798e8e729fb7d3dc235b9ac1e63a17
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Dec 11 08:39:10 2014 +0000
White space wibble only
>---------------------------------------------------------------
d45edfb396798e8e729fb7d3dc235b9ac1e63a17
compiler/typecheck/TcFlatten.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcFlatten.hs b/compiler/typecheck/TcFlatten.hs
index 5cb12bd..99eb915 100644
--- a/compiler/typecheck/TcFlatten.hs
+++ b/compiler/typecheck/TcFlatten.hs
@@ -882,7 +882,7 @@ A "generalised substitution" S is a set of triples (a -f-> t), where
f is a flavour
such that
(WF1) if (a -f1-> t1) in S
- (a -f2-> t2) in S
+ (a -f2-> t2) in S
then neither (f1 >= f2) nor (f2 >= f1) hold
(WF2) if (a -f-> t) is in S, then t /= a
More information about the ghc-commits
mailing list