gluax

@acoglio for reference the area I'm referring to is https://github.com/AleoHQ/leo/blob/testnet3/compiler/ast/src/input/program_input.rs#L21 So yes the `InputAst` allows the notion of any section however when converted we only look at the `main` and...

As a heads up, a lot of work for casting was done by @Protryon already. Not sure what is or isn't missing.

There are cast code in the parser all the way to the compiler. So it seems to be pretty feature complete. We may need to update it to deal with...

Blocked by #921 since this change should generate a warning.

> > > > I was also wondering about endianness. Would the bits/bytes be big endian or little endian? Should both options be provided? > > E.g.: > > ```...

@acoglio On the rust side it returns a vec of u8 for the bytes gadget. So I believe on the Leo side it would an array of the appropriately sized...

Having chatted with both @Protryon and @collinc97 about this topic, as it currently stands there isn't a good way to implement these into Leo. The ideal way would be to...

Blocked by #975.

Due to the essence of time, the two proposed ways of implementing this quickly are: 1. Through typecasting. 2. An operator that signifies to convert the type.

I'm running on Windows 10.