language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

s/SolveCtx/SolveConfig/g

Browse source
This commit is contained in:
Ayaz Hafiz 2023-06-22 12:13:02 -05:00
parent 4f7f66d695
commit b5ea2c2c99
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 18 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/compiler/load_internal/src/file.rs
View file

@ -56,7 +56,7 @@ use roc_region::all::{LineInfo, Loc, Region};
#[cfg(not(target_family = "wasm"))]
use roc_reporting::report::to_https_problem_report_string;
use roc_reporting::report::{to_file_problem_report_string, Palette, RenderTarget};
use roc_solve::module::{extract_module_owned_implementations, SolveCtx, Solved, SolvedModule};
use roc_solve::module::{extract_module_owned_implementations, SolveConfig, Solved, SolvedModule};
use roc_solve_problem::TypeError;
use roc_target::TargetInfo;
use roc_types::subs::{CopiedImport, ExposedTypesStorageSubs, Subs, VarStore, Variable};
@ -5121,7 +5121,7 @@ fn run_solve_solve(
let (solve_output, solved_implementations, exposed_vars_by_symbol) = {
let module_id = module.module_id;
let solve_ctx = SolveCtx {
let solve_config = SolveConfig {
home: module_id,
types,
constraints: &constraints,
@ -5132,7 +5132,7 @@ fn run_solve_solve(
};
let solve_output = roc_solve::module::run_solve(
solve_ctx,
solve_config,
rigid_variables,
subs,
solve_aliases,