From cd3a02416f45cb581d9c871bb4c34b5e43261826 Mon Sep 17 00:00:00 2001 From: waalge Date: Mon, 28 Aug 2023 21:56:01 +0000 Subject: [PATCH] chore: rm unused pub function --- crates/uplc/src/builder.rs | 23 ----------------------- 1 file changed, 23 deletions(-) diff --git a/crates/uplc/src/builder.rs b/crates/uplc/src/builder.rs index 4bff0260..59a7c60e 100644 --- a/crates/uplc/src/builder.rs +++ b/crates/uplc/src/builder.rs @@ -378,27 +378,4 @@ impl Term { .lambda(CONSTR_GET_FIELD), ) } - - pub fn expect_on_list(self) -> Self { - self.lambda(EXPECT_ON_LIST) - .apply(Term::var(EXPECT_ON_LIST).apply(Term::var(EXPECT_ON_LIST))) - .lambda(EXPECT_ON_LIST) - .apply( - Term::var("__list_to_check") - .delayed_choose_list( - Term::unit(), - Term::var("__check_with") - .apply(Term::head_list().apply(Term::var("__list_to_check"))) - .choose_unit( - Term::var(EXPECT_ON_LIST) - .apply(Term::var(EXPECT_ON_LIST)) - .apply(Term::tail_list().apply(Term::var("__list_to_check"))) - .apply(Term::var("__check_with")), - ), - ) - .lambda("__check_with") - .lambda("__list_to_check") - .lambda(EXPECT_ON_LIST), - ) - } }