hvm-core 0.2.26

HVM-Core is a massively parallel Interaction Combinator evaluator.
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

use crate::prelude::*;

use crate::{
  ast::{Tree, MAX_ARITY},
  util::maybe_grow,
};

impl Tree {
  /// Join chains of CTR nodes, such as `(a (b (c d)))` into n-ary nodes `(a b c
  /// d)`
  pub fn coalesce_constructors(&mut self) {
    maybe_grow(|| match self {
      Tree::Ctr { lab, ports } => {
        ports.iter_mut().for_each(Tree::coalesce_constructors);
        match &mut ports.pop() {
          Some(Tree::Ctr { lab: inner_lab, ports: inner_ports })
            if inner_lab == lab && ports.len() + inner_ports.len() < MAX_ARITY =>
          {
            ports.append(inner_ports);
          }
          Some(other) => ports.push(mem::take(other)),
          None => (),
        }
      }
      other => other.children_mut().for_each(Tree::coalesce_constructors),
    })
  }
}