From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 12 May 2020 16:16:47 +0000 (+0200)
Subject: :art: Improve prepend_type_decl signature
X-Git-Tag: nightly~1576
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=048147048adc28c558b96a24cdda563a63758fb2;p=gwion.git

:art: Improve prepend_type_decl signature
---

diff --git a/src/parse/check.c b/src/parse/check.c
index d51081d3..e29b959f 100644
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -373,7 +373,7 @@ static ANN Type check_exp_slice(const Env env, const Exp_Slice* range) {
   return op_check(env, &opi);
 }
 
-ANN static Type_Decl* prepend_type_decl(MemPool mp, const Symbol xid, Type_Decl* td, const loc_t pos) {
+ANN2(1,2,4) static Type_Decl* prepend_type_decl(MemPool mp, const Symbol xid, Type_Decl* td, const loc_t pos) {
   Type_Decl *a = new_type_decl(mp, xid, loc_cpy(mp, pos));
   a->next = td;
   return a;