language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 05:49:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Store layouts in a layout-buffer for expects

Browse source
This commit is contained in:
Ayaz Hafiz 2022-12-14 14:05:28 -06:00
parent 3d73e33b49
commit bba6e36a18
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
8 changed files with 67 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

10
crates/compiler/mono/src/debug/checker.rs
View file

@ -2,7 +2,7 @@
use bumpalo::Bump;
use roc_collections::{MutMap, VecMap, VecSet};
use roc_module::symbol::Symbol;
use roc_module::symbol::{ModuleId, Symbol};
use crate::{
ir::{
@ -10,6 +10,7 @@ use crate::{
ModifyRc, Param, Proc, ProcLayout, Stmt,
},
layout::{Builtin, Layout, STLayoutInterner, TagIdIntType, UnionLayout},
LayoutBuffer,
};
pub enum UseKind {
@ -132,6 +133,7 @@ impl<'a> Problems<'a> {
pub fn check_procs<'a>(
arena: &'a Bump,
interner: &'a STLayoutInterner<'a>,
layout_buffers: &VecMap<ModuleId, LayoutBuffer<'a>>,
procs: &'a Procs<'a>,
) -> Problems<'a> {
let mut problems = Default::default();
@ -149,6 +151,7 @@ pub fn check_procs<'a>(
venv: Default::default(),
joinpoints: Default::default(),
line: 0,
layout_buffers,
};
ctx.check_proc(proc);
}
@ -166,6 +169,7 @@ struct Ctx<'a, 'r> {
proc: &'a Proc<'a>,
proc_layout: ProcLayout<'a>,
procs: &'r Procs<'a>,
layout_buffers: &'r VecMap<ModuleId, LayoutBuffer<'a>>,
call_spec_ids: CallSpecIds,
ret_layout: Layout<'a>,
venv: VEnv<'a>,
@ -324,8 +328,10 @@ impl<'a, 'r> Ctx<'a, 'r> {
Layout::Builtin(Builtin::Bool),
UseKind::ExpectCond,
);
let layout_buffer = self.layout_buffers.get(&condition.module_id()).unwrap();
let layouts = layout_buffer.iter_slice(layouts);
for (sym, lay) in lookups.iter().zip(layouts) {
self.check_sym_layout(*sym, *lay, UseKind::ExpectLookup);
self.check_sym_layout(*sym, lay, UseKind::ExpectLookup);
}
self.check_stmt(remainder);
}