Function whnf_cache_hit

crates/kernel/src/whnf.rs:3498–3507

()

        return Ok(None);
      }
      let mut s = String::new();
      if !self.walk_literal_char_list(&args[0], &mut s)? {
        return Ok(None);
      }
      let blob_addr = Address::hash(s.as_bytes());
      return Ok(Some(self.intern(KExpr::str(s, blob_addr))));
    }

    if *addr == self.prims.string_append.addr {
      if args.len() != 2 {
        return Ok(None);
      }
      let Some((sa, sb)) = self.two_string_lit_args(&args[0], &args[1])? else {