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

Add type errors to identifier nodes.

Browse Source
This commit is contained in:
Danila Fedorin 2020-09-10 12:59:26 -07:00
parent 56f0dbd02f
commit 1a05d5ff7a
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
code/compiler/13/ast.cpp
View File

@ -43,7 +43,10 @@ void ast_lid::find_free(std::set<std::string>& into) {
type_ptr ast_lid::typecheck(type_mgr& mgr, type_env_ptr& env) { type_ptr ast_lid::typecheck(type_mgr& mgr, type_env_ptr& env) {
this->env = env; this->env = env;
return env->lookup(id)->instantiate(mgr); type_scheme_ptr lid_type = env->lookup(id);
if(!lid_type)
throw type_error(std::string("unknown identifier ") + id, loc);
return lid_type->instantiate(mgr);
} }
void ast_lid::translate(global_scope& scope) { void ast_lid::translate(global_scope& scope) {
@ -69,7 +72,10 @@ void ast_uid::find_free(std::set<std::string>& into) {
type_ptr ast_uid::typecheck(type_mgr& mgr, type_env_ptr& env) { type_ptr ast_uid::typecheck(type_mgr& mgr, type_env_ptr& env) {
this->env = env; this->env = env;
return env->lookup(id)->instantiate(mgr); type_scheme_ptr uid_type = env->lookup(id);
if(!uid_type)
throw type_error(std::string("unknown constructor ") + id, loc);
return uid_type->instantiate(mgr);
} }
void ast_uid::translate(global_scope& scope) { void ast_uid::translate(global_scope& scope) {