From e25be7643ed8f484af4c73b2c66749de72761d05 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Tue, 6 Feb 2024 11:21:25 -0500
Subject: [PATCH] discards will now check for type too.

---
 crates/aiken-lang/src/gen_uplc.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs
index d1523434..dc1e6509 100644
--- a/crates/aiken-lang/src/gen_uplc.rs
+++ b/crates/aiken-lang/src/gen_uplc.rs
@@ -2777,10 +2777,14 @@ impl<'a> CodeGenerator<'a> {
             .iter()
             .enumerate()
             .map(|(index, arg)| {
-                let arg_name = arg.arg_name.get_variable_name().unwrap_or("_").to_string();
+                let arg_name = arg
+                    .arg_name
+                    .get_variable_name()
+                    .map(|arg| arg.to_string())
+                    .unwrap_or_else(|| format!("__arg_{}", index));
                 let arg_span = arg.location;
 
-                if !(has_context && index == arguments.len() - 1) && &arg_name != "_" {
+                if !(has_context && index == arguments.len() - 1) {
                     let param = AirTree::local_var(&arg_name, data());
 
                     let actual_type = convert_opaque_type(&arg.tipo, &self.data_types);