erg_common 0.6.7-nightly.1

A common components library of Erg
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use crate::shared::Shared;

thread_local! {
    static VAR_ID: Shared<usize> = Shared::new(0);
}

pub fn fresh_varname() -> String {
    VAR_ID.with(|id| {
        *id.borrow_mut() += 1;
        let i = *id.borrow();
        format!("%v{i}")
    })
}

pub fn fresh_param_name() -> String {
    VAR_ID.with(|id| {
        *id.borrow_mut() += 1;
        let i = *id.borrow();
        format!("%p{i}")
    })
}