Increase defalt chalk overflow depth to match max solver size

This commit is contained in:
Laurențiu Nicola 2022-05-17 07:16:26 +03:00
parent 01d412f4d7
commit 8b56d42db9

View file

@ -27,7 +27,7 @@ pub(crate) struct ChalkContext<'a> {
fn create_chalk_solver() -> chalk_recursive::RecursiveSolver<Interner> { fn create_chalk_solver() -> chalk_recursive::RecursiveSolver<Interner> {
let overflow_depth = let overflow_depth =
var("CHALK_OVERFLOW_DEPTH").ok().and_then(|s| s.parse().ok()).unwrap_or(300); var("CHALK_OVERFLOW_DEPTH").ok().and_then(|s| s.parse().ok()).unwrap_or(500);
let max_size = var("CHALK_SOLVER_MAX_SIZE").ok().and_then(|s| s.parse().ok()).unwrap_or(150); let max_size = var("CHALK_SOLVER_MAX_SIZE").ok().and_then(|s| s.parse().ok()).unwrap_or(150);
chalk_recursive::RecursiveSolver::new(overflow_depth, max_size, Some(Cache::new())) chalk_recursive::RecursiveSolver::new(overflow_depth, max_size, Some(Cache::new()))
} }