chore: nicer generic syntax

noir-lang · May 10, 2023 · 65090f2 · 65090f2
1 parent 2daad1b
commit 65090f2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/acvm/src/compiler.rs b/acvm/src/compiler.rs
@@ -22,10 +22,10 @@ pub enum CompileError {
     UnsupportedBlackBox(BlackBoxFunc),
 }
 
-pub fn compile<F: Fn(&Opcode) -> bool>(
+pub fn compile(
     acir: Circuit,
     np_language: Language,
-    is_opcode_supported: F,
+    is_opcode_supported: impl Fn(&Opcode) -> bool,
     simplifier: &Simplifier,
 ) -> Result<Circuit, CompileError> {
     // Instantiate the optimizer.

diff --git a/acvm/src/compiler/transformers/fallback.rs b/acvm/src/compiler/transformers/fallback.rs
@@ -11,9 +11,9 @@ pub struct FallbackTransformer;
 
 impl FallbackTransformer {
     //ACIR pass which replace unsupported opcodes using arithmetic fallback
-    pub fn transform<F: Fn(&Opcode) -> bool>(
+    pub fn transform(
         acir: Circuit,
-        is_supported: F,
+        is_supported: impl Fn(&Opcode) -> bool,
         simplifier: &Simplifier,
     ) -> Result<Circuit, CompileError> {
         let mut acir_supported_opcodes = Vec::with_capacity(acir.opcodes.len());