Move test macros from chalk_ir to chalk_solve

Author: AzureMarker

chalk-ir/src/lib.rs

@@ -29,9 +29,6 @@ macro_rules! impl_debugs {
     };
 }
 
-#[macro_use]
-mod macros;
-
 #[macro_use]
 pub mod zip;
 

chalk-ir/src/macros.rs

@@ -9,6 +9,10 @@ use std::sync::Arc;
 #[macro_use]
 extern crate chalk_macros;
 
+#[cfg(test)]
+#[macro_use]
+mod test_macros;
+
 pub mod clauses;
 pub mod coherence;
 mod coinductive_goal;

chalk-solve/src/lib.rs

@@ -0,0 +1,115 @@
+//! Useful macros for writing unit tests. They let you gin up dummy types and things.
+
+macro_rules! ty {
+    (apply $n:tt $($arg:tt)*) => {
+        chalk_ir::TyData::Apply(ApplicationTy {
+            name: ty_name!($n),
+            substitution: chalk_ir::Substitution::from(
+                &chalk_integration::interner::ChalkIr,
+                vec![$(arg!($arg)),*] as Vec<chalk_ir::Parameter<_>>
+            ),
+        }).intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (function $n:tt $($arg:tt)*) => {
+        chalk_ir::TyData::Function(Fn {
+            num_binders: $n,
+            substitution: chalk_ir::Substitution::from(
+                &chalk_integration::interner::ChalkIr,
+                vec![$(arg!($arg)),*] as Vec<chalk_ir::Parameter<_>>
+            ),
+        }).intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (placeholder $n:expr) => {
+        chalk_ir::TyData::Placeholder(PlaceholderIndex {
+            ui: UniverseIndex { counter: $n },
+            idx: 0,
+        }).intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (projection (item $n:tt) $($arg:tt)*) => {
+            chalk_ir::AliasTy::Projection(chalk_ir::ProjectionTy  {
+            associated_ty_id: AssocTypeId(chalk_integration::interner::RawId { index: $n }),
+            substitution: chalk_ir::Substitution::from(
+                &chalk_integration::interner::ChalkIr,
+                vec![$(arg!($arg)),*] as Vec<chalk_ir::Parameter<_>>
+            ),
+        }).intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (infer $b:expr) => {
+        chalk_ir::TyData::InferenceVar(chalk_ir::InferenceVar::from($b))
+            .intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (bound $d:tt $b:tt) => {
+        chalk_ir::TyData::BoundVar(chalk_ir::BoundVar::new(chalk_ir::DebruijnIndex::new($d), $b))
+            .intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (bound $b:expr) => {
+        chalk_ir::TyData::BoundVar(chalk_ir::BoundVar::new(chalk_ir::DebruijnIndex::INNERMOST, $b))
+            .intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (expr $b:expr) => {
+        $b.clone()
+    };
+
+    (($($b:tt)*)) => {
+        ty!($($b)*)
+    };
+}
+
+macro_rules! arg {
+    ((lifetime $b:tt)) => {
+        chalk_ir::Parameter::new(
+            &chalk_integration::interner::ChalkIr,
+            chalk_ir::ParameterKind::Lifetime(lifetime!($b)),
+        )
+    };
+
+    ($arg:tt) => {
+        chalk_ir::Parameter::new(
+            &chalk_integration::interner::ChalkIr,
+            chalk_ir::ParameterKind::Ty(ty!($arg)),
+        )
+    };
+}
+
+macro_rules! lifetime {
+    (infer $b:expr) => {
+        chalk_ir::LifetimeData::InferenceVar(chalk_ir::InferenceVar::from($b))
+            .intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (bound $d:tt $b:tt) => {
+        chalk_ir::LifetimeData::BoundVar(chalk_ir::BoundVar::new(chalk_ir::DebruijnIndex::new($d), $b))
+            .intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (bound $b:expr) => {
+        chalk_ir::LifetimeData::BoundVar(chalk_ir::BoundVar::new(chalk_ir::DebruijnIndex::INNERMOST, $b))
+            .intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (placeholder $b:expr) => {
+        chalk_ir::LifetimeData::Placeholder(PlaceholderIndex { ui: UniverseIndex { counter: $b }, idx: 0})
+            .intern(&chalk_integration::interner::ChalkIr)
+    };
+
+    (expr $b:expr) => {
+        $b.clone()
+    };
+
+    (($($b:tt)*)) => {
+        lifetime!($($b)*)
+    };
+}
+
+macro_rules! ty_name {
+    ((item $n:expr)) => {
+        chalk_ir::TypeName::Struct(StructId(chalk_integration::interner::RawId { index: $n }))
+    };
+}