feat: Make array repeat and scan ops generic over extension reqs

CQCL · Nov 26, 2024 · 896fe8b · 896fe8b
1 parent c5c8a6f
commit 896fe8b
Show file tree

Hide file tree

Showing 2 changed files with 232 additions and 34 deletions.
diff --git a/hugr-core/src/extension/prelude.rs b/hugr-core/src/extension/prelude.rs
@@ -107,6 +107,7 @@ lazy_static! {
         NoopDef.add_to_extension(&mut prelude).unwrap();
         LiftDef.add_to_extension(&mut prelude).unwrap();
         array::ArrayOpDef::load_all_ops(&mut prelude).unwrap();
+        array::ArrayRepeatDef.add_to_extension(&mut prelude).unwrap();
         array::ArrayScanDef.add_to_extension(&mut prelude).unwrap();
 
         Arc::new(prelude)