improve scalafix

tribbloid · Jan 30, 2024 · ce9419d · ce9419d
1 parent 4cb6657
commit ce9419d
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/.scalafix.conf b/.scalafix.conf
@@ -7,7 +7,7 @@ rules = [
   ProcedureSyntax
   RemoveUnused
   LeakingImplicitClassVal
-//  ExplicitResultTypes
+  ExplicitResultTypes
 ]
 
 RemoveUnused {
@@ -20,7 +20,7 @@ RemoveUnused {
 }
 
 ExplicitResultTypes {
-//  rewriteStructuralTypesToNamedSubclass = false
+  rewriteStructuralTypesToNamedSubclass = false
   skipSimpleDefinitions = false
 
   onlyImplicits = true

diff --git a/core/src/main/scala/shapesafe/core/arity/binary/Op2_Imp0.scala b/core/src/main/scala/shapesafe/core/arity/binary/Op2_Imp0.scala
@@ -1,5 +1,6 @@
 package shapesafe.core.arity.binary
 
+import shapesafe.core.arity.ProveArity.|-
 import shapesafe.core.arity._
 
 trait Op2_Imp0 extends Op2Like_Imp0 {
@@ -11,7 +12,7 @@ trait Op2_Imp0 extends Op2Like_Imp0 {
   ](
       implicit
       domain: UncheckedDomain[A1, A2]
-  ) = {
+  ): OP#On[A1, A2] |- Unchecked = {
     domain.forOp2[OP]
   }
 }
diff --git a/prover-commons b/prover-commons