feat: Allow non-comptime field indices in unconstrained functions (#1053

) Allow non-comptime field indices in unconstrained functions
noir-lang · Mar 28, 2023 · bc52612 · bc52612
1 parent 2badf14
commit bc52612
Show file tree

Hide file tree

Showing 4 changed files with 996 additions and 1,002 deletions.
diff --git a/crates/noirc_frontend/src/hir/def_collector/dc_crate.rs b/crates/noirc_frontend/src/hir/def_collector/dc_crate.rs
@@ -8,8 +8,7 @@ use crate::hir::resolution::{
     import::{resolve_imports, ImportDirective},
     path_resolver::StandardPathResolver,
 };
-use crate::hir::type_check::type_check;
-use crate::hir::type_check::type_check_func;
+use crate::hir::type_check::{type_check_func, TypeChecker};
 use crate::hir::Context;
 use crate::node_interner::{FuncId, NodeInterner, StmtId, StructId};
 use crate::{
@@ -288,8 +287,7 @@ fn type_check_globals(
     all_errors: &mut Vec<FileDiagnostic>,
 ) {
     for (file_id, stmt_id) in global_ids {
-        let mut errors = vec![];
-        type_check(interner, &stmt_id, &mut errors);
+        let errors = TypeChecker::check_global(&stmt_id, interner);
         extend_errors(all_errors, file_id, errors);
     }
 }