[ compat ] add export modifier to operator decls (#54)

stefan-hoeck · Apr 5, 2024 · 2959153 · 2959153
1 parent 03afb42
commit 2959153
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/js/src/JS/Attribute.idr b/js/src/JS/Attribute.idr
@@ -146,7 +146,7 @@ export
 unset : Alternative f => (o : obj) -> (obj -> Attribute b f a) -> JSIO ()
 unset o g = set' (g o) empty
 
-infix 1 .=, =., %=, =%
+export infix 1 .=, =., %=, =%
 
 ||| Operator version of `set`.
 |||
@@ -196,7 +196,7 @@ export
 (=%) : (obj -> Attribute b f a) -> (a -> a) -> obj -> JSIO ()
 (=%) f g o = mod (f o) g
 
-infixr 0 !>, ?>
+export infixr 0 !>, ?>
 
 ||| Sets a callback function at an attribute.
 |||

diff --git a/js/src/JS/Inheritance.idr b/js/src/JS/Inheritance.idr
@@ -47,7 +47,7 @@ public export %inline
 up : (0 _ : JSType a) => a -> {auto 0 _ : Elem b (Types a)} -> b
 up v = believe_me v
 
-infixl 1 :>
+export infixl 1 :>
 
 ||| Operator version of `up`.
 public export %inline