repr 0.8.0

The regular-expression-as-linear-logic interpretation and its implementation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

use repr::wrappers::seq;

macro_rules! debug {
    ($expr:expr, $rhs:literal) => {
        assert_eq!(format!("{:?}", $expr), $rhs)
    };
}

#[test]
fn debug() {
    debug!(seq(['a']), "Seq(Seq(['a']))");
    debug!(seq(['a']).mul(seq(['b'])), "Seq(Seq(['a', 'b']))");
    debug!(
        seq(['a']).or(seq(['b'])),
        "Or(Seq(Seq(['a'])), Seq(Seq(['b'])))"
    );
    debug!(seq(['a']).inf(), "Inf(Seq(Seq(['a'])))");
}