Function apply_sharing_with_stats

crates/compile/src/compile.rs:1608–1665

Apply sharing analysis to a set of expressions. Returns the rewritten expressions, sharing vector, and hash-consed size. Hash-consed size tracking is controlled by the global `TRACK_HASH_CONSED_SIZE` flag.

(
  exprs: Vec<Arc<Expr>>,
  block_name: Option<&str>,
)

          cache.arena.alloc(ExprMetaData::App { children: [f_root, a_root] }),
        );
      },

      Frame::BuildLam(name_addr, info) => {
        let body_root =
          cache.arena_roots.pop().expect("BuildLam missing body root");
        let ty_root =
          cache.arena_roots.pop().expect("BuildLam missing ty root");
        let body = results.pop().expect("BuildLam missing body");
        let ty = results.pop().expect("BuildLam missing ty");
        results.push(Expr::lam(ty, body));
        cache.arena_roots.push(cache.arena.alloc(ExprMetaData::Binder {
          name: name_addr,
          info,
          children: [ty_root, body_root],
        }));
      },

      Frame::BuildAll(name_addr, info) => {
        let body_root =
          cache.arena_roots.pop().expect("BuildAll missing body root");
        let ty_root =
          cache.arena_roots.pop().expect("BuildAll missing ty root");
        let body = results.pop().expect("BuildAll missing body");
        let ty = results.pop().expect("BuildAll missing ty");
        results.push(Expr::all(ty, body));
        cache.arena_roots.push(cache.arena.alloc(ExprMetaData::Binder {
          name: name_addr,
          info,
          children: [ty_root, body_root],
        }));
      },

      Frame::BuildLet(name_addr, non_dep) => {
        let body_root =
          cache.arena_roots.pop().expect("BuildLet missing body root");
        let val_root =
          cache.arena_roots.pop().expect("BuildLet missing val root");
        let ty_root =
          cache.arena_roots.pop().expect("BuildLet missing ty root");
        let body = results.pop().expect("BuildLet missing body");
        let val = results.pop().expect("BuildLet missing val");
        let ty = results.pop().expect("BuildLet missing ty");
        results.push(Expr::let_(non_dep, ty, val, body));
        cache.arena_roots.push(cache.arena.alloc(ExprMetaData::LetBinder {
          name: name_addr,
          children: [ty_root, val_root, body_root],
        }));
      },

      Frame::BuildProj(type_ref_idx, field_idx, struct_name_addr) => {
        let child_root =
          cache.arena_roots.pop().expect("BuildProj missing child root");
        let struct_val = results.pop().expect("BuildProj missing struct_val");
        results.push(Expr::prj(type_ref_idx, field_idx, struct_val));
        cache.arena_roots.push(cache.arena.alloc(ExprMetaData::Prj {
          struct_name: struct_name_addr,
          child: child_root,
        }));