White space wibble only
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 11 Dec 2014 08:39:10 +0000 (08:39 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 11 Dec 2014 08:39:10 +0000 (08:39 +0000)
compiler/typecheck/TcFlatten.hs

index 5cb12bd..99eb915 100644 (file)
@@ -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