test type checking

Author: lucarlig

examples/error-examples/fileio_error.desc renamed to examples/error-examples/parse_error.desc

@@ -21,8 +21,10 @@ fn npu_vec_add<r: prv, n: nat>(
 ) -[grid: npu.grid<X<64>, X<1024>>]-> () {
     sched block in grid {
         sched thread in block {
-            let a_ref = &uniq (*a_array).to_view.grp::<1024>[[block]][[thread + offset]];
-            *a_ref = *a_ref + (*b_array).to_view.grp::<1024>[[block]][[thread + offset]]
+            let a = thread + offset;
+            let b = thread + offset;
+            let a_ref = &uniq (*a_array).to_view.grp::<1024>[[block]][[a]];
+            *a_ref = *a_ref + (*b_array).to_view.grp::<1024>[[block]][[b]]
         }
     }
 }

examples/error-examples/thread_idx_offset.desc renamed to examples/error-examples/thread_idx_offset.desc.off

@@ -170,15 +170,19 @@ impl PlaceCtx {
             PlaceCtx::Hole => PlaceCtx::Hole,
             PlaceCtx::Proj(pl_ctx, i) => {
                 if let PlaceCtx::Hole = **pl_ctx {
-                    panic!("There must be an innermost deref context as created by PlaceExpr.to_pl_ctx_and_most_specif_pl.")
+                    panic!(
+                        "There must be an innermost deref context as created by PlaceExpr.to_pl_ctx_and_most_specif_pl."
+                    )
                 } else {
                     let inner_ctx = pl_ctx.without_innermost_deref();
                     PlaceCtx::Proj(Box::new(inner_ctx), *i)
                 }
             }
             PlaceCtx::FieldProj(pl_ctx, field_name) => {
                 if let PlaceCtx::Hole = **pl_ctx {
-                    panic!("There must be an innermost deref context as created by PlaceExpr.to_pl_ctx_and_most_specif_pl.")
+                    panic!(
+                        "There must be an innermost deref context as created by PlaceExpr.to_pl_ctx_and_most_specif_pl."
+                    )
                 } else {
                     let inner_ctx = pl_ctx.without_innermost_deref();
                     PlaceCtx::FieldProj(Box::new(inner_ctx), field_name.clone())

src/ast/internal.rs

@@ -1649,13 +1649,11 @@ impl NatCtx {
     }
 
     pub fn find(&self, name: &str) -> Option<usize> {
-        self.frames.iter().flatten().rev().find_map(|(i, n)| {
-            if i.as_ref() == name {
-                Some(*n)
-            } else {
-                None
-            }
-        })
+        self.frames
+            .iter()
+            .flatten()
+            .rev()
+            .find_map(|(i, n)| if i.as_ref() == name { Some(*n) } else { None })
     }
 
     pub fn push_empty_frame(&mut self) -> &mut Self {

src/ast/mod.rs

@@ -24,7 +24,7 @@ impl From<Span> for miette::SourceSpan {
     fn from(span: Span) -> Self {
         miette::SourceSpan::new(
             miette::SourceOffset::from(span.begin as usize),
-            (span.end - span.begin) as usize
+            (span.end - span.begin) as usize,
         )
     }
 }

src/ast/span.rs

@@ -1,10 +1,10 @@
-use crate::ast::visit::walk_list;
 use crate::ast::visit::Visit;
+use crate::ast::visit::walk_list;
 use crate::ast::visit_mut::VisitMut;
 use crate::ast::{
-    visit, visit_mut, ArgKinded, BaseExec, DataTy, DataTyKind, Dim, ExecExpr, ExecTy, Expr,
-    ExprKind, FnTy, FunDef, Ident, IdentExec, IdentKinded, Kind, Memory, Nat, ParamSig, Provenance,
-    Ty, TyKind,
+    ArgKinded, BaseExec, DataTy, DataTyKind, Dim, ExecExpr, ExecTy, Expr, ExprKind, FnTy, FunDef,
+    Ident, IdentExec, IdentKinded, Kind, Memory, Nat, ParamSig, Provenance, Ty, TyKind, visit,
+    visit_mut,
 };
 use std::collections::{HashMap, HashSet};
 use std::sync::atomic::{AtomicI32, Ordering};

src/ast/utils.rs

@@ -19,17 +19,17 @@
 //! All functions return `Result<T, MlirError>` for proper error handling.
 
 use super::super::error::{
-    missing_result_error, operation_build_error, type_parse_error, MlirError,
+    MlirError, missing_result_error, operation_build_error, type_parse_error,
 };
 use melior::{
+    Context,
     dialect::{arith, scf},
     ir::{
+        BlockLike, BlockRef, Location, Type, Value,
         attribute::{FloatAttribute, IntegerAttribute},
         operation::OperationBuilder,
         r#type::IntegerType,
-        BlockLike, BlockRef, Location, Type, Value,
     },
-    Context,
 };
 use std::collections::HashMap;
 

src/codegen/mlir/builder/context.rs

@@ -4,7 +4,7 @@ use melior::{
 };
 
 use super::super::error::MlirError;
-use super::context::{append_yield, MlirContext};
+use super::context::{MlirContext, append_yield};
 use super::expr::build_expr;
 use crate::ast as desc;
 

src/codegen/mlir/builder/control_flow.rs

@@ -1,6 +1,6 @@
 use melior::ir::Value;
 
-use super::super::error::{missing_result_error, MlirError};
+use super::super::error::{MlirError, missing_result_error};
 use super::context::MlirContext;
 use super::control_flow::{build_if, build_if_else};
 use super::literal::build_literal;
@@ -154,7 +154,7 @@ where
         ExprKind::App(ident, _gen_args, args) => {
             use melior::{
                 dialect::func,
-                ir::{attribute::FlatSymbolRefAttribute, BlockLike, Type},
+                ir::{BlockLike, Type, attribute::FlatSymbolRefAttribute},
             };
 
             // Lower operands

src/codegen/mlir/builder/expr.rs

@@ -1,7 +1,7 @@
-use melior::ir::{attribute::IntegerAttribute, r#type::IntegerType, Value};
+use melior::ir::{Value, attribute::IntegerAttribute, r#type::IntegerType};
 
 use super::super::error::MlirError;
-use super::context::{create_constant, create_float_constant, create_int_constant, MlirContext};
+use super::context::{MlirContext, create_constant, create_float_constant, create_int_constant};
 use crate::ast as desc;
 
 /// Build a literal constant