Add fixity declaration to _<∣>_ (agda#207)

Author: yxdai-nju

CHANGELOG.md

@@ -49,6 +49,8 @@ Bug-fixes
   re-exported in their full generality which would lead to unsolved meta variables at
   their use sites.
 
+* In `Data.Maybe.Base` the fixity declaration of `_<∣>_` was missing. This has been fixed.
+
 Non-backwards compatible changes
 --------------------------------
 

src/Data/Maybe/Base.agda

@@ -100,6 +100,7 @@ just a  >>= f = f a
 
 -- Alternative: <∣>
 
+infixr 6 _<∣>_
 _<∣>_ : Maybe A → Maybe A → Maybe A
 just x  <∣> my = just x
 nothing <∣> my = my