-
Notifications
You must be signed in to change notification settings - Fork 415
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
Updated error message to indicate that modules must start with a letter #8253
Updated error message to indicate that modules must start with a letter #8253
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks like a reasonable improvement. Reminds me of e.g. 0install
, which could run into this issue.
@hughesjs Can you promote the test case failures? |
@Leonidas-from-XIV - Will give it a shot later this evening. No promises though, I've spent all of 2 hours writing ocaml and half of that was working out why I couldn't build the base project, I'll let you know how I get on |
If you do |
You don't even have to run the entire test suite. Just do the following: $ ./dune.exe build @github5273 @github7600 @pp @fmt
$ ./dune.exe promote That just runs the tests that failed in CI and code formatting. |
Huh, didn't know that was a thing. Cheers! Will do it when I'm back at my own machine |
Right, that's the test cases promoted |
I think it is ready to be merged. |
I've rebased the change upon our current |
@rgrinberg Can you take a look? |
Signed-off-by: James Hughes <james@pyrosoftsolutions.co.uk> Signed-off-by: Marek Kubica <marek@tarides.com>
Thanks for merging this guys, sorry I've not been particularly active here, life's being a bit hectic |
This partially addresses #8252 by ensuring that the produced error message indicates that a module name must start with a letter.