From: Jérémie Astor <fennecdjay@gmail.com>
Date: Thu, 3 Dec 2020 23:40:43 +0000 (+0100)
Subject: :art: Use GW_OK
X-Git-Tag: nightly~1132
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=083fa2abacf3cb3a7110ebcaf1080f91103a6d6b;p=gwion.git

:art: Use GW_OK
---

diff --git a/src/env/type.c b/src/env/type.c
index e28dd86c..d45e8fbb 100644
--- a/src/env/type.c
+++ b/src/env/type.c
@@ -53,7 +53,7 @@ ANN Type type_copy(MemPool p, const Type type) {
 }
 
 ANN m_bool isa(const restrict Type var, const restrict Type parent) {
-  return (var->xid == parent->xid) ? 1 : var->info->parent ? isa(var->info->parent, parent) : -1;
+  return (var->xid == parent->xid) ? GW_OK : var->info->parent ? isa(var->info->parent, parent) : GW_ERROR;
 }
 
 ANN Type find_common_anc(const restrict Type lhs, const restrict Type rhs) {