From 650f62a575269051098961a9d1b165c49531529c Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Tue, 19 Jun 2007 16:26:03 +0000
Subject: [PATCH] Comments only

---
 compiler/typecheck/TcUnify.lhs |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index e1b4bd4..b2782d6 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -1780,6 +1780,10 @@ unifyFunKind other		       = returnM Nothing
 checkExpectedKind :: Outputable a => a -> TcKind -> TcKind -> TcM ()
 -- A fancy wrapper for 'unifyKind', which tries 
 -- to give decent error messages.
+-- 	(checkExpectedKind ty act_kind exp_kind)
+-- checks that the actual kind act_kind is compatible 
+-- 	with the expected kind exp_kind
+-- The first argument, ty, is used only in the error message generation
 checkExpectedKind ty act_kind exp_kind
   | act_kind `isSubKind` exp_kind -- Short cut for a very common case
   = returnM ()
-- 
1.7.10.4