check that the argument to CmmCondBranch is really a conditional

[ghc-hetmet.git] / compiler / typecheck / TcBinds.lhs

diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs
index 6e40c79..d115f34 100644 (file)
--- 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