From a05bf8941e47c7480560f8dae18e1b8cf02daf46 Mon Sep 17 00:00:00 2001 From: Cyril Sobierajewicz Date: Mon, 28 Dec 2020 20:19:07 +0100 Subject: [PATCH 1/2] Remove fold1 from the Foldable1 instance for NonEmptySet --- src/Data/Set/NonEmpty.purs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Data/Set/NonEmpty.purs b/src/Data/Set/NonEmpty.purs index 2b91730..11b3ed8 100644 --- a/src/Data/Set/NonEmpty.purs +++ b/src/Data/Set/NonEmpty.purs @@ -52,7 +52,6 @@ derive newtype instance foldableNonEmptySet :: Foldable NonEmptySet instance foldable1NonEmptySet :: Foldable1 NonEmptySet where foldMap1 f = foldMap1 f <<< (toUnfoldable1 :: forall a. NonEmptySet a -> NonEmptyList a) - fold1 = foldMap1 identity foldr1 f = foldr1 f <<< (toUnfoldable1 :: forall a. NonEmptySet a -> NonEmptyList a) foldl1 f = foldl1 f <<< (toUnfoldable1 :: forall a. NonEmptySet a -> NonEmptyList a) From 738c193602d28187f59169661a4d1187ff225da7 Mon Sep 17 00:00:00 2001 From: Cyril Sobierajewicz Date: Wed, 30 Dec 2020 12:26:15 +0100 Subject: [PATCH 2/2] Update the compiler version used on CI to 0.14.0-rc5 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 55efa3d..f4f44e5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,7 +14,7 @@ jobs: - uses: purescript-contrib/setup-purescript@main with: - purescript: "0.14.0-rc3" + purescript: "0.14.0-rc5" - uses: actions/setup-node@v1 with: