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

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

@ -831,11 +831,23 @@ Perhaps, try the following:
#[diagnostic(code("unknown::module_value"))]
#[diagnostic(help(
"{}",
suggest_neighbor(
name,
value_constructors.iter(),
&suggest_make_public()
)
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(
name,
value_constructors.iter(),
&suggest_make_public()
)
}
))]
UnknownModuleValue {
#[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 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.
#[repr(u8)]
@ -516,9 +514,9 @@ impl DefaultFunction {
UnBData => "un_b_data",
EqualsData => "equals_data",
SerialiseData => "serialise_data",
MkPairData => "mk_pair_data",
MkNilData => "mk_nil_data",
MkNilPairData => "mk_nil_pair_data",
MkPairData => "new_pair",
MkNilData => "new_list",
MkNilPairData => "new_pairs",
Bls12_381_G1_Add => "bls12_381_g1_add",
Bls12_381_G1_Neg => "bls12_381_g1_neg",
Bls12_381_G1_ScalarMul => "bls12_381_g1_scalar_mul",