| 04:23 | <jmdyck> | re PR #3885, I think we need an ecmarkup lint to detect when a section should have a type attribute but doesn't. Problem is detecting when it should. One heuristic: if it directly contains an <emu-alg>, then it should probably have a type. Currently 24 exceptions. If we gave type attributes to those 24 (e.g. type="shorthand"), then we could use that criterion for the lint. |
| 04:24 | <jmdyck> | (Or we could give a type to every section, but that's a bigger job.) |
| 09:24 | <Michael Ficarra> | I like the spirit, but I don't like adding a type= for no reason other than to mark it for exclusion from an ecmarkup heuristic |
| 11:14 | <jmdyck> | so make up a better reason then |
| 12:22 | <jmdyck> | It's not the only reason, it's just the reason that's relevant to 3885. |
| 13:26 | <bakkot> | if we gave a type to the macros like IfAbruptCloseIterator, that plus "h1 ends with parentheses" would have no false positives |
| 13:29 | <jmdyck> | Depends how you feel about B.1.2.9 Static Semantics: ParsePattern ( _patternText_, _u_, _v_ ) I'd call that a true positive though. |
| 13:30 | <bakkot> | ah, my selector did not include emu-annex |