Add optional static typing to functions and structs

[TheNachoBIT]

This tiny PR adds the option for the parser to detect "-> Type" at the end of the function if its detected.

[TheNachoBIT]

Update: I've discovered that structs do not have static typing aswell (again, this is in the parser, not in the VM).

So i've made a little update that adds optional static typing to the struct's fields :D

[udoprog]

Cheers!

Could you also add the code which rejects the relevant items during indexing in case type information is specified? Otherwise the compiler will silently accept this even though it's subject to change which could accidentally allow breaking changes to sneak through.

That is currently checked in places like these:

rune/crates/rune/src/indexing/index.rs

Line 231 in a833d25

pub(crate) fn item_fn(idx: &mut Indexer<'_, '_>, mut ast: ast::ItemFn) -> compile::Result<()> {

[udoprog]

I think the last required component is indexing rejection.

[TheNachoBIT]

There, i fixed it and i think its now ready to run the tests :D

[udoprog]

Great, now if the type parameters are set, they still need to be rejected during indexing:
Here:

rune/crates/rune/src/indexing/index.rs

Line 231 in a833d25

pub(crate) fn item_fn(idx: &mut Indexer<'_, '_>, mut ast: ast::ItemFn) -> compile::Result<()> {

And here:

rune/crates/rune/src/indexing/index.rs

Line 922 in a833d25

fn item_struct(idx: &mut Indexer<'_, '_>, mut ast: ast::ItemStruct) -> compile::Result<()> {

You can see other types of errors raised in there. Please also add the relevant test cases to make sure type annotations are rejected. You can see for example the attribute rejection test here to see how it can be done:

rune/crates/rune/src/tests/attribute.rs

Line 92 in a833d25

fn deny_enum_attributes() {

[TheNachoBIT]

Sure sure! I'll try that :D

[TheNachoBIT]

There, i think i've added indexing rejection successfully c:

[udoprog]

There are a few more places you could add if you wanted to, declarations and function arguments come to mind. But looks good for now!

[TheNachoBIT]

Yay! Niiice! Thank you so much! :D

There's probably a lot that i'll add more features to the Parser the more features i start adding to Vune. Thank u for approving my PR and i'm glad this is useful for Rune :D

[udoprog]

Yeah, of course! Thank you!