From 6a1399d32973d3fd46276195428efa4e680390ce Mon Sep 17 00:00:00 2001 From: Oleg Grenrus Date: Sat, 2 Jan 2021 01:44:08 +0200 Subject: [PATCH] GHC-9.0 code changes --- ChangeLog.md | 4 ++++ some.cabal | 3 +-- src/Data/GADT/Internal.hs | 2 +- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/ChangeLog.md b/ChangeLog.md index f425a7c..cbcfdbe 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -1,3 +1,7 @@ +# 1.0.1.1 + +- GHC-9.0 compatibility + # 1.0.1 - Add 'withSomeM' combinator. diff --git a/some.cabal b/some.cabal index cbdb4e3..400ef45 100644 --- a/some.cabal +++ b/some.cabal @@ -1,6 +1,5 @@ name: some -version: 1.0.1 -x-revision: 1 +version: 1.0.1.1 stability: provisional cabal-version: >=1.10 build-type: Simple diff --git a/src/Data/GADT/Internal.hs b/src/Data/GADT/Internal.hs index d219599..a66f2e3 100644 --- a/src/Data/GADT/Internal.hs +++ b/src/Data/GADT/Internal.hs @@ -82,7 +82,7 @@ instance (GShow a, GShow b) => GShow (Product a b) where type GReadS t = String -> [(Some t, String)] getGReadResult :: Some tag -> (forall a. tag a -> b) -> b -getGReadResult = withSome +getGReadResult t k = withSome t k mkGReadResult :: tag a -> Some tag mkGReadResult = mkSome