st/lang_2023
1
0
Fork 0
mirror of https://codeberg.org/ProgramSnail/lang_2023.git synced 2025-12-10 17:08:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

bug fixes

Browse source
This commit is contained in:
ProgramSnail 2023-07-06 23:23:19 +03:00
parent bb8b32a7c8
commit 8647918f37
6 changed files with 87 additions and 102 deletions
Download patch file Download diff file Expand all files Collapse all files

2
include/builtin_functions.hpp
View file

@ -24,7 +24,7 @@ inline T Read() {
template<typename T> template<typename T>
inline void Error(const T& value) { // only for strings ?? inline void Error(const T& value) { // only for strings ??
std::cout << "\x1b[1;33mError:\x1b[0m "; std::cout << "\x1b[1;35mError:\x1b[0m ";
std::cout << value; std::cout << value;
std::cout << '\n'; std::cout << '\n';
exit(1); exit(1);

33
include/contexts.hpp
View file

@ -16,7 +16,8 @@ template<typename Value, typename ValueManager>
class ContextManager { class ContextManager {
public: public:
ContextManager() { ContextManager() {
contexts_.emplace_back(true); // no difference ?? contexts_.emplace_back(false); // global context
contexts_.emplace_back(true); // first context
} }
size_t ContextCount() { size_t ContextCount() {
@ -86,8 +87,8 @@ public:
} }
void ExitContext() { void ExitContext() {
if (contexts_.empty()) { if (contexts_.size() <= 2) {
error_handling::HandleInternalError("contexts_ is empty", error_handling::HandleInternalError("only global context & first context in contexts_",
"ContextManager.ExitContext", "ContextManager.ExitContext",
std::nullopt); std::nullopt);
} }
@ -103,6 +104,10 @@ public:
return contexts_.back().DefineVariable(name, value_id); return contexts_.back().DefineVariable(name, value_id);
} }
bool DefineGlobalType(const std::string& name, utils::IdType type_id) {
return contexts_.front().DefineLocalType(name, type_id);
}
bool DefineLocalType(const std::string& name, utils::IdType type_id) { bool DefineLocalType(const std::string& name, utils::IdType type_id) {
return contexts_.back().DefineLocalType(name, type_id); return contexts_.back().DefineLocalType(name, type_id);
} }
@ -113,8 +118,8 @@ public:
return true; return true;
} }
if (contexts_[i].IsHidingPrevious()) { if (contexts_[i].IsHidingPrevious() && i > 0) { // not for global context
break; i = 1; // go to global context after --i
} }
} }
return false; return false;
@ -126,8 +131,8 @@ public:
return true; return true;
} }
if (contexts_[i].IsHidingPrevious()) { if (contexts_[i].IsHidingPrevious() && i > 0) { // not for global context
break; i = 1; // go to global context after --i
} }
} }
return false; return false;
@ -139,8 +144,8 @@ public:
return true; return true;
} }
if (contexts_[i].IsHidingPrevious()) { if (contexts_[i].IsHidingPrevious() && i > 0) { // not for global context
break; i = 1; // go to global context after --i
} }
} }
return false; return false;
@ -161,8 +166,8 @@ public:
return maybe_variable.value(); return maybe_variable.value();
} }
if (contexts_[i].IsHidingPrevious()) { if (contexts_[i].IsHidingPrevious() && i > 0) { // not for global context
break; i = 1; // go to global context after --i
} }
} }
return std::nullopt; return std::nullopt;
@ -175,9 +180,9 @@ public:
return maybe_type.value(); return maybe_type.value();
} }
// if (contexts_[i].IsHidingPrevious()) { // TODO: old types automatically shadowed by new ?? if (contexts_[i].IsHidingPrevious() && i > 0) { // not for global context
// break; i = 1; // go to global context after --i
// } }
} }
return std::nullopt; return std::nullopt;
} }

2
include/execute_visitor.hpp
View file

