From 820a8bc5e91fe4c5b57b73f4b29bd206db679a1a Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Thu, 10 Sep 2020 20:11:42 -0700 Subject: [PATCH] Change constructor visibility to global. Constructors are always effectively global. --- 13/definition.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/13/definition.cpp b/13/definition.cpp index dc36f20..0a92dcf 100644 --- a/13/definition.cpp +++ b/13/definition.cpp @@ -83,7 +83,7 @@ void definition_data::insert_constructors() const { type_scheme_ptr full_scheme(new type_scheme(std::move(full_type))); full_scheme->forall.insert(full_scheme->forall.begin(), vars.begin(), vars.end()); - env->bind(constructor->name, full_scheme); + env->bind(constructor->name, full_scheme, visibility::global); } }