lemonlang 0.0.4

an experimental, modern, purely safe, programming language.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

use crate::{
	diag::{self, Diag, Severity},
	range::Range,
};

#[derive(Debug, Clone)]
pub enum TypeCheckWarn {
	Unused(String, Range),
	UnusedBorrow { range: Range }, // Warn
	Ureachable { range: Range },   // Warn
}

impl TypeCheckWarn {
	pub fn unreachable(range: Range) -> Diag {
		Self::Ureachable { range }.into()
	}
}

impl From<TypeCheckWarn> for diag::Diag {
	fn from(warn: TypeCheckWarn) -> Self {
		match warn {
			TypeCheckWarn::UnusedBorrow { range } => {
				let text = "value borrowed but never used.".to_string();
				diag::Diag::new(Severity::Warn, text, range)
			}
			TypeCheckWarn::Unused(name, range) => {
				let text = format!("unused value '{}'", name);
				diag::Diag::new(Severity::Warn, text, range)
			}
			TypeCheckWarn::Ureachable { range } => {
				let text = "unreachable code".to_string();
				diag::Diag::new(Severity::Warn, text, range).with_note("consider removing it".to_string())
			}
		}
	}
}