diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-07-13 13:30:47 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-07-13 13:30:47 +0100 |
| commit | 946c8b10f0a9f085800e922c89e3b0b40e3be9b4 (patch) | |
| tree | 62388c694b634564580af38a9c7deb5bb01d57a6 | |
| parent | 02a6b29cc85b2820016fb66ae426dee7ecd36895 (diff) | |
| download | haskell-946c8b10f0a9f085800e922c89e3b0b40e3be9b4.tar.gz | |
Another comment with a leading # (sigh)
| -rw-r--r-- | compiler/specialise/SpecConstr.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/specialise/SpecConstr.hs b/compiler/specialise/SpecConstr.hs index d7172a9375..5435920e5c 100644 --- a/compiler/specialise/SpecConstr.hs +++ b/compiler/specialise/SpecConstr.hs @@ -1777,8 +1777,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 |