airlang 0.28.0

Air is a universal, reliable, and lean 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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

use std::collections::hash_map::Entry;

use const_format::concatcp;

use crate::semantics::cfg::Cfg;
use crate::semantics::core::PREFIX_CELL;
use crate::semantics::val::Val;
use crate::type_::Key;
use crate::type_::Map;
use crate::type_::Text;

pub const ABORT_TYPE: &str = concatcp!(PREFIX_CELL, "error.abort.type");
pub const ABORT_MSG: &str = concatcp!(PREFIX_CELL, "error.abort.message");

pub const ABORT_TYPE_BUG: &str = concatcp!(PREFIX_CELL, "bug");

pub fn abort_by_bug_with_msg(cfg: &mut Cfg, msg: Text) -> Val {
    abort_by_bug(cfg);
    set_abort_msg(cfg, msg);
    cfg.abort()
}

pub fn abort_by_bug(cfg: &mut Cfg) {
    export_if_not_exist(&mut cfg.map, ABORT_TYPE, Key::from_str_unchecked(ABORT_TYPE_BUG));
}

pub fn set_abort_msg(cfg: &mut Cfg, msg: Text) {
    export_if_not_exist(&mut cfg.map, ABORT_MSG, msg);
}

fn export_if_not_exist(cfg: &mut Map<Key, Val>, key: &'static str, val: impl Into<Val>) {
    let Entry::Vacant(entry) = cfg.entry(Key::from_str_unchecked(key)) else {
        return;
    };
    entry.insert(val.into());
}

#[macro_export]
macro_rules! bug {
     ($cfg: tt, $($arg:tt)*) => {
        $crate::cfg::error::abort_by_bug_with_msg($cfg, format!($($arg)*).into())
     };
}