lemonlang 0.0.4

an experimental, modern, purely safe, programming language.
1
2
3
4
5
6
7
8
9
10

use crate::ast::{self};

use super::types::TypeId;
use super::{synthesis, Checker, TyResult};
impl Checker<'_> {
	pub fn check_literal(&mut self, lit: &ast::Literal) -> TyResult<TypeId> {
		let type_id = synthesis::synthesise_literal(lit, self.ctx)?;
		Ok(type_id)
	}
}