Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(JS: ErrorListener types) #4731

Merged
merged 3 commits into from
Nov 22, 2024
Merged

fix(JS: ErrorListener types) #4731

merged 3 commits into from
Nov 22, 2024

Conversation

elorzafe
Copy link
Contributor

Fixes: #4730

Updates TypeScript declaration file for ErrorListener. Additionally updates DiagnosticErrorListener that implements ErrorListener and adds a declaration file for BitSet class (BitSet.d.ts).

@elorzafe
Copy link
Contributor Author

@ericvergnaud I addressed your comments, please let me know if this is ok.

Thanks!

@ericvergnaud
Copy link
Contributor

Looks ok, thanks! But you also need to sign the DCO, see instructions here https://github.com/antlr/antlr4/pull/4731/checks?check_run_id=33170292912

Francisco Rodriguez Elorza added 3 commits November 19, 2024 12:45
Signed-off-by: Francisco Rodriguez Elorza <[email protected]>
Signed-off-by: Francisco Rodriguez Elorza <[email protected]>
Signed-off-by: Francisco Rodriguez Elorza <[email protected]>
@elorzafe
Copy link
Contributor Author

Looks ok, thanks! But you also need to sign the DCO, see instructions here https://github.com/antlr/antlr4/pull/4731/checks?check_run_id=33170292912

done!

Thanks @ericvergnaud !

@ericvergnaud
Copy link
Contributor

@elorzafe thanks!
@parrt blessed

@elorzafe
Copy link
Contributor Author

@elorzafe thanks! @parrt blessed

Can you merge it?

@elorzafe
Copy link
Contributor Author

Hi @ericvergnaud can you merge it 🙏 ?

Thanks!

@ericvergnaud
Copy link
Contributor

Hi @ericvergnaud can you merge it 🙏 ?

Thanks!

Only Terence merges code, we'll have to wait a bit...

@parrt parrt merged commit 6722835 into antlr:dev Nov 22, 2024
42 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

JavaScript runtime ErrorListener Type definition not in sync
3 participants