From: simonpj@microsoft.com <unknown>
Date: Wed, 21 Jun 2006 22:39:40 +0000 (+0000)
Subject: Comment only
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=5542157cd86728ddb9e68a61a4537d2f6c902d60

Comment only
---

diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs
index 6e40c79..d115f34 100644
--- a/compiler/typecheck/TcBinds.lhs
+++ b/compiler/typecheck/TcBinds.lhs
@@ -449,6 +449,8 @@ tcSpecPrag poly_id hs_ty inl
 	; extendLIEs lie
 	; let const_dicts = map instToId lie
 	; return (SpecPrag (mkHsCoerce co_fn (HsVar poly_id)) spec_ty const_dicts inl) }
+	-- Most of the work of specialisation is done by 
+	-- the desugarer, guided by the SpecPrag
   
 --------------
 -- If typechecking the binds fails, then return with each