From 0ea42ab7e7ad4a437de27e9cd8754b9502e59b52 Mon Sep 17 00:00:00 2001 From: MitchTurner Date: Sun, 10 Jul 2022 12:32:36 -0700 Subject: [PATCH] Remove commented code related to closed story (#23) Co-authored-by: Turner --- crates/uplc/src/program_builder/constant.rs | 38 --------------------- 1 file changed, 38 deletions(-) diff --git a/crates/uplc/src/program_builder/constant.rs b/crates/uplc/src/program_builder/constant.rs index bde7b749..23b8b963 100644 --- a/crates/uplc/src/program_builder/constant.rs +++ b/crates/uplc/src/program_builder/constant.rs @@ -17,12 +17,6 @@ pub trait WithConstant: WithTerm { self.next(term) } - // TODO: After https://github.com/txpipe/aiken/issues/18 is completed - // fn with_char(self, a: char) -> Self::Next { - // let term = Term::Constant(Constant::Char(a)); - // self.next(term) - // } - fn with_unit(self) -> Self::Next { let term = Term::Constant(Constant::Unit); self.next(term) @@ -106,38 +100,6 @@ mod tests { } } - // prop_compose! { - // fn some_char()( - // some_char: char - // ) -> char { - // some_char - // } - // } - - // TODO: After https://github.com/txpipe/aiken/issues/18 is completed - // proptest! { - // #[test] - // fn build_named__with_char( - // some_char in some_char().prop_filter("Cannot be a double quote", |a| *a != '\"') - // ) { - // let char_as_string = &some_char.to_string(); - // let code = format!( - // r#"(program - // 11.22.33 - // (con char '{}') - // )"#, - // char_as_string - // ); - // - // println!("{:#?}", &code); - // let expected = parser::program(&code).unwrap(); - // let actual = Builder::start(11, 22, 33) - // .with_char(some_char) - // .build_named(); - // assert_eq!(expected, actual); - // } - // } - #[test] fn build_named__with_unit() { let code = r"(program