rain-lang 0.0.1

An implementation of an RVSDG in Rust with a concept of lifetimes
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

/*!
Hash-consing of `rain` values
*/

use rand::{self, Rng};
use lazy_static::lazy_static;
use super::ValueData;
use crate::graph::cons::{GlobalCache, NodeCache};

/// A cache for `rain` values, for hash-consing
pub type ValueCache<C = GlobalCache> = NodeCache<ValueData, C>;

lazy_static! {
    /// A lazily-initialized global cache for `rain` values, for hash-consing
    pub static ref VALUE_CACHE: ValueCache = {
        let mut rng = rand::thread_rng();
        ValueCache::with_keys(rng.gen())
    };
}

#[cfg(test)]
mod tests {
    use crate::value::ValId;

    #[test]
    fn boolean_values_are_hash_consed() {
        let vt = ValId::from(true);
        let vf = ValId::from(false);
        let vt2 = ValId::from(true);
        let vf2 = ValId::from(false);
        assert_eq!(vt, vt2);
        assert_eq!(vf, vf2);
        assert_ne!(vt, vf);
    }
}