From 5542157cd86728ddb9e68a61a4537d2f6c902d60 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Wed, 21 Jun 2006 22:39:40 +0000 Subject: [PATCH] Comment only --- compiler/typecheck/TcBinds.lhs | 2 ++ 1 file changed, 2 insertions(+) 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 -- 1.7.10.4