language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

remove code that saves Subs to a .dat file (it's located elsewhere now)

Browse source
This commit is contained in:
Folkert 2022-04-08 19:51:05 +02:00
parent 795e24245c
commit ffd4566c29
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 1 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

32
compiler/load_internal/src/file.rs
View file

@ -3508,26 +3508,7 @@ fn run_solve_solve(
solve_aliases.insert(*name, alias.clone()); solve_aliases.insert(*name, alias.clone());
} }
let (solved_subs, exposed_vars_by_symbol, problems) = if module_id.is_builtin() { let (solved_subs, exposed_vars_by_symbol, problems) = {
use memmap::MmapOptions;
use std::fs::File;
let root = get_project_root().unwrap();
let path = format!("{}/cached_subs/{:?}.dat", root.to_str().unwrap(), module_id);
eprintln!("{:?}: {}", module_id, &path);
let file = File::open(&path).unwrap();
let mmap = unsafe { MmapOptions::new().map(&file).unwrap() };
let (subs, vars_by_symbol) = Subs::deserialize(&mmap);
let solved_subs = Solved(subs);
let exposed_vars_by_symbol: Vec<_> = vars_by_symbol
.iter()
.filter(|(k, _)| exposed_symbols.contains(k))
.copied()
.collect();
(solved_subs, exposed_vars_by_symbol, vec![])
} else {
let (solved_subs, solved_env, problems) = roc_solve::module::run_solve( let (solved_subs, solved_env, problems) = roc_solve::module::run_solve(
&constraints, &constraints,
actual_constraint, actual_constraint,
@ -3536,15 +3517,6 @@ fn run_solve_solve(
solve_aliases, solve_aliases,
); );
if module_id.is_builtin() {
let mut f = std::fs::File::create(&format!("cached_subs/{:?}.dat", module_id)).unwrap();
let vars_by_symbol: Vec<(Symbol, Variable)> = solved_env.vars_by_symbol().collect();
solved_subs
.inner()
.serialize(&vars_by_symbol, &mut f)
.unwrap();
}
let solved_subs = if true { let solved_subs = if true {
solved_subs solved_subs
} else { } else {
@ -3556,8 +3528,6 @@ fn run_solve_solve(
.unwrap(); .unwrap();
let (subs, vbs) = Subs::deserialize(&serialized); let (subs, vbs) = Subs::deserialize(&serialized);
dbg!(vbs);
Solved(subs) Solved(subs)
}; };