kodept 0.2.3

Simple compiler with dependent types support in mind
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

use std::path::PathBuf;

use clap::Parser;
use tracing::Level;

use crate::cli::commands::Commands;
use crate::cli::configs::{DiagnosticConfig, LoadingConfig};

const ABOUT_MESSAGE: &str =
    "Typechecks or interprets passed INPUT using Kodept programming language";

#[derive(Parser, Debug, Clone)]
#[command(version, author, about = ABOUT_MESSAGE)]
#[command(propagate_version = true)]
pub struct Kodept {
    /// Enable debugging output
    #[arg(short, long)]
    debug: bool,
    /// Enable verbose output
    #[arg(short, long, conflicts_with = "debug")]
    verbose: bool,
    /// Set logger output level
    #[arg(
    short = 's',
    long = "severity",
    ignore_case = true,
    default_value = "info",
    env = "RUST_LOG",
    conflicts_with_all = ["debug", "verbose"]
    )]
    verbosity: Level,
    /// Write output to specified path
    #[arg(short = 'o', long = "out", default_value = "./build")]
    pub output: PathBuf,

    #[command(flatten)]
    pub diagnostic_config: DiagnosticConfig,
    #[command(flatten)]
    pub loading_config: LoadingConfig,
    #[command(subcommand)]
    pub subcommands: Commands,
}

impl Kodept {
    pub fn level(&self) -> Level {
        if self.debug {
            Level::DEBUG
        } else if self.verbose {
            Level::TRACE
        } else {
            self.verbosity
        }
    }
}