nar 0.0.8

Narc, a dependently-typed programming language with dependent pattern matching
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

use nar::{
    check::{monad::TCS, rules::check_decls},
    syntax::abs::desugar::{desugar_main, DesugarState},
};

use crate::args::CliOptions;

mod args;
mod util;

fn success(quiet: bool) {
    if !quiet {
        println!("\u{1F42E}\u{1F37A}");
    }
}

fn main_file(args: CliOptions) -> Option<(TCS, DesugarState)> {
    let quiet = args.quiet;
    let parse_only = args.parse_only;
    let indentation = args.indent_size.unwrap_or(2);
    let decls = util::parse_file(args.file.as_ref()?)?;
    if parse_only {
        success(quiet);
        return None;
    }

    // Translate to abstract syntax
    let abs_decls = desugar_main(decls).unwrap_or_else(|err| {
        eprintln!("{}", err);
        eprint!("\u{1f375}");
        std::process::exit(1)
    });

    // Type check
    let mut tcs = TCS::considerate_of(&abs_decls);
    tcs.indentation_size(indentation);
    tcs.trace_tc = args.trace;
    let checked = check_decls(tcs, abs_decls.decls.clone()).unwrap_or_else(|err| {
        eprintln!("{}", err);
        eprintln!("\u{1F528}");
        std::process::exit(1)
    });

    success(quiet);
    Some((checked, abs_decls))
}

fn main() {
    let args = args::pre();

    let checked = main_file(args).unwrap_or_default();

    // Don't yet need to use this -- it's for the REPL.
    drop(checked);
}