eq 4.0 → 4.0.1

raw patch · 3 files changed

+12/−2 lines, 3 files

Files

CHANGELOG.markdown +4/−0
eq.cabal +1/−1
src/Data/Eq/Type.hs +7/−1

CHANGELOG.markdown view

@@ -1,3 +1,7 @@+4.0.1+-----+* Provided an explicit nominal `RoleAnnotation`.+ 4.0 --- * Updated to work with `semigroupoids` 4.0

eq.cabal view

@@ -1,6 +1,6 @@ name:          eq category:      Type System-version:       4.0+version:       4.0.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE

src/Data/Eq/Type.hs view

@@ -2,11 +2,14 @@ #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702 {-# LANGUAGE Trustworthy #-} #endif+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707+{-# LANGUAGE RoleAnnotations #-}+#endif  ----------------------------------------------------------------------------- -- | -- Module      :  Data.Eq.Type--- Copyright   :  (C) 2011 Edward Kmett+-- Copyright   :  (C) 2011-2014 Edward Kmett -- License     :  BSD-style (see the file LICENSE) -- -- Maintainer  :  Edward Kmett <ekmett@gmail.com>@@ -50,6 +53,9 @@ -- | Leibnizian equality states that two things are equal if you can -- substite one for the other in all contexts data a := b = Refl { subst :: forall c. c a -> c b }+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707+type role (:=) nominal nominal+#endif  -- | Equality is reflexive refl :: a := a