crisp 0.3.0

A small, expressive Lisp-inspired programming 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

use crate::structure::helpers::*;
use crisp::parsing::{
    SourceFile,
    ast::{CrispParser, Rule, validation::validate_if},
};
use pest::Parser;
use proptest::{prop_assert, proptest};

proptest! {
    #[test]
    fn valid(predicate in gen_body(), then_block in gen_body(), else_block in gen_body()) {
        let source = format!("(if {} {} {})", predicate, then_block, else_block);
        let mut pairs = CrispParser::parse(Rule::list, &source).unwrap();
        let pair = pairs.next().unwrap();
        prop_assert!(validate_if(&pair, &SourceFile::default()));
    }
    #[test]
    fn invalid(if_statement in gen_bad_if()) {
        let source = if_statement.to_string();
        let mut pairs = CrispParser::parse(Rule::file, &source).unwrap();
        let pair = pairs.next().unwrap();
        prop_assert!(!validate_if(&pair, &SourceFile::default()));
    }
}