CSY/reowolf Files · src/macros.rs · Centrum Wiskunde & Informatica (CWI)

Files @ d72289ecc27b

Branch filter:

Location: CSY/reowolf/src/macros.rs

d72289ecc27b 653 B application/rls-services+xml Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

playing around with new predicate=>state,payload storages. toward faster querying but also toward deviation detection by way of intelligible error handling

macro_rules! log {
    ($logger:expr, $($arg:tt)*) => {{
        use std::fmt::Write;
        writeln!($logger, $($arg)*).unwrap();
    }};
}
macro_rules! assert_let {
    ($pat:pat = $expr:expr => $work:expr) => {
        if let $pat = $expr {
            $work
        } else {
            panic!("assert_let failed");
        }
    };
}

#[test]
fn assert_let() {
    let x = Some(5);
    let z = assert_let![Some(y) = x => {
        println!("{:?}", y);
        3
    }];
    println!("{:?}", z);
}

#[test]
#[should_panic]
fn must_let_panic() {
    let x: Option<u32> = None;
    assert_let![Some(y) = x => {
        println!("{:?}", y);
    }];
}