[ compat ] add export modifier to operator decls

stefan-hoeck · Apr 5, 2024 · c661532 · c661532
1 parent d470999
commit c661532
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 9 deletions.
diff --git a/src/Algebra/Solver/Ring/Expr.idr b/src/Algebra/Solver/Ring/Expr.idr
@@ -109,11 +109,11 @@ var x = Var x %search
 --          Syntax
 --------------------------------------------------------------------------------
 
-infixl 8 .+., .+, +.
+export infixl 8 .+., .+, +.
 
-infixl 8 .-., .-, -.
+export infixl 8 .-., .-, -.
 
-infixl 9 .*., .*, *.
+export infixl 9 .*., .*, *.
 
 ||| Addition of variables. This is an alias for
 ||| `var x + var y`.

diff --git a/src/Algebra/Solver/Semiring/Expr.idr b/src/Algebra/Solver/Semiring/Expr.idr
@@ -95,9 +95,9 @@ var x = Var x %search
 --          Syntax
 --------------------------------------------------------------------------------
 
-infixl 8 .+., .+, +.
+export infixl 8 .+., .+, +.
 
-infixl 9 .*., .*, *.
+export infixl 9 .*., .*, *.
 
 ||| Addition of variables. This is an alias for
 ||| `var x + var y`.

diff --git a/src/Data/Prim/Integer/Extra.idr b/src/Data/Prim/Integer/Extra.idr
@@ -7,10 +7,10 @@ import Syntax.PreorderReasoning
 
 %default total
 
-infixl 0  <>
-prefix 1  |>
-infix  1  ..., ..=, =.., =.=
-infix  1  ~.., ..~, ~.~
+export infixl 0  <>
+export prefix 1  |>
+export infix  1  ..., ..=, =.., =.=
+export infix  1  ~.., ..~, ~.~
 
 --------------------------------------------------------------------------------
 --          Utilities