From: Jérémie Astor Date: Wed, 20 Apr 2022 10:31:11 +0000 (+0200) Subject: :art: Improve partial non used checking X-Git-Tag: nightly~293 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=5d89a48a91aaf01b0db4be4c1fa71ba601488016;p=gwion.git :art: Improve partial non used checking --- diff --git a/src/parse/check.c b/src/parse/check.c index 827fb6ca..6f091426 100644 --- a/src/parse/check.c +++ b/src/parse/check.c @@ -1318,7 +1318,7 @@ ANN m_bool check_union_def(const Env env NUSED, const Union_Def udef) { ANN static m_bool check_stmt_exp(const Env env, const Stmt_Exp stmt) { if(stmt->val) { CHECK_OB(check_exp(env, stmt->val)); - if(!strncmp(stmt->val->type->name, "partial:", 8)) { + if(stmt->val->exp_type == ae_exp_lambda) { const loc_t loc = stmt->val->d.exp_lambda.def->base->pos; env_warn(env, loc, "Partial application not used"); }