WIP: Does rebind fix tests?

mighty-gerbils · Aug 22, 2024 · a198b5d · a198b5d
1 parent 0f3a317
commit a198b5d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/std/monad/README.org b/src/std/monad/README.org
@@ -105,7 +105,8 @@ definition.
     (instance (m Monad) :t
       ((return a) a)
       ((>>= ma f) (f ma))
-      ((>> ma mb) (m.>>= ma (lambda (_) mb)))))
+      ((>> ma mb) (m.>>= ma (lambda (_) mb))))
+    rebind: #t)
 #+end_src
 
 Essentially that's that! a monad is just an abstraction around those

diff --git a/src/std/monad/interface.ss b/src/std/monad/interface.ss
@@ -12,7 +12,8 @@
    (instance (m Monad) :t
      ((return a) a)
      ((>>= ma f) (f ma))
-     ((>> ma mb) (m.>>= ma (lambda (_) mb)))))
+     ((>> ma mb) (m.>>= ma (lambda (_) mb))))
+   rebind: #t)
 
  (interface Run (run . args))