Skip to content
Snippets Groups Projects
Commit 3648e9fa authored by Simon Peyton Jones's avatar Simon Peyton Jones Committed by Ben Gamari
Browse files

Another comment with a leading # (sigh)

parent b1424cc8
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment