[ fix ] attach fixity to the new declaration of Function.Base.case_returning_of_ (#2694)

jamesmckinna · web-flow · commit 8c5dee34ebde · 2025-04-14T10:31:55.000Z
* fix: attach fixity to the new, not old, declaration

* fix: attach fixity to the new, AND olds, declaration
diff --git a/src/Function/Base.agda b/src/Function/Base.agda
@@ -44,7 +44,7 @@ constᵣ _ = id
 infixr 9 _∘_ _∘₂_
 infixl 8 _ˢ_
 infixl 0 _|>_
-infix  0 case_return_of_
+infix  0 case_returning_of_ case_return_of_
 infixr -1 _$_
 
 -- Composition
