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

use {Result, Parser};
use traits::{Parse, TokenRead};

pub use self::expr::Expr;
pub use self::form::Form;
pub use self::guard_test::GuardTest;
pub use self::literal::Literal;
pub use self::pattern::Pattern;
pub use self::ty::Type;

pub mod clauses;
pub mod commons;
pub mod exprs;
pub mod forms;
pub mod guard_tests;
pub mod patterns;
pub mod types;

mod expr;
mod form;
mod guard_test;
mod literal;
mod pattern;
mod ty;

/// `Vec<Form>`
#[derive(Debug, Clone)]
pub struct ModuleDecl {
    pub forms: Vec<Form>,
}
impl Parse for ModuleDecl {
    fn parse<T>(parser: &mut Parser<T>) -> Result<Self>
    where
        T: TokenRead,
    {
        let mut forms = Vec::new();
        while !track!(parser.eos())? {
            let form = track!(parser.parse())?;
            forms.push(form);
        }
        Ok(ModuleDecl { forms })
    }
}