reflection 2.1 → 2.1.1

raw patch · 3 files changed

+11/−1 lines, 3 filesdep ~base

Dependency ranges changed: base

Files

• CHANGELOG.markdown +6/−0
• fast/Data/Reflection.hs +4/−0
• reflection.cabal +1/−1

@@ -1,3 +1,9 @@+# 2.1.1+* Fixed support for GHC 7.0++# 2.1+* Added `ReifiedMonoid` and `ReifiedApplicative`.+ # 2 * Added `reifyNat` and `reifySymbol` for GHC 7.8+, capable of reflecting into the `KnownNat` and `KnownSymbol` classes respectively for use with other APIs. * Back-ported `reifyTypeable` from `lens`. This enables us to perform a (less efficient) form of `Typeable` reflection.

@@ -527,7 +527,11 @@ -- -- This can be necessary to work around the changes to @Data.Typeable@ in GHC HEAD. reifyTypeable :: Typeable a => a -> (forall (s :: *). (Typeable s, Reifies s a) => Proxy s -> r) -> r+#if MIN_VERSION_base(4,4,0) reifyTypeable a k = unsafeDupablePerformIO $ do+#else+reifyTypeable a k = unsafePerformIO $ do+#endif   p <- newStablePtr a   let n = stablePtrToIntPtr p   reifyByte (fromIntegral n) (\s0 ->

@@ -1,5 +1,5 @@ name:           reflection-version:        2.1+version:        2.1.1 license:        BSD3 license-file:   LICENSE author:         Edward A. Kmett, Elliott Hird, Oleg Kiselyov and Chung-chieh Shan