terralang / terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
terralang.org
Other
2.72k stars 201 forks source link

Add support for noreturn functions #402

Closed sometimes-i-send-pull-requests closed 5 years ago

sometimes-i-send-pull-requests commented 5 years ago

Terra supports marking functions as always-inline, never-inline, and don't-optimize. LLVM also supports marking functions as noreturn. This PR exposes LLVM's noreturn attribute to Terra.

elliottslaughter commented 5 years ago

Looks good, thanks!