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

use crate::range::Range;

use super::diags::SyntaxErr;
use super::{Checker, TyResult};

use super::types::TypeId;

impl Checker<'_> {
	pub fn equal_type_id(&self, expected: TypeId, found: TypeId) -> bool {
		if expected.is_any() || found.is_any() {
			return true;
		}

		if expected == found {
			return true;
		}

		if expected.is_unit() && found.is_void() || found.is_unit() && expected.is_void() {
			return true;
		}

		let expected_type = self.get_stored_type(expected);
		let found_type = self.get_stored_type(found);
		expected_type == found_type
	}

	pub fn equal_type_expected(&self, expected: TypeId, found: TypeId, range: Range) -> TyResult<()> {
		if !self.equal_type_id(expected, found) {
			let expected = self.display_type(expected);
			let found = self.display_type(found);
			return Err(SyntaxErr::type_mismatch(expected, found, range));
		}
		Ok(())
	}
}