enotation 0.2.0

Extended s-notation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

use from_pest::FromPest;
use pest::Parser;

use crate::{ENotationParser, Rule};

use super::*;
use insta::assert_snapshot;

fn boolean(input: &str) -> Boolean {
    let mut output = ENotationParser::parse(Rule::boolean, input).unwrap();
    Boolean::from_pest(&mut output).unwrap()
}
fn integer(input: &str) -> Integer {
    let mut output = ENotationParser::parse(Rule::int, input).unwrap();
    Integer::from_pest(&mut output).unwrap()
}
fn rational(input: &str) -> Rational {
    let mut output = ENotationParser::parse(Rule::rational, input).unwrap();
    Rational::from_pest(&mut output).unwrap()
}
fn float(input: &str) -> Float {
    let mut output = ENotationParser::parse(Rule::float, input).unwrap();
    Float::from_pest(&mut output).unwrap()
}
fn char(input: &str) -> Char {
    let mut output = ENotationParser::parse(Rule::char, input).unwrap();
    Char::from_pest(&mut output).unwrap()
}
fn identifier(input: &str) -> Identifier {
    let mut output = ENotationParser::parse(Rule::identifier, input).unwrap();
    Identifier::from_pest(&mut output).unwrap()
}
fn string(input: &str) -> String_ {
    let mut output = ENotationParser::parse(Rule::string, input).unwrap();
    String_::from_pest(&mut output).unwrap()
}
fn literal(input: &str) -> Literal {
    let mut output = ENotationParser::parse(Rule::literal, input).unwrap();
    Literal::from_pest(&mut output).unwrap()
}

#[test]
fn parse_boolean() {
    assert_snapshot!(boolean("#t"), @"#t");
    assert_snapshot!(boolean("#f"), @"#f");
}

#[test]
fn parse_integer() {
    assert_snapshot!(integer("123"), @"123");
    assert_snapshot!(integer("-1"), @"-1");
    assert_snapshot!(integer("-10"), @"-10");
    assert_snapshot!(integer("0"), @"0");
    assert_snapshot!(integer("+0"), @"0");
    assert_snapshot!(integer("-0"), @"0");
}

#[test]
fn parse_rational() {
    assert_snapshot!(rational("1/2"), @"1/2");
}

#[test]
fn parse_float() {
    assert_snapshot!(float("1.23"), @"1.23");
}

#[test]
fn parse_char() {
    assert_snapshot!(char("#\\c"), @"#\\c");
    assert_snapshot!(char("#\\tab"), @"#\\tab");
    assert_snapshot!(char("#\\/"), @"#\\/");
}

#[test]
fn parse_identifier() {
    assert_snapshot!(identifier("abc"), @"abc");
    assert_snapshot!(identifier("obscure-name-!$%^&*-_=+<.>/?"), @"obscure-name-!$%^&*-_=+<.>/?");
    assert_snapshot!(identifier("世界"), @"世界");
    assert_snapshot!(identifier("本好きの下剋上"), @"本好きの下剋上");
}

#[test]
fn parse_string() {
    assert_snapshot!(string("\"abc\""), @"\"abc\"");
}

#[test]
fn parse_literal() {
    assert_snapshot!(literal("#t"), @"#t");
    assert_snapshot!(literal("123"), @"123");
    assert_snapshot!(literal("1/2"), @"1/2");
    assert_snapshot!(literal("1.23"), @"1.23");
    assert_snapshot!(literal("#\\c"), @"#\\c");
    assert_snapshot!(literal("\"abc\""), @"\"abc\"");
}