Toby Hutton comments

Results 63 comments of


                                            Toby Hutton

Consider adding a `cfe` instruction to the vm.

It _could_ be possible to allocate dynamic sizes now using a logarithmic expansion algorithm in a loop. Pseudocode: ``` while sp - ssp < size { let remaining = size...

Aggregates and memory management in the IR is generally broken.

Also currently `get_ptr` is compiled to an address and stored in a register and is then ignored. And the address calculations in ASM gen are extremely complicated and still have...

Aggregates and memory management in the IR is generally broken.

I'm also finding now that managing enums, which are tagged unions in IR and ASM, to be extremely painful in the current ASM gen. In particular, ensuring the padding around...

Aggregates and memory management in the IR is generally broken.

Also thinking that in IR there's no point in making distinctions between mutable pointers and immutable. That sort of correctness can be guaranteed by the compiler and so all pointers...

Introduce a new `raw_ptr` type

This feels a bit hacky, as does a lot of our avoidance of pointers. But I really don't want to add references. Would an alternative be an 'address' type, which...

Discuss alternate ways to provide config-time constants to programs

There are 3 general ways of configuring programs, yeah? - [ ] CLI args. - [x] config file. - [ ] the environment (variables).

implement `forc doc`

> 1. Add support for doc attributes, i.e. `#[doc = "blah blah blah"]` or `#[doc("blah blah blah")]`. This might involve adding support for string literals in attributes. Do we actually...

Move the `resolve_types` function to the `TypeEngine`

Oh, true, I thought it was returning the same thing and just rejecting unkowns, I didn't notice the conversion.

Consider removing the type `byte`

Just do it. :yoda: There is no consider.

Add raw untyped pointer type

CI failure @canndrew