X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcGadt.lhs;h=da115b3faf04e28cf813239df02b2540cf4e8770;hb=00cc4d8773d1138f7b3b3ac122f3c98a6f93e68a;hp=558f97e063de68ff97945c1e12858187ac30cac6;hpb=b97e1705d4bfd96d6a274d1fe593fff46edd23f6;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcGadt.lhs b/compiler/typecheck/TcGadt.lhs
index 558f97e..da115b3 100644
--- a/compiler/typecheck/TcGadt.lhs
+++ b/compiler/typecheck/TcGadt.lhs
@@ -387,8 +387,10 @@ uUnrefined :: Bool                -- Whether the input is swapped
            -> UM InternalReft
 
 -- We know that tv1 isn't refined
--- PRE-CONDITION: in the call (uUnrefined r co tv ty ty'), we know that
---	co :: tv:=:ty
+-- PRE-CONDITION: in the call (uUnrefined False r co tv1 ty2 ty2'), we know that
+--	co :: tv1:=:ty2
+-- and if the first argument is True instead, we know
+--      co :: ty2:=:tv1
 
 uUnrefined swap subst co tv1 ty2 ty2'
   | Just ty2'' <- tcView ty2'