waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rename mk_nil_data, mk_pair_data & mk_nil_pair_data builtins.

This commit is contained in:
KtorZ 2024-08-23 10:39:37 +02:00
parent 6e67fe837b
commit 0f905045e7
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
2 changed files with 23 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
crates/aiken-lang/src/tipo/error.rs
View File

@ -831,11 +831,23 @@ Perhaps, try the following:
#[diagnostic(code("unknown::module_value"))] #[diagnostic(code("unknown::module_value"))]
#[diagnostic(help( #[diagnostic(help(
"{}", "{}",
if ["mk_nil_data", "mk_pair_data", "mk_nil_pair_data"].contains(&.name.as_str()) {
format!(
"It seems like you're looking for a builtin function that has been (recently) renamed. Sorry about that, but take notes of the new names of the following functions:\n\n{:<16} -> {}\n{:<16} -> {}\n{:<16} -> {}",
"mk_nil_data".if_supports_color(Stderr, |s| s.red()),
"new_list".if_supports_color(Stderr, |s| s.green()),
"mk_pair_data".if_supports_color(Stderr, |s| s.red()),
"new_pair".if_supports_color(Stderr, |s| s.green()),
"mk_nil_pair_data".if_supports_color(Stderr, |s| s.red()),
"new_pairs".if_supports_color(Stderr, |s| s.green()),
)
} else {
suggest_neighbor( suggest_neighbor(
name, name,
value_constructors.iter(), value_constructors.iter(),
&suggest_make_public() &suggest_make_public()
) )
}
))] ))]
UnknownModuleValue { UnknownModuleValue {
#[label] #[label]

14
crates/uplc/src/builtins.rs
View File

@ -1,9 +1,7 @@
use std::{fmt::Display, rc::Rc, str::FromStr};
use pallas_codec::flat::de;
use strum_macros::EnumIter;
use crate::ast::Term; use crate::ast::Term;
use pallas_codec::flat::de;
use std::{fmt::Display, rc::Rc, str::FromStr};
use strum_macros::EnumIter;
/// All the possible builtin functions in Untyped Plutus Core. /// All the possible builtin functions in Untyped Plutus Core.
#[repr(u8)] #[repr(u8)]
@ -516,9 +514,9 @@ impl DefaultFunction {
UnBData => "un_b_data", UnBData => "un_b_data",
EqualsData => "equals_data", EqualsData => "equals_data",
SerialiseData => "serialise_data", SerialiseData => "serialise_data",
MkPairData => "mk_pair_data", MkPairData => "new_pair",
MkNilData => "mk_nil_data", MkNilData => "new_list",
MkNilPairData => "mk_nil_pair_data", MkNilPairData => "new_pairs",
Bls12_381_G1_Add => "bls12_381_g1_add", Bls12_381_G1_Add => "bls12_381_g1_add",
Bls12_381_G1_Neg => "bls12_381_g1_neg", Bls12_381_G1_Neg => "bls12_381_g1_neg",
Bls12_381_G1_ScalarMul => "bls12_381_g1_scalar_mul", Bls12_381_G1_ScalarMul => "bls12_381_g1_scalar_mul",