From 3d21ab4325496ee908024369e692cb1e3f3e2e0e Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Fri, 30 Aug 2024 14:07:29 +0100
Subject: [PATCH] Monad and Applicative traits in juvix stdlib (#2979)

This PR updates the stdlib submodule to juvix-stdlib main branch.

It contains Monad and Applicative traits.
---
 juvix-stdlib                                   | 2 +-
 tests/Anoma/Compilation/positive/test052.juvix | 2 +-
 tests/Compilation/positive/test052.juvix       | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/juvix-stdlib b/juvix-stdlib
index 17a82dd46..615a02c81 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 17a82dd466010b51924677b16a3f09a6c4c86a80
+Subproject commit 615a02c8107076ca9661c5234d41792be91a5104
diff --git a/tests/Anoma/Compilation/positive/test052.juvix b/tests/Anoma/Compilation/positive/test052.juvix
index 60c189abf..a921e82af 100644
--- a/tests/Anoma/Compilation/positive/test052.juvix
+++ b/tests/Anoma/Compilation/positive/test052.juvix
@@ -1,7 +1,7 @@
 --- Simple lambda calculus
 module test052;
 
-import Stdlib.Prelude open;
+import Stdlib.Prelude open hiding {>>=};
 import Stdlib.Debug.Fail open;
 
 LambdaTy : Type -> Type := Lambda';
diff --git a/tests/Compilation/positive/test052.juvix b/tests/Compilation/positive/test052.juvix
index 0e4d415da..625351f28 100644
--- a/tests/Compilation/positive/test052.juvix
+++ b/tests/Compilation/positive/test052.juvix
@@ -1,7 +1,7 @@
 --- Simple lambda calculus
 module test052;
 
-import Stdlib.Prelude open;
+import Stdlib.Prelude open hiding {>>=};
 
 LambdaTy : Type -> Type := Lambda';