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 syntax highlighting for module _ = and add syntax tests #99

Merged
merged 2 commits into from
Jan 2, 2024

Conversation

copy
Copy link
Collaborator

@copy copy commented Jan 24, 2023

cc @Maelan

Copy link
Contributor

@Maelan Maelan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you @copy, starting to add tests is a great idea indeed. :-)

syntax-testcases/first_class_module.ml Outdated Show resolved Hide resolved
@@ -0,0 +1,19 @@
module M : sig
module type F
= functor () (X : Ord) -> sig end (* not ok *)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This comment and the other ones in this file refer to linting as it was done before PR #95. Now all these tests work.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some of the equal signs seem to not be highlighted, but I guess that's a minor issue.

@Maelan
Copy link
Contributor

Maelan commented Jan 29, 2023

Perhaps leave a reference to relevant GitHub issue/pull numbers in comments?

@copy
Copy link
Collaborator Author

copy commented Feb 8, 2023

Perhaps leave a reference to relevant GitHub issue/pull numbers in comments?

Good idea, I've linked the broken tests to open issues.

@copy copy merged commit c11dfa3 into ocaml:master Jan 2, 2024
@copy
Copy link
Collaborator Author

copy commented Jan 2, 2024

Merging, as tests should be fine and the fix is trivial.

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.

2 participants