Commit 3eebd1f5 authored by Dave Laing's avatar Dave Laing Committed by Ryan Scott
Browse files

Generalizes the type of asProxyTypeOf (#12805)

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
parent ad3d2dfa
...@@ -113,6 +113,6 @@ instance MonadPlus Proxy ...@@ -113,6 +113,6 @@ instance MonadPlus Proxy
-- It is usually used as an infix operator, and its typing forces its first -- 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 -- argument (which is usually overloaded) to have the same type as the tag
-- of the second. -- of the second.
asProxyTypeOf :: a -> Proxy a -> a asProxyTypeOf :: a -> proxy a -> a
asProxyTypeOf = const asProxyTypeOf = const
{-# INLINE asProxyTypeOf #-} {-# INLINE asProxyTypeOf #-}
...@@ -43,6 +43,8 @@ ...@@ -43,6 +43,8 @@
* Add `type family AppendSymbol (m :: Symbol) (n :: Symbol) :: Symbol` to `GHC.TypeLits` * Add `type family AppendSymbol (m :: Symbol) (n :: Symbol) :: Symbol` to `GHC.TypeLits`
(#12162) (#12162)
* The type of `asProxyTypeOf` in `Data.Proxy` has been generalized (#12805)
## 4.9.0.0 *May 2016* ## 4.9.0.0 *May 2016*
* Bundled with GHC 8.0 * Bundled with GHC 8.0
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment