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

Dump roc checkmate

Browse source
This commit is contained in:
Ayaz Hafiz 2023-07-16 15:01:00 -05:00
parent 1282110ef5
commit fcd733e1df
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
8 changed files with 119 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -3244,6 +3244,8 @@ fn finish(
let exposed_values = exposed_vars_by_symbol.iter().map(|x| x.0).collect();
roc_checkmate::dump_checkmate!(checkmate);
LoadedModule {
module_id: state.root_id,
interns,
@ -3261,9 +3263,6 @@ fn finish(
timings: state.timings,
docs_by_module: documentation,
abilities_store,
#[cfg(debug_assertions)]
checkmate,
}
}