mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 02:39:20 +00:00
feat: add Linter
This commit is contained in:
parent
d7d422dfdc
commit
11f2b48853
13 changed files with 422 additions and 18 deletions
|
@ -646,6 +646,14 @@ impl CompileErrors {
|
|||
pub fn take(&mut self) -> Self {
|
||||
self.flush()
|
||||
}
|
||||
|
||||
pub fn len(&self) -> usize {
|
||||
self.0.len()
|
||||
}
|
||||
|
||||
pub fn is_empty(&self) -> bool {
|
||||
self.0.is_empty()
|
||||
}
|
||||
}
|
||||
|
||||
pub type SingleCompileResult<T> = Result<T, CompileError>;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue