18:02
<snek>
it should call it
18:02
<snek>
maybe you've hit a bug
22:30
<Hemanth H.M>

Is there a section in the spec which talks about spec specific symbols and their meaning? (Grammar??)

For example: ? indicates that if an exception is thrown during this operation, it should be propagated up to the caller of this function.

22:40
<bakkot>
notational conventions
22:41
<bakkot>
? is specifically covered under https://tc39.es/ecma262/multipage/notational-conventions.html#sec-returnifabrupt-shorthands
22:41
<bakkot>
though note that the spec does not have a notion of "an exception being thrown" in the spec's meta-language
22:41
<bakkot>
there's just completion records, some of which can be throw completions
22:41
<bakkot>
(same as in e.g. rust)
23:10
<jmdyck>
If by "grammar", you mean a grammar for the pseudocode in the spec's algorithms, then no, no such section. The closest is https://tc39.es/ecma262/#sec-algorithm-conventions
23:38
<Hemanth H.M>
Ah, right! Notational and Algorithmic conventions; Trying to translate that to dev approximations rather than spec's meta-language.