Skip to content

Conversation

@aspeddro
Copy link
Collaborator

@aspeddro aspeddro commented Nov 6, 2022

Close #144

Merge after #143

@aspeddro aspeddro marked this pull request as draft November 6, 2022 23:20
@aspeddro aspeddro marked this pull request as ready for review November 6, 2022 23:48
@aspeddro aspeddro marked this pull request as draft November 7, 2022 00:12
@nkrkv
Copy link
Collaborator

nkrkv commented Nov 7, 2022

#143 merged

@aspeddro aspeddro marked this pull request as ready for review November 7, 2022 16:25
@nkrkv
Copy link
Collaborator

nkrkv commented Nov 7, 2022

Perfect, thank you!

Love PRs where deletions overcome additions.

image

@aspeddro
Copy link
Collaborator Author

Why the CI failed?

@aspeddro
Copy link
Collaborator Author

aspeddro commented Nov 10, 2022

Humm, test/highlight/embedded.res break tree-sitter test.

The comments were breaking the tests.

@nkrkv
Copy link
Collaborator

nkrkv commented Nov 13, 2022

Oh, haven’t had time to check this out. Thank you for pointing to the problem.

I still think it have to be a manual test because the test framework is not capable of testing embeds. I’ll just move the test file to another directory that will be ignored by the test runner.

@nkrkv nkrkv merged commit 0c18f52 into rescript-lang:main Nov 13, 2022
@aspeddro aspeddro deleted the refactor-remove-extension branch November 13, 2022 23:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Get rid of $._raw_js_extension and $._raw_ggl_extension

2 participants