23:19
<bakkot>
shu: I note that there's some things which look like calls and are hence marked as "user code" despite being in notes or whatever, like in the note at the top of https://tc39.es/ecma262/multipage/ordinary-and-exotic-objects-behaviours.html#sec-array-exotic-objects. should those be excluded from the analysis?
23:21
<bakkot>
I ask mostly because michael and I are doing an analysis which definitely should only be considering calls which are in actual algorithm steps, so either I need to tweak the existing analysis, which would prevent UC from showing up in those cases, or I need to branch based on which analysis is being performed
23:21
<bakkot>
the latter is easy to do if you want to preserve these annotations, but it actually does seem kind of weird to have them
23:21
<bakkot>

you can get the full list of places this happens by running

function hasAlgParent(e) {
  if (e == null) return false;
  if (e.tagName === 'EMU-ALG') return true;
  return hasAlgParent(e.parentNode);
}
[...document.querySelectorAll('.e-user-code')].filter(a => !hasAlgParent(a))

in the console