lemonlang 0.0.3

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

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

use super::types::TypeId;

impl Checker<'_> {
	pub fn check_const_del_stmt(&mut self, const_del: &mut ast::ConstDelStmt) -> TyResult<TypeId> {
		if !self.ctx.is_global_scope() {
			return Err(SyntaxErr::const_outside_global_scope(const_del.range.clone()));
		}

		Ok(TypeId::UNIT)
	}

	pub fn check_const_bind(&mut self, const_bind: &mut ast::Binding) -> TyResult<TypeId> {
		todo!()
	}
}