chore(error): Add new method on Error
parent
30fa4424
No related branches found
No related tags found
Showing
- kernel/src/error.rs 17 additions, 2 deletionskernel/src/error.rs
- kernel/src/lib.rs 0 additions, 1 deletionkernel/src/lib.rs
- kernel/src/memory/declaration/builder.rs 5 additions, 6 deletionskernel/src/memory/declaration/builder.rs
- kernel/src/memory/level/builder.rs 3 additions, 3 deletionskernel/src/memory/level/builder.rs
- kernel/src/memory/term/builder.rs 4 additions, 6 deletionskernel/src/memory/term/builder.rs
- kernel/src/type_checker.rs 16 additions, 27 deletionskernel/src/type_checker.rs
Loading
Please register or sign in to comment