Resolve "Kernel errors" ✨️
Closes #19 🐔️👍️ Approved-by:aalbert <augustin.albert@bleu-azure.fr> Approved-by:
belazy <aarthuur01@gmail.com> Approved-by:
loutr <loutr@crans.org> 🦀️
🍰 🦀️🍰 🦀️🍰 * chore(Cargo.toml): Add a missing space * chore(ci): Remove unreachable line in coverage * chore(cargo): Improve dependencies with workspace feature * fix(ci): Tune coverage * chore: Cleaning tests * chore(kernel) : add coverage * fix(kernel) : add coverage tests * feat(errors): Improve errors handling * chore(rust): Use of Deref/DerefMut for Environment * chore(type_checker): Cleaning tests + Analyse branches * chore(error): Add Result type + Improve use * chore(location): Move location out of error file + Improve struct
Showing
- .gitlab-ci.yml 6 additions, 5 deletions.gitlab-ci.yml
- Cargo.lock 65 additions, 42 deletionsCargo.lock
- Cargo.toml 15 additions, 1 deletionCargo.toml
- flake.nix 6 additions, 3 deletionsflake.nix
- kernel/Cargo.toml 5 additions, 4 deletionskernel/Cargo.toml
- kernel/src/command.rs 6 additions, 4 deletionskernel/src/command.rs
- kernel/src/environment.rs 23 additions, 10 deletionskernel/src/environment.rs
- kernel/src/error.rs 17 additions, 65 deletionskernel/src/error.rs
- kernel/src/lib.rs 5 additions, 7 deletionskernel/src/lib.rs
- kernel/src/location.rs 21 additions, 0 deletionskernel/src/location.rs
- kernel/src/term.rs 17 additions, 16 deletionskernel/src/term.rs
- kernel/src/type_checker.rs 445 additions, 153 deletionskernel/src/type_checker.rs
- parser/Cargo.toml 7 additions, 3 deletionsparser/Cargo.toml
- parser/src/error.rs 24 additions, 0 deletionsparser/src/error.rs
- parser/src/lib.rs 2 additions, 0 deletionsparser/src/lib.rs
- parser/src/parser.rs 71 additions, 58 deletionsparser/src/parser.rs
- proost/Cargo.toml 10 additions, 7 deletionsproost/Cargo.toml
- proost/src/process.rs 17 additions, 12 deletionsproost/src/process.rs
Loading
Please register or sign in to comment