@ -34,7 +34,7 @@ public:
for (size_t i = 0; i < info::type::InternalTypesCount; ++i) { for (size_t i = 0; i < info::type::InternalTypesCount; ++i) {
info::type::InternalType type = static_cast<info::type::InternalType>(i); info::type::InternalType type = static_cast<info::type::InternalType>(i);
std::string type_name = info::type::ToString(type); std::string type_name = info::type::ToString(type);
context_manager_.DefineLocalType(type_name, global_info_.FindAbstractType(type_name).value()->node->type->graph_id_); context_manager_.DefineGlobalType(type_name, global_info_.FindAbstractType(type_name).value()->node->type->graph_id_);
} }
Visit(partition); Visit(partition);
} }

92
src/execute_visitor.cpp
View file

@ -219,9 +219,7 @@ void ExecuteVisitor::Visit(Match* node) {
void ExecuteVisitor::Visit(Condition* node) { void ExecuteVisitor::Visit(Condition* node) {
bool branch_visited = false; bool branch_visited = false;
for (size_t i = 0; i < node->conditions.size(); ++i) { for (size_t i = 0; i < node->conditions.size(); ++i) {
error_handling::DebugPrint("in loop");
if (HandleCondition(node->conditions[i], node->base)) { if (HandleCondition(node->conditions[i], node->base)) {
error_handling::DebugPrint("in condition");
context_manager_.EnterContext(); context_manager_.EnterContext();
Visitor::Visit(node->statements[i]); Visitor::Visit(node->statements[i]);
context_manager_.ExitContext(); context_manager_.ExitContext();
@ -234,11 +232,8 @@ void ExecuteVisitor::Visit(Condition* node) {
branch_visited = true; branch_visited = true;
break; break;
} }
error_handling::DebugPrint("out of condition");
} }
error_handling::DebugPrint("after conditions");
if (!branch_visited) { if (!branch_visited) {
if (node->statements.size() > node->conditions.size()) { if (node->statements.size() > node->conditions.size()) {
context_manager_.EnterContext(); context_manager_.EnterContext();
@ -592,7 +587,6 @@ void ExecuteVisitor::Visit(FunctionCallExpression* node) {
auto maybe_parameter_graph_id = context_manager_.FindLocalType(node->parameters[i]->type.type); auto maybe_parameter_graph_id = context_manager_.FindLocalType(node->parameters[i]->type.type);
if (!maybe_parameter_graph_id.has_value()) { if (!maybe_parameter_graph_id.has_value()) {
error_handling::DebugPrint(node->parameters[i]->type.type);
error_handling::HandleInternalError("Parameter type not found", error_handling::HandleInternalError("Parameter type not found",
"ExecuteVisitor.FunctionCallExpression", "ExecuteVisitor.FunctionCallExpression",
&node->base); &node->base);
@ -994,9 +988,7 @@ void ExecuteVisitor::Visit(BoolLiteral* node) {
// //
bool ExecuteVisitor::HandleCondition(Expression& node, const BaseNode& base_node) { bool ExecuteVisitor::HandleCondition(Expression& node, const BaseNode& base_node) {
error_handling::DebugPrint("handle condition begin");
Visitor::Visit(node); Visitor::Visit(node);
error_handling::DebugPrint("handle condition end");
return *ExtractInternalValue<bool>(current_value_, base_node); return *ExtractInternalValue<bool>(current_value_, base_node);
} }
@ -1090,17 +1082,17 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
const std::string& name = node->name; const std::string& name = node->name;
if (utils::IsBuiltinFunction(name)) { if (utils::IsBuiltinFunction(name)) {
std::vector<info::value::InternalValue> arguments; std::vector<utils::IdType> arguments;
arguments.reserve(node->arguments.size()); arguments.reserve(node->arguments.size());
if (node->prefix.has_value() && std::holds_alternative<std::unique_ptr<SubExpressionToken>>(node->prefix.value())) { if (node->prefix.has_value() && std::holds_alternative<std::unique_ptr<SubExpressionToken>>(node->prefix.value())) {
Visitor::Visit(*std::get<std::unique_ptr<SubExpressionToken>>(node->prefix.value())); Visitor::Visit(*std::get<std::unique_ptr<SubExpressionToken>>(node->prefix.value()));
arguments.push_back(*ExtractValue<info::value::InternalValue>(current_value_, node->base)); arguments.push_back(current_value_);
} }
for (auto& argument : node->arguments) { for (auto& argument : node->arguments) {
Visitor::Visit(argument.second); Visitor::Visit(argument.second);
arguments.push_back(*ExtractValue<info::value::InternalValue>(current_value_, node->base)); arguments.push_back(current_value_);
} }
switch (type) { switch (type) {
@ -1108,22 +1100,22 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
if (name == "show") { if (name == "show") {
try { try {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(std::to_string(*arguments[0].GetValue<double>().value())), info::value::InternalValue(std::to_string(*ExtractInternalValue<double>(arguments[0], node->base))),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} catch(...) { } catch(...) {
error_handling::HandleRuntimeError("Can't read Float", node->base); error_handling::HandleRuntimeError("Can't read Float", node->base);
} }
} else if (name == "read") { } else if (name == "read") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(std::stod(*arguments[0].GetValue<std::string>().value())), info::value::InternalValue(std::stod(*ExtractInternalValue<std::string>(arguments[0], node->base))),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "<") { } else if (name == "<") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<double>().value() < *arguments[1].GetValue<double>().value()), info::value::InternalValue(*ExtractInternalValue<double>(arguments[0], node->base) < *ExtractInternalValue<double>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "==") { } else if (name == "==") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<double>().value() == *arguments[1].GetValue<double>().value()), info::value::InternalValue(*ExtractInternalValue<double>(arguments[0], node->base) == *ExtractInternalValue<double>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "zero") { } else if (name == "zero") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
@ -1134,27 +1126,27 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
info::value::InternalValue(1.0), info::value::InternalValue(1.0),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "=") { } else if (name == "=") {
*arguments[0].GetValue<double>().value() = *arguments[1].GetValue<double>().value(); *ExtractInternalValue<double>(arguments[0], node->base) = *ExtractInternalValue<double>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "+=") { } else if (name == "+=") {
*arguments[0].GetValue<double>().value() += *arguments[1].GetValue<double>().value(); *ExtractInternalValue<double>(arguments[0], node->base) += *ExtractInternalValue<double>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "-=") { } else if (name == "-=") {
*arguments[0].GetValue<double>().value() -= *arguments[1].GetValue<double>().value(); *ExtractInternalValue<double>(arguments[0], node->base) -= *ExtractInternalValue<double>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "*=") { } else if (name == "*=") {
*arguments[0].GetValue<double>().value() *= *arguments[1].GetValue<double>().value(); *ExtractInternalValue<double>(arguments[0], node->base) *= *ExtractInternalValue<double>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "/=") { } else if (name == "/=") {
*arguments[0].GetValue<double>().value() /= *arguments[1].GetValue<double>().value(); *ExtractInternalValue<double>(arguments[0], node->base) /= *ExtractInternalValue<double>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
@ -1165,35 +1157,31 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
case info::type::InternalType::Int: case info::type::InternalType::Int:
if (name == "show") { if (name == "show") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(std::to_string(*arguments[0].GetValue<int64_t>().value())), info::value::InternalValue(std::to_string(*ExtractInternalValue<int64_t>(arguments[0], node->base))),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "read") { } else if (name == "read") {
try { try {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(std::stoi(*arguments[0].GetValue<std::string>().value())), info::value::InternalValue(std::stoi(*ExtractInternalValue<std::string>(arguments[0], node->base))),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} catch(...) { } catch(...) {
error_handling::HandleRuntimeError("Can't read Int", node->base); error_handling::HandleRuntimeError("Can't read Int", node->base);
} }
} else if (name == "<") { } else if (name == "<") {
error_handling::DebugPrint("< Args:");
error_handling::DebugPrint(*arguments[0].GetValue<int64_t>().value());
error_handling::DebugPrint(*arguments[1].GetValue<int64_t>().value());
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<int64_t>().value() < *arguments[1].GetValue<int64_t>().value()), info::value::InternalValue(*ExtractInternalValue<int64_t>(arguments[0], node->base) < *ExtractInternalValue<int64_t>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
error_handling::DebugPrint(*ExtractInternalValue<bool>(current_value_, node->base));
} else if (name == "==") { } else if (name == "==") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<int64_t>().value() == *arguments[1].GetValue<int64_t>().value()), info::value::InternalValue(*ExtractInternalValue<int64_t>(arguments[0], node->base) == *ExtractInternalValue<int64_t>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "div") { } else if (name == "div") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<int64_t>().value() / *arguments[1].GetValue<int64_t>().value()), info::value::InternalValue(*ExtractInternalValue<int64_t>(arguments[0], node->base) / *ExtractInternalValue<int64_t>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "mod") { // TODO: better implementation of mod (read "%" specification) } else if (name == "mod") { // TODO: better implementation of mod (read "%" specification)
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<int64_t>().value() % *arguments[1].GetValue<int64_t>().value()), info::value::InternalValue(*ExtractInternalValue<int64_t>(arguments[0], node->base) % *ExtractInternalValue<int64_t>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "zero") { } else if (name == "zero") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
@ -1204,22 +1192,22 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
info::value::InternalValue(1), info::value::InternalValue(1),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "=") { } else if (name == "=") {
*arguments[0].GetValue<int64_t>().value() = *arguments[1].GetValue<int64_t>().value(); *ExtractInternalValue<int64_t>(arguments[0], node->base) = *ExtractInternalValue<int64_t>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "+=") { } else if (name == "+=") {
*arguments[0].GetValue<int64_t>().value() += *arguments[1].GetValue<int64_t>().value(); *ExtractInternalValue<int64_t>(arguments[0], node->base) += *ExtractInternalValue<int64_t>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "-=") { } else if (name == "-=") {
*arguments[0].GetValue<int64_t>().value() -= *arguments[1].GetValue<int64_t>().value(); *ExtractInternalValue<int64_t>(arguments[0], node->base) -= *ExtractInternalValue<int64_t>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "*=") { } else if (name == "*=") {
*arguments[0].GetValue<int64_t>().value() *= *arguments[1].GetValue<int64_t>().value(); *ExtractInternalValue<int64_t>(arguments[0], node->base) *= *ExtractInternalValue<int64_t>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
@ -1230,30 +1218,30 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
case info::type::InternalType::String: case info::type::InternalType::String:
if (name == "show") { // do not copy ?? if (name == "show") { // do not copy ??
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<std::string>().value()), info::value::InternalValue(*ExtractInternalValue<std::string>(arguments[0], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "read") { // do not copy ?? } else if (name == "read") { // do not copy ??
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<std::string>().value()), info::value::InternalValue(*ExtractInternalValue<std::string>(arguments[0], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "<") { } else if (name == "<") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<std::string>().value() < *arguments[1].GetValue<std::string>().value()), info::value::InternalValue(*ExtractInternalValue<std::string>(arguments[0], node->base) < *ExtractInternalValue<std::string>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "==") { } else if (name == "==") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<std::string>().value() == *arguments[1].GetValue<std::string>().value()), info::value::InternalValue(*ExtractInternalValue<std::string>(arguments[0], node->base) == *ExtractInternalValue<std::string>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "size") { } else if (name == "size") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(static_cast<int64_t>(arguments[0].GetValue<std::string>().value()->size())), info::value::InternalValue(static_cast<int64_t>(ExtractInternalValue<std::string>(arguments[0], node->base)->size())),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "at") { } else if (name == "at") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue((*arguments[0].GetValue<std::string>().value())[*arguments[1].GetValue<int64_t>().value()]), info::value::InternalValue((*ExtractInternalValue<std::string>(arguments[0], node->base))[*ExtractInternalValue<int64_t>(arguments[0], node->base)]),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "=") { } else if (name == "=") {
*arguments[0].GetValue<std::string>().value() = *arguments[1].GetValue<std::string>().value(); *ExtractInternalValue<std::string>(arguments[0], node->base) = *ExtractInternalValue<std::string>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
@ -1264,26 +1252,26 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
case info::type::InternalType::Char: case info::type::InternalType::Char:
if (name == "show") { if (name == "show") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(std::string{*arguments[0].GetValue<char>().value()}), info::value::InternalValue(std::string{*ExtractInternalValue<char>(arguments[0], node->base)}),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "read") { } else if (name == "read") {
if (arguments[0].GetValue<std::string>().value()->size() != 1) { if (ExtractInternalValue<std::string>(arguments[0], node->base)->size() != 1) {
error_handling::HandleRuntimeError("Can't read Char", node->base); error_handling::HandleRuntimeError("Can't read Char", node->base);
} else { } else {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue((*arguments[0].GetValue<std::string>().value())[0]), info::value::InternalValue((*ExtractInternalValue<std::string>(arguments[0], node->base))[0]),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} }
} else if (name == "<") { } else if (name == "<") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<char>().value() < *arguments[1].GetValue<char>().value()), info::value::InternalValue(*ExtractInternalValue<char>(arguments[0], node->base) < *ExtractInternalValue<char>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "==") { } else if (name == "==") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<char>().value() == *arguments[1].GetValue<char>().value()), info::value::InternalValue(*ExtractInternalValue<char>(arguments[0], node->base) == *ExtractInternalValue<char>(arguments[1], node->base)),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "=") { } else if (name == "=") {
*arguments[0].GetValue<char>().value() = *arguments[1].GetValue<char>().value(); *ExtractInternalValue<char>(arguments[0], node->base) = *ExtractInternalValue<char>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
@ -1294,14 +1282,14 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
case info::type::InternalType::Bool: case info::type::InternalType::Bool:
if (name == "show") { if (name == "show") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(*arguments[0].GetValue<bool>().value() ? "true" : "false"), info::value::InternalValue(*ExtractInternalValue<bool>(arguments[0], node->base) ? "true" : "false"),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "read") { } else if (name == "read") {
if (*arguments[0].GetValue<std::string>().value() == "true") { if (*ExtractInternalValue<std::string>(arguments[0], node->base) == "true") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(true), info::value::InternalValue(true),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (*arguments[0].GetValue<std::string>().value() == "false") { } else if (*ExtractInternalValue<std::string>(arguments[0], node->base) == "false") {
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(false), info::value::InternalValue(false),
utils::ValueType::Tmp); utils::ValueType::Tmp);
@ -1309,7 +1297,7 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
error_handling::HandleRuntimeError("Can't read Bool", node->base); error_handling::HandleRuntimeError("Can't read Bool", node->base);
} }
} else if (name == "=") { } else if (name == "=") {
*arguments[0].GetValue<bool>().value() = *arguments[1].GetValue<bool>().value(); *ExtractInternalValue<bool>(arguments[0], node->base) = *ExtractInternalValue<bool>(arguments[1], node->base);
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(
info::value::InternalValue(info::value::Unit()), info::value::InternalValue(info::value::Unit()),
utils::ValueType::Tmp); utils::ValueType::Tmp);
@ -1323,7 +1311,7 @@ bool ExecuteVisitor::HandleBuiltinTypeFunctionCall(FunctionCallExpression* node,
info::value::InternalValue("()"), info::value::InternalValue("()"),
utils::ValueType::Tmp); utils::ValueType::Tmp);
} else if (name == "read") { } else if (name == "read") {
if (*arguments[0].GetValue<std::string>().value() != "()") { if (*ExtractInternalValue<std::string>(arguments[0], node->base) != "()") {
error_handling::HandleRuntimeError("Can't read Unit", node->base); error_handling::HandleRuntimeError("Can't read Unit", node->base);
} }
current_value_ = context_manager_.AddValue( current_value_ = context_manager_.AddValue(

3
src/type_check_visitor.cpp
View file

@ -1387,6 +1387,7 @@ void TypeCheckVisitor::Visit(TypeExpression* node) {
std::optional<utils::IdType> maybe_local_abstract_type = std::optional<utils::IdType> maybe_local_abstract_type =
context_manager_.FindLocalType(node->type.type); context_manager_.FindLocalType(node->type.type);
if (node->path.empty() && maybe_local_abstract_type.has_value()) { if (node->path.empty() && maybe_local_abstract_type.has_value()) {
current_type_ = maybe_local_abstract_type.value(); current_type_ = maybe_local_abstract_type.value();
} else if (node->type.type_id_.has_value()) { // TODO: check that names are different (always true ??) } else if (node->type.type_id_.has_value()) { // TODO: check that names are different (always true ??)
@ -1648,7 +1649,7 @@ std::optional<FunctionDeclaration*>
&node->base); &node->base);
} }
VisitDefinedType(maybe_type_info.value(), context, utils::ValueType::Tmp, true); VisitDefinedType(maybe_type_info.value(), context, utils::ValueType::Tmp, false); // TODO: scoped ?? (the paramter types are blocked)
maybe_function_declaration = maybe_function_declaration =
FindDefinedTypeFunctionAndUpdate(node, FindDefinedTypeFunctionAndUpdate(node,
maybe_type_info.value(), maybe_type_info.value(),

57
tests/test_code.lang
View file

@ -19,17 +19,10 @@ decl error : \string -> \unit
// //
decl not : \bool -> \bool decl not : \bool -> \bool
def not : x = { def not : x =
; print-anything:[bool] x (match x with
; print-anything:[bool] | true -> false
(match x with | false -> true)
| true -> false
| false -> true)
return (match x with
| true -> false
| false -> true)
}
// //
@ -195,10 +188,6 @@ decl ( -- ) : \int -> \int -> \int`0
def ( -- ) : begin end = { def ( -- ) : begin end = {
var current = begin var current = begin
return (while current < end do { return (while current < end do {
; print-anything:[string] "iteration:"
; print-anything:[int] begin
; print-anything:[int] current
; print-anything:[int] end
; current += 1 ; current += 1
bring current - 1 bring current - 1
}) })
@ -253,12 +242,12 @@ def print-anything : x = \io..print: (x..show:)
// return a-copy // return a-copy
// } // }
// struct \array 'a = & 'a // 'a`0 struct \array 'a = & 'a`0
// namespace \array { namespace \array {
// decl of : 'a`0 -> \array['a] decl of : 'a`0 -> \array['a]
// def of : x = $array['a] & data = x def of : x = $array['a] & x
// } }
struct \three-tuple = & \string & \string & \string struct \three-tuple = & \string & \string & \string
@ -273,18 +262,20 @@ exec main {
if n <= 0 then error: "n can't be less then 1" if n <= 0 then error: "n can't be less then 1"
// var x = (for _ in 0--n do scan-int:) // $array[int] & 0 // var x = (for _ in 0--n do scan-int:)
var x = \array[int]..of: (for _ in 0--n do scan-int:)
// var k? = if n < 2 then n * 2 +. 3 in
// , print-anything:[string] "n < 2" var k? = if n < 2 then n * 2 +. 3 in
// , print-anything:[int] k , print-anything:[string] "n < 2"
// , print-anything:[int] k
// ; print-anything:[int] n
// ; print-anything:[int] n
// ; print-int: ::x 123
// ; print-int: ::x 123
// var & a & b & c = scan-three-t:
// ; \io..print: b var & a & b & c = scan-three-t:
// var & d & e & f = scan-three: ; \io..print: b
// ; \io..print: e var & d & e & f = scan-three:
; \io..print: e
} }