summaryrefslogtreecommitdiff
path: root/serde_dhall/tests/de.rs
blob: 0b43de220780b96c892e89cbe37a3099479c1550 (plain)
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
use serde::Deserialize;
use serde_dhall::{from_str, FromDhall, NumKind, SimpleValue};

#[test]
fn test_de_untyped() {
    use std::collections::BTreeMap;
    use std::collections::HashMap;

    fn parse<T: FromDhall>(s: &str) -> T {
        from_str(s).parse().unwrap()
    }

    // Test tuples on record of wrong type
    assert_eq!(
        parse::<(u64, String, i64)>(r#"{ y = "foo", x = 1, z = +42 }"#),
        (1, "foo".to_owned(), 42)
    );

    let mut expected_map = HashMap::new();
    expected_map.insert("x".to_string(), 1);
    expected_map.insert("y".to_string(), 2);
    assert_eq!(
        parse::<HashMap<String, u64>>("{ x = 1, y = 2 }"),
        expected_map
    );
    assert_eq!(
        parse::<HashMap<String, u64>>("toMap { x = 1, y = 2 }"),
        expected_map
    );

    let mut expected_map = HashMap::new();
    expected_map.insert("if".to_string(), 1);
    expected_map.insert("FOO_BAR".to_string(), 2);
    expected_map.insert("baz-kux".to_string(), 3);
    assert_eq!(
        parse::<HashMap<String, u64>>("{ `if` = 1, FOO_BAR = 2, baz-kux = 3 }"),
        expected_map
    );

    let mut expected_map = BTreeMap::new();
    expected_map.insert("x".to_string(), 1);
    expected_map.insert("y".to_string(), 2);
    assert_eq!(
        parse::<BTreeMap<String, u64>>("{ x = 1, y = 2 }"),
        expected_map
    );

    #[derive(Debug, PartialEq, Eq, Deserialize)]
    struct Foo {
        x: u64,
        y: Option<u64>,
    }
    // Omit optional field
    assert_eq!(parse::<Foo>("{ x = 1 }"), Foo { x: 1, y: None });

    // https://github.com/Nadrieril/dhall-rust/issues/155
    assert!(from_str("List/length [True, 42]").parse::<bool>().is_err());
}

#[test]
fn test_de_simplevalue() {
    let bool_true = SimpleValue::Num(NumKind::Bool(true));
    // https://github.com/Nadrieril/dhall-rust/issues/184
    assert_eq!(
        from_str("[ True ]").parse::<Vec<SimpleValue>>().unwrap(),
        vec![bool_true.clone()]
    );

    assert_eq!(
        from_str("< Foo >.Foo").parse::<SimpleValue>().unwrap(),
        SimpleValue::Union("Foo".into(), None)
    );
    assert_eq!(
        from_str("< Foo: Bool >.Foo True")
            .parse::<SimpleValue>()
            .unwrap(),
        SimpleValue::Union("Foo".into(), Some(Box::new(bool_true.clone())))
    );

    #[derive(Debug, PartialEq, Eq, Deserialize)]
    struct Foo {
        foo: SimpleValue,
    }
    assert_eq!(
        from_str("{ foo = True }").parse::<Foo>().unwrap(),
        Foo {
            foo: bool_true.clone()
        },
    );
}

// TODO: test various builder configurations
// In particular test cloning and reusing builder