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

use super::context::scope::ScopeType;
use super::types::TypeId;
use super::{Checker, TyResult};
use crate::ast;

impl Checker<'_> {
	pub fn check_while_stmt(&mut self, while_stmt: &mut ast::WhileStmt) -> TyResult<TypeId> {
		let test_type = self.check_expr(&mut while_stmt.test)?;

		self.equal_type_expected(TypeId::BOOL, test_type, while_stmt.test.get_range())?;

		self.ctx.enter_scope(ScopeType::new_loop());

		let body_type = self.check_stmt(&mut while_stmt.body)?;

		self.ctx.exit_scope();

		self.equal_type_expected(TypeId::UNIT, body_type, while_stmt.body.get_range())?;
		Ok(TypeId::UNIT)
	}
}