chore(clippy): Fix clippy issues (4ae08c19) · Commits · loutr / Proost · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Proost
- Activity
- Members
- Labels
- Package Registry
- Model registry
- Terraform modules
- Model experiments

Snippets Groups Projects

4ae08c19

Verified Commit 4ae08c19 authored 2 years ago by v-lafeychine

Downloads
- Patches
- Plain Diff

chore(clippy): Fix clippy issues

parent a7ce532f

No related branches found

No related tags found

Loading

Changes 10

Hide whitespace changes

Inline Side-by-side

Showing

kernel/src/error/mod.rs 5 additions, 2 deletions

kernel/src/error/mod.rs
kernel/src/error/trace.rs 2 additions, 0 deletions

kernel/src/error/trace.rs
kernel/src/lib.rs 1 addition, 0 deletions

kernel/src/lib.rs
kernel/src/memory/declaration/builder.rs 1 addition, 1 deletion

kernel/src/memory/declaration/builder.rs
kernel/src/memory/level/builder.rs 1 addition, 1 deletion

kernel/src/memory/level/builder.rs
kernel/src/memory/term/builder.rs 1 addition, 1 deletion

kernel/src/memory/term/builder.rs
kernel/src/type_checker.rs 11 additions, 11 deletions

kernel/src/type_checker.rs
proost/src/error.rs 1 addition, 1 deletion

proost/src/error.rs
proost/src/evaluator.rs 4 additions, 4 deletions

proost/src/evaluator.rs
proost/src/main.rs 5 additions, 5 deletions

proost/src/main.rs

with 32 additions and 26 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment