rank1dynamic 0.4.0 → 0.4.1

raw patch · 3 files changed

+26/−12 lines, 3 files

Files

• ChangeLog +4/−0
• rank1dynamic.cabal +6/−4
• tests/test.hs +16/−8

@@ -1,3 +1,7 @@+2020-10-24  Facundo Domínguez  <facundo.dominguez@tweag.io>  0.4.1++* Support ghc-8.6.5 and ghc-8.8.4+ 2017-08-22  Facundo Domínguez  <facundo.dominguez@tweag.io>  0.4.0  * Add compatibility with ghc-8.2.1.

@@ -1,5 +1,5 @@ Name:                rank1dynamic-Version:             0.4.0+Version:             0.4.1 Synopsis:            Like Data.Dynamic/Data.Typeable but with support for rank-1 polymorphic types Description:         "Data.Typeable" and "Data.Dynamic" only support monomorphic types.                      In this package we provide similar functionality but with@@ -13,7 +13,7 @@ Copyright:           Well-Typed LLP, Tweag I/O Limited Category:            Data Build-Type:          Simple-Cabal-Version:       >=1.8+Cabal-Version:       >=1.10 extra-source-files: ChangeLog  Source-Repository head@@ -23,11 +23,12 @@ Library   Exposed-Modules:     Data.Rank1Dynamic,                        Data.Rank1Typeable-  Build-Depends:       base >= 4.6 && < 5,+  Build-Depends:       base >= 4.8 && < 5,                        binary >= 0.5 && < 0.9   HS-Source-Dirs:      src   GHC-Options:         -Wall-  Extensions:          EmptyDataDecls,+  default-language:    Haskell2010+  Default-Extensions:  EmptyDataDecls,                        DeriveDataTypeable,                        ViewPatterns @@ -40,4 +41,5 @@                      test-framework >= 0.6 && < 0.9,                      test-framework-hunit >= 0.2.0 && < 0.4   ghc-options:       -Wall+  default-language:    Haskell2010   HS-Source-Dirs:    tests

@@ -1,12 +1,20 @@-import Data.Rank1Typeable-import Data.Rank1Dynamic+{-# LANGUAGE CPP #-}+import           Data.Rank1Dynamic+import           Data.Rank1Typeable -import Test.HUnit hiding (Test)-import Test.Framework-import Test.Framework.Providers.HUnit-import Unsafe.Coerce+import           Test.Framework+import           Test.Framework.Providers.HUnit+import           Test.HUnit                     hiding (Test)+import           Unsafe.Coerce +funKindStr :: String+#if __GLASGOW_HASKELL__ >= 804+funKindStr = "->"+#else+funKindStr = "(->)"+#endif + main :: IO () main = defaultMain tests @@ -35,7 +43,7 @@        , testCase "CANNOT use a term of type 'forall a. a -> a' as 'forall a. a'" $           typeOf (undefined :: ANY) `isInstanceOf` typeOf (undefined :: ANY -> ANY)-          @?= Left "Cannot unify Skolem and (->)"+          @?= Left ("Cannot unify Skolem and " ++ funKindStr)       ]    , testGroup "Examples of funResultTy"@@ -90,7 +98,7 @@        , testCase "CANNOT use a term of type 'forall a. a -> a' as 'forall a. a'" $           do f <- fromDynamic (toDynamic (id :: ANY -> ANY)) ; return $ (f :: Int)-          @?= Left "Cannot unify Int and (->)"+          @?= Left ("Cannot unify Int and " ++ funKindStr)       ]    , testGroup "Examples of dynApply"