On 12/01/2015 10:15 PM, Richard Sandiford wrote:
[This is a less invasive fix for the PR, without any changes to the .md attribute handling]
As a minimal fix I like this much better. I'll ok it under the condition that you have verified in all ports that size/speed issues are the only reasons for expanders that can be used for internal functions to FAIL. (I've now attempted to do this and didn't find anything relevant to the current set of internal functions, you can rely on that if you're willing to take the blame if it turns out not to have been exhaustive. umin and abs are potential candidates for trouble in the future.)
Also please make a followup patch to update the documentation in md.texi regarding when FAIL is allowed.
Bernd
