Got renames working in the LSP!
Had to do a lot of internal refactoring to make this work well without hacky-ness. The internal MIR is now a couple of flat vecs instead of a tree. That makes the core compiler ~5-10% faster too as a bonus.
Dion Dokter
@diondokter.nl
702 followers 107 following 1.1K posts
Embedded tech lead at Tweede golf. I love programming in Rust. Also at: @diondokter@fosstodon.org Check out device-driver.com Netherlands
![#include <stdbool.h>
#include <string.h>
#include <stdio.h>
/* if you compile this source to ./a.out,
* what is the result of "echo filfail | ./a.out" ? */
struct {
char name[7];
bool is_restricted;
} user;
int main(void) {
user.is_restricted = true;
printf("Name: ");
fflush(stdout);
gets(user.name);
if(strcmp(user.name, "admin") == 0) {
user.is_restricted = false;
}
if(user.is_restricted) {
puts("access is denied");
return 1;
} else {
puts("welcome administrator");
return 0;
}
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:qfmg3kkriney33exrq5f72sg/bafkreie2kgn3zqil3u5sw3cetidrd4zqa52stqutnzscxjlavh6jmwcvl4)
![/// All true variants mean the same to the boot rom
#[bitenum(u2, exhaustive = true)]
#[derive(Debug)]
pub enum BigBool {
False = 0b00,
True = 0b01,
True1 = 0b10,
True2 = 0b11,
}
/// All false variants mean the same to the boot rom
#[bitenum(u2, exhaustive = true)]
#[derive(Debug)]
pub enum InverseBigBool {
True = 0b00,
False = 0b01,
False1 = 0b10,
False2 = 0b11,
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:qfmg3kkriney33exrq5f72sg/bafkreiclrnbgqzd4bghr4kr5rm6qd7iyxibxbr267szqufjbw3mmpxd7jq)
![/// This register is repeated 4 times with a stride of 3
register FooRepeated[4*3] {
address: 3,
fields: FooFields,
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:qfmg3kkriney33exrq5f72sg/bafkreiedb3c6abelxwgb3iqgizvnsgwtbv62pxrsifxc465lc3irjwc4fi)
![diond@PC-DION:~/repos/sequential-storage$ cargo soteria
Compiling... done in 0.59s
error: Fatal: No entry points found
diond@PC-DION:~/repos/sequential-storage$ cargo soteria ./src/item.rs
Usage: soteria-rust exec [--help] [OPTION]… PATH
soteria-rust: too many arguments, don't know what to do with ./src/item.rs](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:qfmg3kkriney33exrq5f72sg/bafkreiecha6rxojggrhil4hifgrokf2vepomax6tcku45k44dktu2flsn4)
![```rust
#[diagnostic::on_unimplemented(
message = "no `register-address-mode` is specified in the driver, so multi-register operations are not possible",
label = "not supported for this driver",
note = "if you are the author of the driver, specify `register-address-mode` in the device config to enable this feature if the device supports it",
note = "not all devices support this feature"
)]
#[doc(hidden)]
pub trait AddressMode {
#[doc(hidden)]
fn next_address<A: Address>(current_address: A, current_size: usize) -> A;
}
```](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:qfmg3kkriney33exrq5f72sg/bafkreifyshbqlpsvah3jpcqogxe2f6dug22s35vglylmt7z5xcysecuz4y)
