]> Nishi Git Mirror - gwion.git/commitdiff
:art: Improve prepend_type_decl signature
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 12 May 2020 16:16:47 +0000 (18:16 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 12 May 2020 16:16:47 +0000 (18:16 +0200)
src/parse/check.c

index d51081d39a09bbdde3ef404b611d6b1de3accec9..e29b959fb4dfc5e599693b892384895e9db02949 100644 (file)
@@ -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;