Sébastien Hinderer
Sébastien Hinderer
This PR enables warning 40 (name-out-of-scope), makes sure building the compiler does not trigger it and finally turns it into an error. It's in the same vein as #11498 and...
It is (was?) also possible to connect to Slack and Mattermost through Bitlbee, thanks to libpurple and third-party plugins. Could this solution be mentionned in the documentation, please? And above...
When using the validator from within a Docker container, is it possible to invoke it from the command-line, either directly or through the HTTP client? If so, could this be...
As is well-known, currently the dynlink other library depends on compilerlibs. More precisely, it has to embed a copy of compilerlibs, meaning that compilerlibs has to be compiled twice, its...
What is the default behaviour of the -s option, please? When it is not specified, does it default to 1 (only the first sheet) or to 0 (all sheets)? Could...
This work has been done in collaboration with @euisuny and @misty-ping in the context of the compiler hacking days hold at Cambridge (UK) on 31st of March 2023, see [https://github.com/tarides/compiler-hacking/wiki]...
This issue is to discuss the possibility to define a GitHub team for each of our Tarides teams and to then have Okra use those GH teams rather than locally...
If okra becomes more strict but we fail to make sure users update it on their machine, we will not benefit from the improvmenets. Should we perhaps have a version...
For instance, if the `[@@unboxed]` attribute is applied to a type for which unboxing makes no sense (because no unboxing is possible for that type), no warning is available to...
When C flags or C preprocessor flags are passed to configure, they should be used to build the compiler itself only, not when the compiler is invoked to compile third-party...