disko/src
Felix Uhl a6944c6bea disko2: Make messages type-safe and modular
Using untyped dicts was not a safe way to pass arguments to error
message rendering. Also, having one giant match statement wouldn't scale
well. Using function pointers and kwargs, mypy can now properly check
whether all required arguments are passed to DiskoMessage().

As a bonus, it's now easy to use the "Go to definition" LSP command for
error codes, which wasn't possible before.
2024-11-03 22:35:06 +01:00
..
disk-deactivate disko2: Create package 2024-10-30 23:54:41 +01:00
disko disko2: Make messages type-safe and modular 2024-11-03 22:35:06 +01:00
disko_lib disko2: Make messages type-safe and modular 2024-11-03 22:35:06 +01:00
cli.nix disko2: Create package 2024-10-30 23:54:41 +01:00
install-cli.nix disko2: Create package 2024-10-30 23:54:41 +01:00