diff --git a/compiler/specialise/SpecConstr.hs b/compiler/specialise/SpecConstr.hs index c5d286d9d96cd8d9b43fad9b84a91107fbfd5aca..6a69136f515c586ec6770b18cabc11eb728360c3 100644 --- a/compiler/specialise/SpecConstr.hs +++ b/compiler/specialise/SpecConstr.hs @@ -1740,8 +1740,8 @@ or because both of these will be optimised by Simplify.simplRule. In the former case such optimisation benign, because the rule will match more terms; but in the latter we may lose a binding of 'g1' or 'g2', and -end up with a rule LHS that doesn't bind the template variables (Trac -#10602). +end up with a rule LHS that doesn't bind the template variables +(Trac #10602). The simplifier eliminates such things, but SpecConstr itself constructs new terms by substituting. So the 'mkCast' in the Cast case of scExpr