From 196bc3b28dd9ffd23d1d1ca3536054784da9ce19 Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Thu, 29 Aug 2024 13:59:16 +0100 Subject: [PATCH 1/3] Update stdlib submodule The submodule now contains Monad and Applicative traits --- juvix-stdlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-stdlib b/juvix-stdlib index 17a82dd466..615a02c810 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit 17a82dd466010b51924677b16a3f09a6c4c86a80 +Subproject commit 615a02c8107076ca9661c5234d41792be91a5104 From ba6f085682230d2e334dd89937f2dc22a8db31a6 Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Fri, 30 Aug 2024 10:30:19 +0100 Subject: [PATCH 2/3] Fix ambiguity error in test --- tests/Compilation/positive/test052.juvix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/Compilation/positive/test052.juvix b/tests/Compilation/positive/test052.juvix index 0e4d415dae..625351f28d 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'; From 972a9a1a109dcabe737b16d0dcda12041e9feabd Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Fri, 30 Aug 2024 11:37:13 +0100 Subject: [PATCH 3/3] Fix ambiguity error in test --- tests/Anoma/Compilation/positive/test052.juvix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/Anoma/Compilation/positive/test052.juvix b/tests/Anoma/Compilation/positive/test052.juvix index 60c189abf3..a921e82af8 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';