tnt 1.0.2

Simple runtime validated proofs in number theory
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use std::fmt;

#[derive(Debug, Clone)]
pub struct LogicError(pub String);

impl LogicError {
    pub fn new(message: String) -> LogicError {
        LogicError(message)
    }
}

impl fmt::Display for LogicError {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f, "{}", self.0)
    }
}

// macro_rules! logic_err {
//     ($($arg:tt)*) => {
//         Err(LogicError(format!($($arg:tt)*)))
//     };
// }