search

Whiley / RFCs

Request for Comment (RFC) proposals for substantial changes to the Whiley language.
3 stars 2 forks source link

Compile-Time Evaluation #43

Open DavePearce opened 5 years ago

DavePearce commented 5 years ago

(see https://github.com/Whiley/WhileyCompiler/issues/726)

Supporting some notion of compile-time conditional compilation would be useful for making template functions and methods more powerful.