From 3648e9fa36333e9e2c41ce8758988aac1390f33a Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones <simonpj@microsoft.com> Date: Mon, 13 Jul 2015 13:30:47 +0100 Subject: [PATCH] Another comment with a leading # (sigh) --- compiler/specialise/SpecConstr.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/specialise/SpecConstr.hs b/compiler/specialise/SpecConstr.hs index c5d286d9d96c..6a69136f515c 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 -- GitLab