First version of a functional linear checker

crates/concrete_ast/src/expressions.rs

@@ -29,6 +29,7 @@ pub enum ValueExpr {
     ConstFloat(String, Span),
     ConstStr(String, Span),
     Path(PathOp),
+    ValueVar(Ident, Span),
 }
 
 #[derive(Debug, Clone, PartialEq, Eq)]

crates/concrete_check/Cargo.toml

@@ -12,3 +12,7 @@ concrete_ir = { version = "0.1.0", path = "../concrete_ir" }
 concrete_session = { version = "0.1.0", path = "../concrete_session" }
 itertools = "0.12.0"
 thiserror = "1.0.56"
+
+
+[features]
+linearity = []

crates/concrete_check/src/lib.rs

@@ -4,6 +4,8 @@ use ariadne::{ColorGenerator, Label, Report, ReportKind};
 use concrete_ir::lowering::errors::LoweringError;
 use concrete_session::Session;
 
+pub mod linearity_check;
+
 /// Creates a report from a lowering error.
 pub fn lowering_error_to_report(
     error: LoweringError,