vihaco-parser 0.1.1

Derive macro (#[derive(Parse)]) that generates chumsky parsers for vihaco syntax types.
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

// SPDX-FileCopyrightText: 2026 The vihaco Authors
// SPDX-License-Identifier: MIT

use chumsky::Parser;
use vihaco_parser::Parse;
use vihaco_parser_core::Parse as ParseTrait;

#[derive(Parse, Debug, PartialEq)]
#[head]
enum A {
    Foo(f64),
    Baz,
}

#[derive(Parse, Debug, PartialEq)]
#[head = "Ns::"]
enum B {
    Bar(f64),
}

#[derive(Parse, Debug, PartialEq)]
#[head]
enum C {
    #[token = "my_foo"]
    Foo(f64),
}

#[test]
fn auto_head_single_field() {
    assert_eq!(
        A::parser().parse("A::Foo(1.0)").into_result().unwrap(),
        A::Foo(1.0)
    );
}
#[test]
fn auto_head_unit() {
    assert_eq!(A::parser().parse("A::Baz").into_result().unwrap(), A::Baz);
}
#[test]
fn auto_head_rejects_bare() {
    assert!(A::parser().parse("Foo(1.0)").has_errors());
}
#[test]
fn custom_head() {
    assert_eq!(
        B::parser().parse("Ns::Bar(2.0)").into_result().unwrap(),
        B::Bar(2.0)
    );
}
#[test]
fn head_with_token_override() {
    assert_eq!(
        C::parser().parse("C::my_foo(3.0)").into_result().unwrap(),
        C::Foo(3.0)
    );
}