From 480a93d01f0b3e4e2aa54cf645ee4f159334e6e8 Mon Sep 17 00:00:00 2001 From: Cyril Sobierajewicz Date: Sat, 18 Jul 2020 19:34:32 +0200 Subject: [PATCH 1/2] Add roles declarations to allow safe coercions --- src/Data/Nullable.purs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Data/Nullable.purs b/src/Data/Nullable.purs index 936977e..e43f655 100644 --- a/src/Data/Nullable.purs +++ b/src/Data/Nullable.purs @@ -43,6 +43,8 @@ import Data.Ord (class Ord1) -- | not provided. foreign import data Nullable :: Type -> Type +type role Nullable representational + -- | The null value. foreign import null :: forall a. Nullable a From 8a804a888a5c4000053188696c3344a403bd6327 Mon Sep 17 00:00:00 2001 From: JordanMartinez Date: Thu, 3 Dec 2020 17:26:42 -0800 Subject: [PATCH 2/2] Remove sha in packages.dhall file --- packages.dhall | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages.dhall b/packages.dhall index 0b48286..9c3ee6f 100644 --- a/packages.dhall +++ b/packages.dhall @@ -1,4 +1,4 @@ let upstream = - https://raw.githubusercontent.com/purescript/package-sets/prepare-0.14/src/packages.dhall sha256:f9b49a477fcd822a7119413b689123f8e1694b0008c156971f1931751079a56f + https://raw.githubusercontent.com/purescript/package-sets/prepare-0.14/src/packages.dhall in upstream