:art: Remove clang warning

diff --git a/include/env/tuple.h b/include/env/tuple.h
index ec08289d6982768e39e8729b3cedc2bb062ff5bd..b4af992b0e8954e9a48dad1a097cb6cfe653a9be 100644 (file)
--- a/include/env/tuple.h
+++ b/include/env/tuple.h
@@ -4,14 +4,13 @@ typedef struct TupleForm_* TupleForm;
 struct TupleForm_ {
   struct Vector_ types;
   struct Vector_ offset;
-//  Type_List list;
   m_uint start;
 };
 
 ANN Type tuple_type(const Env, const Vector, const loc_t);
 ANN void tuple_info(const Env, Type_Decl*, const Var_Decl);
 ANN2(1) TupleForm new_tupleform(MemPool p, const Type parent_type);
-ANN void free_tupleform(MemPool p, const TupleForm tuple);
+ANN void free_tupleform(const TupleForm tuple);
 
 #ifdef __INSTR
 INSTR(TupleCtor);

diff --git a/src/env/tupleform.c b/src/env/tupleform.c
index 6f828716a75679d3be8c5814aedda994ed8eeee9..8a8aef40dfa94ea95e9142557232e44a8d52f847 100644 (file)
--- a/src/env/tupleform.c
+++ b/src/env/tupleform.c
@@ -47,7 +47,7 @@ ANN2(1) TupleForm new_tupleform(MemPool p, const Type parent_type) {
   return tuple;
 }
 
-ANN void free_tupleform(MemPool p, const TupleForm tuple) {
+ANN void free_tupleform(const TupleForm tuple) {
   vector_release(&tuple->types);
   vector_release(&tuple->offset);
 }

diff --git a/src/parse/check.c b/src/parse/check.c
index 581468caa3719296625dc0fbe5f96df63873480a..05130dac070cdf7ebc2532f909d25c60a8481c2e 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -1122,7 +1122,9 @@ ANN static Symbol case_op(const Env env, const Exp e, const m_uint i) {
 }
 
 ANN static m_bool match_case_exp(const Env env, Exp e) {
-  for(m_uint i = 0; i < map_size(&env->scope->match->map) && e; e = e->next, ++i) {
+  for(m_uint i = 0; i < map_size(&env->scope->match->map); e = e->next, ++i) {
+    if(!e)
+    ERR_B(e->pos, _("no enough to match"))
     const Symbol op = case_op(env, e, i);
     if(op) {
       const Exp base = (Exp)VKEY(&env->scope->match->map, i);