diff options
author | Aria Shrimpton <me@aria.rip> | 2024-03-01 15:28:11 +0000 |
---|---|---|
committer | Aria Shrimpton <me@aria.rip> | 2024-03-01 15:28:11 +0000 |
commit | 86c0b95f93979fbb2df46f1da30d3e34924e7d53 (patch) | |
tree | 8c4800cf73867f7e273f8e5d365f87379f25c84f /src/crates/primrose | |
parent | e2b39431ffaaac9378cdd95de43688160044366a (diff) |
more info logs
Diffstat (limited to 'src/crates/primrose')
-rw-r--r-- | src/crates/primrose/src/selector.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/crates/primrose/src/selector.rs b/src/crates/primrose/src/selector.rs index fcfd0c6..fd6f294 100644 --- a/src/crates/primrose/src/selector.rs +++ b/src/crates/primrose/src/selector.rs @@ -5,7 +5,7 @@ use std::{ path::Path, }; -use log::{debug, trace}; +use log::{debug, info, trace}; const MATCHSCRIPT: &str = "./racket_specs/gen_match/match-script.rkt"; const OPS: &str = "./racket_specs/gen_lib_spec/ops.rkt"; @@ -96,10 +96,8 @@ impl ContainerSelector { pub fn find_all_candidates(&self) -> Result<HashMap<&TagId, Vec<String>>, Error> { let mut candidates = HashMap::new(); for tag in self.container_tags() { - debug!("Finding candidates for tag {}", tag); let found = self.find_candidates(tag)?; - debug!("Found {} candidates for tag {}", found.len(), tag); candidates.insert(tag, found); } @@ -115,7 +113,7 @@ impl ContainerSelector { panic!("tag_id was not Tag::Con"); }; - debug!("Finding container types for tag {}", tag_id); + info!("Finding container types for tag {}", tag_id); let prop_descs: Vec<Description> = tags .iter() .filter(|t| t.is_prop_tag()) |