Generalizes the type of asProxyTypeOf (#12805)
authorDave Laing <dave.laing.80@gmail.com>
Thu, 26 Jan 2017 17:32:24 +0000 (12:32 -0500)
committerRyan Scott <ryan.gl.scott@gmail.com>
Thu, 26 Jan 2017 17:32:25 +0000 (12:32 -0500)
Test Plan: validate

Reviewers: austin, hvr, bgamari, RyanGlScott, simonpj

Reviewed By: RyanGlScott, simonpj

Subscribers: simonpj, RyanGlScott, thomie

Differential Revision: https://phabricator.haskell.org/D3017

GHC Trac Issues: #12805

libraries/base/Data/Proxy.hs
libraries/base/changelog.md

index 2f619b2..d6f0354 100644 (file)
@@ -113,6 +113,6 @@ instance MonadPlus Proxy
 -- It is usually used as an infix operator, and its typing forces its first
 -- argument (which is usually overloaded) to have the same type as the tag
 -- of the second.
-asProxyTypeOf :: a -> Proxy a -> a
+asProxyTypeOf :: a -> proxy a -> a
 asProxyTypeOf = const
 {-# INLINE asProxyTypeOf #-}
index 608830a..40e18ff 100644 (file)
@@ -43,6 +43,8 @@
   * Add `type family AppendSymbol (m :: Symbol) (n :: Symbol) :: Symbol` to `GHC.TypeLits`
     (#12162)
 
+  * The type of `asProxyTypeOf` in `Data.Proxy` has been generalized (#12805)
+
 ## 4.9.0.0  *May 2016*
 
   * Bundled with GHC 8.0