[Feature] Add support for compiler-behaviour-modifying pragma comments

[Luna-Klatzer]

Is there an existing proposal for this?

• I have searched the existing issues

This feature does not exist in the latest version

• I am using the latest version

Proposal

Like many other language compilers, the Kipper compiler provides various config options, which can be enabled or disabled to modify the behaviour of the compiler. These configuration options are project/file-spanning though, meaning if something has been turned off it will be turned off everywhere.

As such it would be a good to add the ability to specify statement-specific compiler behaviour using a #pragma comment, where the next statements following the comment will have the specific configuration/behaviour applied.

For example:

#pragma no-optimisations
var x: num = 15 * 15 * 15; // -> Would not be optimised down to a constant number

Although the syntax #pragma can also be replaced by something else, like for example:

• #kip no-optimisations
  

• // @kip-no-optimisations
  

Exact behaviour / changes you want

• Implement a special type of comment, which is recognised by the compiler and associated with a specific statement following it.
• Add support for multiple different config options, like for example no-optimisations.
• Add support for custom pragma recognisers, which can hook into the compiler and add custom behaviour.