language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 06:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

generate cached subs

Browse source
This commit is contained in:
Folkert 2022-03-23 20:04:38 +01:00
parent 753d1418ed
commit 4859f530cd
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
4 changed files with 28 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

24
compiler/load/src/lib.rs
View file

@ -1,6 +1,9 @@
use bumpalo::Bump;
use roc_collections::all::MutMap;
use roc_constrain::module::ExposedByModule;
use roc_module::symbol::{ModuleId, Symbol};
use roc_target::TargetInfo;
use roc_types::subs::{Subs, Variable};
use std::path::{Path, PathBuf};
pub use roc_load_internal::docs;
@ -16,8 +19,8 @@ fn load<'a>(
goal_phase: Phase,
target_info: TargetInfo,
) -> Result<LoadResult<'a>, LoadingProblem<'a>> {
// dbg!(env!("OUT_DIR"));
// TODO inject the stdlib subs
let cached_subs = read_cached_subs();
roc_load_internal::file::load(
arena,
load_start,
@ -25,9 +28,26 @@ fn load<'a>(
exposed_types,
goal_phase,
target_info,
cached_subs,
)
}
const BOOL: &[u8] = include_bytes!(concat!(env!("OUT_DIR"), "/Bool.dat")) as &[_];
fn deserialize_help(bytes: &[u8]) -> (Subs, Vec<(Symbol, Variable)>) {
let (subs, slice) = Subs::deserialize(bytes);
(subs, slice.to_vec())
}
fn read_cached_subs() -> MutMap<ModuleId, (Subs, Vec<(Symbol, Variable)>)> {
let mut output = MutMap::default();
output.insert(ModuleId::BOOL, deserialize_help(BOOL));
output
}
pub fn load_and_monomorphize_from_str<'a>(
arena: &'a Bump,
filename: PathBuf,