Function ground_consts

crates/compile/src/ground.rs:45–79

Checks every constant in `env` for groundedness and returns a map of all ungrounded names. First collects immediately ungrounded constants in parallel, then propagates ungroundedness transitively through `in_refs` (the reverse reference graph).

(
  env: &Env,
  in_refs: &RefMap,
)

/// First collects immediately ungrounded constants in parallel, then propagates
/// ungroundedness transitively through `in_refs` (the reverse reference graph).
pub fn ground_consts(
  env: &Env,
  in_refs: &RefMap,
) -> FxHashMap<Name, GroundError> {
  // Collect immediate ungrounded constants.
  let names: Vec<&Name> = env.keys().collect();
  let ungrounded: FxHashMap<_, _> = names
    .into_par_iter()
    .filter_map(|name| {
      let constant = env.get(name)?;
      match ground_const_check(&constant, env) {
        Err(err) => Some((name.clone(), err)),
        Ok(()) => None,
      }
    })
    .collect();
  proliferate_ungrounded(ungrounded, in_refs)
}

/// Per-constant groundedness check, for callers that already hold a
/// decoded constant and check as part of a wider pass.
pub fn ground_const_check(
  constant: &ConstantInfo,
  env: &Env,
) -> Result<(), GroundError> {
  let univs = const_univs(constant);
  let mut stt = GroundState::default();
  ground_const(constant, env, univs, 0, &mut stt)
}

/// Spread ungroundedness from the immediately-ungrounded set through
/// the reverse-reference graph: anything referencing an ungrounded
/// constant is itself ungrounded.
pub fn proliferate_ungrounded(
  mut ungrounded: FxHashMap<Name, GroundError>,
  in_refs: &RefMap,
) -> FxHashMap<Name, GroundError> {
  let mut stack: Vec<_> = ungrounded.keys().cloned().collect();