mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-03 18:29:00 +00:00
chore: fix warnings
This commit is contained in:
parent
8fec98b380
commit
29a70b0632
4 changed files with 19 additions and 18 deletions
|
@ -2,6 +2,7 @@
|
|||
//!
|
||||
//! `Context` is used for type inference and type checking.
|
||||
#![allow(clippy::result_unit_err)]
|
||||
#![allow(clippy::assigning_clones)]
|
||||
pub mod compare;
|
||||
pub mod eval;
|
||||
pub mod generalize;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue