st/lang
1
0
Fork 0
mirror of https://codeberg.org/ProgramSnail/lang.git synced 2026-01-25 13:07:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

type check, some additions

Browse source
This commit is contained in:
ProgramSnail 2023-08-08 20:27:41 +03:00
parent 8bce645431
commit 48c9e200be
2 changed files with 111 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

59
include/expression_type_check.hpp
View file

@ -1,46 +1,75 @@
#pragma once #pragma once
#include "expression_nodes.hpp" #include "expression_nodes.hpp"
#include "name_tree.hpp"
#include "type_nodes.hpp"
// IN PROGRESS // IN PROGRESS
namespace type_check { namespace type_check {
void type_check_expression(const nodes::Expression &expression); void type_check_expression(const nodes::Expression &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
// --- flow control // --- flow control
void type_check_case(const nodes::Match::Case &expression); void type_check_case(const nodes::Match::Case &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_match(const nodes::Match &expression); void type_check_match(const nodes::Match &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_condition(const nodes::Condition &expression); void type_check_condition(const nodes::Condition &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_loop(const nodes::Loop &expression); void type_check_loop(const nodes::Loop &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
// --- containers // --- containers
void type_check_container(const nodes::Container &expression); void type_check_container(const nodes::Container &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
// --- modifiers // --- modifiers
void type_check_return(const nodes::Return &expression); void type_check_return(const nodes::Return &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_name_definition(const nodes::NameDefinition &expression); void type_check_name_definition(const nodes::NameDefinition &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_access(const nodes::Access &expression); void type_check_access(const nodes::Access &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_loop_control(const nodes::LoopControl &expression); void type_check_loop_control(const nodes::LoopControl &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_modifier_expression( void type_check_modifier_expression(const nodes::ModifierExpression &expression,
const nodes::ModifierExpression &expression); nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
// --- other // --- other
void type_check_name_expression(const nodes::NameExpression &expression); void type_check_name_expression(const nodes::NameExpression &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_constructor(const nodes::Constructor &expression); void type_check_constructor(const nodes::Constructor &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
void type_check_lambda(const nodes::Lambda &expression); void type_check_lambda(const nodes::Lambda &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree);
} // namespace type_check } // namespace type_check

68
src/expression_type_check.cpp
View file

@ -1,3 +1,69 @@
#include "expression_type_check.hpp" #include "expression_type_check.hpp"
namespace type_check {} // namespace type_check namespace type_check {
void type_check_expression(const nodes::Expression &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
// --- flow control
void type_check_case(const nodes::Match::Case &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_match(const nodes::Match &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_condition(const nodes::Condition &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_loop(const nodes::Loop &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
// --- containers
void type_check_container(const nodes::Container &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
// --- modifiers
void type_check_return(const nodes::Return &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_name_definition(const nodes::NameDefinition &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_access(const nodes::Access &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_loop_control(const nodes::LoopControl &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_modifier_expression(const nodes::ModifierExpression &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
// --- other
void type_check_name_expression(const nodes::NameExpression &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_constructor(const nodes::Constructor &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
void type_check_lambda(const nodes::Lambda &expression,
nodes::TypeStorage &type_storage,
names::NameTree &name_tree) {}
} // namespace type_check