Fail builds if builtins have type errors

This commit is contained in:
Ayaz Hafiz 2022-10-25 09:10:13 -05:00
parent bb1f4cd5e8
commit e7c7eb623e
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -96,6 +96,10 @@ fn write_types_for_module_real(module_id: ModuleId, filename: &str, output_path:
}
};
if module.total_problems() > 0 {
panic!("Problems were found! Refusing to build cached subs.\nTry building with ROC_SKIP_SUBS_CACH=1 to see them.");
}
let subs = module.solved.into_inner();
let exposed_vars_by_symbol: Vec<_> = module.exposed_to_host.into_iter().collect();
let abilities = module.abilities_store;