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

use crate::{
	ast,
	checker::{
		context::Context,
		types::{ExternFnType, TypeId},
		TyResult,
	},
};

use super::{synthesise_ast_type, synthesise_fn_binds};

pub fn synthesise_extren_fn_stmt(
	fn_stmt: &mut ast::ExternFnStmt,
	ctx: &mut Context,
) -> TyResult<ExternFnType> {
	let params = synthesise_fn_binds(&mut fn_stmt.params, ctx)?;
	let ret = match fn_stmt.ret_type.as_ref() {
		Some(ty) => synthesise_ast_type(ty, false, ctx)?,
		None => TypeId::VOID,
	};

	fn_stmt.set_ret_id(ret);

	Ok(ExternFnType::new(params, ret, fn_stmt.var_packed.is_some()))
}