Skip to content

Conversation

@damiendoligez
Copy link
Contributor

My C++ compiler (latest MacOS) complains about having an identifier right after a string literal, without a space inbetween. Apparently this corresponds to a new syntax introduced in C++11.

The fix is to add a space, and it should be completely compatible with other C++ compilers.

The problem occurs in the LS4 source code, so the fix is in the patch we apply to LS4 before compiling.

@damiendoligez damiendoligez force-pushed the fix-cplusplus-literal-suffix branch from 395dba2 to 7cb63cf Compare June 13, 2025 12:16
Copy link
Contributor

@muenchnerkindl muenchnerkindl left a comment

Choose a reason for hiding this comment

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

LGTM, thanks!

@ahelwer ahelwer merged commit d00eef6 into tlaplus:main Jun 13, 2025
5 checks passed
@damiendoligez damiendoligez deleted the fix-cplusplus-literal-suffix branch June 19, 2025 12:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants