From fb0083e60c128c0f2c04bd447f293e65d5a6c186 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <fennecdjay@gmail.com>
Date: Thu, 13 May 2021 23:46:36 +0200
Subject: [PATCH] :art: ref and options are uint (also fixes it)

---
 ast                   |  2 +-
 src/parse/type_decl.c | 27 ++++++++++++++++-----------
 2 files changed, 17 insertions(+), 12 deletions(-)

diff --git a/ast b/ast
index d3975d4b..883e43a8 160000
--- a/ast
+++ b/ast
@@ -1 +1 @@
-Subproject commit d3975d4b9923d600c9d29d6486941b96f85fa77d
+Subproject commit 883e43a8b7068e5f17bfb1963d5eea676a326edb
diff --git a/src/parse/type_decl.c b/src/parse/type_decl.c
index 92f9be01..057575d7 100644
--- a/src/parse/type_decl.c
+++ b/src/parse/type_decl.c
@@ -5,26 +5,31 @@
 #include "traverse.h"
 #include "parse.h"
 
-ANN static Type _option(const Env env, Type_Decl* td, const m_uint n) {
+ANN static Type _option(const Env env, Type_Decl* td, const uint8_t n) {
   struct Type_List_ tl = { .td=td };
-  Type_Decl option_td = { .xid=insert_symbol("Option"), .types=&tl, .pos=td->pos };
-  return !(n-1) ? known_type(env, &option_td) : _option(env, &option_td, n-1);
+  Type_Decl tmp = { .xid=insert_symbol("Option"), .types=&tl, .pos=td->pos };
+  return !(n-1) ? known_type(env, &tmp) : _option(env, &tmp, n-1);
 }
 
 ANN static Type option(const Env env, Type_Decl* td) {
-  const m_uint option = td->option;
+  const uint8_t option = td->option;
   td->option = 0;
-  const Type ret = _option(env, td, option);
+  const Type t = _option(env, td, option);
   td->option = option;
-  return ret;
+  return t;
 }
 
-ANN static inline Type ref(const Env env, Type_Decl* td) {
+ANN static Type _ref(const Env env, Type_Decl* td, const uint8_t n) {
   struct Type_List_ tl = { .td=td };
+  Type_Decl tmp = { .xid=insert_symbol("Ref"), .types=&tl, .pos=td->pos };
+  return !(n-1) ? known_type(env, &tmp) : _ref(env, &tmp, n-1);
+}
+
+ANN static inline Type ref(const Env env, Type_Decl* td) {
+  const uint8_t ref = td->ref;
   td->ref = 0;
-  Type_Decl option_td = { .xid=insert_symbol("Ref"), .types=&tl, .pos=td->pos };
-  const Type t = known_type(env, &option_td);
-  td->ref = 1;
+  const Type t = _ref(env, td, ref);
+  td->ref = ref;
   return t;
 }
 
@@ -32,7 +37,6 @@ ANN static Type resolve(const Env env, Type_Decl* td) {
   Type_Decl *last = td;
   while(last->next)
     last = last->next;
-  Array_Sub array = last->array;
   DECL_OO(const Type, base, = find_type(env, td));
   const Context ctx = base->info->value->from->ctx;
   if(ctx && ctx->error)
@@ -40,6 +44,7 @@ ANN static Type resolve(const Env env, Type_Decl* td) {
   DECL_OO(const Type, type, = scan_type(env, base, td));
   const Type t = !td->ref ? type : ref(env, td);
   const Type ret = !td->option ? t : option(env, td);
+  const Array_Sub array = last->array;
   return !array ? ret: array_type(env, ret, array->depth);
 }
 
-- 
2.43.0