Skip to content
This repository was archived by the owner on Oct 24, 2023. It is now read-only.

bump ecmarkup and enable user code annotation #105

Merged
merged 3 commits into from
Nov 15, 2022
Merged

Conversation

bakkot
Copy link
Contributor

@bakkot bakkot commented Nov 15, 2022

User code annotation is still gated behind hitting u, of course. And I haven't audited the annotations for correctness, though the spec text here seems like it should be amenable to the built-in analysis.

This also enables linting, which currently finds 32 issues. At a glance they're mostly typos or non-Oxford spellings, but it looks like there's a few actual issues ("CloneArrayBuffer takes 3 arguments, but this invocation passes 4", for example).

You probably want to fix the lint issues before merging. I can take care of the trivial ones if you'd like; I have lots of practice at this point.

@syg syg merged commit c3c8a72 into tc39:master Nov 15, 2022
@syg
Copy link
Collaborator

syg commented Nov 15, 2022

Thanks!

@bakkot bakkot deleted the user-code branch November 15, 2022 22:29
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants