Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add missing arity checks to compiler series
Some checks failed
continuous-integration/drone/push Build is failing
Details

Browse Source
This commit is contained in:
Danila Fedorin 2020-04-14 19:21:33 -07:00
parent c9a7fbf6dd
commit c1f0104edb
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
code/compiler/11/definition.cpp
View File

@ -58,7 +58,7 @@ void definition_defn::generate_llvm(llvm_context& ctx) {
void definition_data::insert_types(type_env_ptr& env) { void definition_data::insert_types(type_env_ptr& env) {
this->env = env; this->env = env;
env->bind_type(name, type_ptr(new type_data(name))); env->bind_type(name, type_ptr(new type_data(name, vars.size())));
} }
void definition_data::insert_constructors() const { void definition_data::insert_constructors() const {

1
code/compiler/11/parsed_type.cpp
View File

@ -9,6 +9,7 @@ type_ptr parsed_type_app::to_type(
if(parent_type == nullptr) throw 0; if(parent_type == nullptr) throw 0;
type_base* base_type; type_base* base_type;
if(!(base_type = dynamic_cast<type_base*>(parent_type.get()))) throw 0; if(!(base_type = dynamic_cast<type_base*>(parent_type.get()))) throw 0;
if(base_type->arity != arguments.size()) throw 0;
type_app* new_app = new type_app(std::move(parent_type)); type_app* new_app = new type_app(std::move(parent_type));
type_ptr to_return(new_app); type_ptr to_return(new_app);

4
code/compiler/11/type.hpp
View File

@ -53,8 +53,8 @@ struct type_data : public type_base {
std::map<std::string, constructor> constructors; std::map<std::string, constructor> constructors;
type_data(std::string n) type_data(std::string n, int32_t a = 0)
: type_base(std::move(n)) {} : type_base(std::move(n), a) {}
}; };
struct type_arr : public type { struct type_arr : public type {