description changed; difficulty set
difficulty set to Unknowndescription modified (diff)
View Articlestatus changed; resolution set
status changed from patch to closedresolution set to fixed Applied, thanks!
View ArticleArticle 7
I've implemented and validated a patch that does this (attached). Pretty straightforward, and it seems to work. Nofib results are: Min +0.0% -4.1% +0.0% +0.5% +0.0% Max +0.1% +0.0% +2.3% +274.5% +0.0%...
View ArticleArticle 5
OK, here's a refined plan In CorePrep.cloneBndr, drop all unfoldings or rules In CorePrep.deFloatTop, which is the bit right at the end of CorePrep, do occurAnalyseExpr on the RHS of each top-level...
View ArticleArticle 4
Roman: yes, sorry - let's say that go is used in the body of the let. Simon: right. However, I'm not so sure that CoreTidy? is actually preserving rules on local lets right now.. certainly nothing in...
View ArticleArticle 3
Ah, I thought the "drop local rules" bit happens after recording unfoldings for the interface file. So the rules and local bindings would appear in the unfolding but not in the actual code. Basically,...
View ArticleArticle 2
But in principle if this definition appears in the interface file, it may be inlined, and then the local RULES may spring into action, no? What you say about dropping local rules is true if the defn...
View ArticleArticle 1
Where is go used in your example? If it isn't, should it be dropped together with the rule? Simon, didn't we discuss a similar problem a while ago? I vaguely remember that the conclusion was to drop...
View Article