Clean up the debugger code

[ghc-hetmet.git] / compiler / types / Unify.lhs

diff --git a/compiler/types/Unify.lhs b/compiler/types/Unify.lhs
index de5ac49..2f2cfb8 100644 (file)
--- a/compiler/types/Unify.lhs
+++ b/compiler/types/Unify.lhs
@@ -380,7 +380,7 @@ dataConCannotMatch tys con
 \begin{code}
 tcUnifyTys :: (TyVar -> BindFlag)
           -> [Type] -> [Type]
-          -> Maybe TvSubst     -- A regular one-shot substitution
+          -> Maybe TvSubst     -- A regular one-shot (idempotent) substitution
 -- The two types may have common type variables, and indeed do so in the
 -- second call to tcUnifyTys in FunDeps.checkClsFD
 --