From 1f3c42fc4442e8ef94272e96b878a3b590b151c9 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Thu, 10 Sep 2020 20:11:42 -0700
Subject: [PATCH] Change constructor visibility to global.

Constructors are always effectively global.
---
 code/compiler/13/definition.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/compiler/13/definition.cpp b/code/compiler/13/definition.cpp
index dc36f20..0a92dcf 100644
--- a/code/compiler/13/definition.cpp
+++ b/code/compiler/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);
     }
 }