wander 0.5.0

The Wander scripting language.
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

// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.

use crate::utilities::introspect_str;
use wander::interpreter::Expression;
use wander::parser::Element;

#[path = "utilities.rs"]
mod utilities;

#[test]
fn parse_tagged_name_in_let() {
    let res = introspect_str("let val x: Int = 5 end");
    let expected = Element::Let(
        vec![(
            "x".to_owned(),
            Some("Int".to_owned()),
            Element::Grouping(vec![Element::Int(5)]),
        )],
        Box::new(Element::Nothing),
    );
    assert_eq!(res.element, expected);
    let expected = Expression::Let(
        vec![(
            "x".to_owned(),
            Some(Expression::Name("Int".to_owned())),
            Expression::Int(5),
        )],
        Box::new(Expression::Nothing),
    );
    assert_eq!(res.expression, expected);
}

#[test]
fn parse_tagged_name_in_lambda() {
    let res = introspect_str("let val x = \\y: Any -> y end");
    let expected = Element::Let(
        vec![(
            "x".to_owned(),
            None,
            Element::Grouping(vec![Element::Lambda(
                "y".to_owned(),
                Some("Any".to_owned()),
                None,
                Box::new(Element::Grouping(vec![Element::Name("y".to_owned())])),
            )]),
        )],
        Box::new(Element::Nothing),
    );
    assert_eq!(res.element, expected);
    let expected = Expression::Let(
        vec![(
            "x".to_owned(),
            None,
            Expression::Lambda(
                "y".to_owned(),
                Some("Any".to_owned()),
                None,
                Box::new(Element::Grouping(vec![Element::Name("y".to_owned())])),
            ),
        )],
        Box::new(Expression::Nothing),
    );
    assert_eq!(res.expression, expected);
}