Timeline for What makes a pattern more general?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 15, 2018 at 11:07 | history | edited | Lukas Lang | CC BY-SA 4.0 |
added 4 characters in body
|
| Jul 15, 2018 at 1:27 | comment | added | Lukas Lang |
I've updated the answer to address your comment more directly - I hope this shows that the head has nothing to do with the issue. Unfortunately, I don't have an answer as to why adding ___ doesn't make the pattern less specific, but incomparable instead.
|
|
| Jul 15, 2018 at 1:25 | history | edited | Lukas Lang | CC BY-SA 4.0 |
added 716 characters in body
|
| Jul 14, 2018 at 23:32 | comment | added | Hector |
Yes, I did mix "ordering of patterns" with "standard evaluation procedure" … I realize now that although patterns are evaluated (hence the need for HoldPattern when you do not want them evaluated), their evaluation is not what determines the order in which they are used. Thank you, that mistake will not happen again. However, the question is really about why a pattern with f as the head is not more specific than a pattern with any head.
|
|
| Jul 14, 2018 at 20:25 | history | answered | Lukas Lang | CC BY-SA 4.0 |