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

Remove commented code related to closed story (#23) 

Co-authored-by: Turner <mitch@tpfs.io>
This commit is contained in:
MitchTurner 2022-07-10 12:32:36 -07:00 committed by GitHub
parent ada7b00b49
commit 0ea42ab7e7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
crates/uplc/src/program_builder/constant.rs
View File

@ -17,12 +17,6 @@ pub trait WithConstant: WithTerm {
self.next(term) 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 { fn with_unit(self) -> Self::Next {
let term = Term::Constant(Constant::Unit); let term = Term::Constant(Constant::Unit);
self.next(term) 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] #[test]
fn build_named__with_unit() { fn build_named__with_unit() {
let code = r"(program let code = r"(program