[commit: ghc] wip/new-flatten-skolems-Aug14: Comments only (instances for Proxy are lazy) (97e8f38)

git at git.haskell.org git at git.haskell.org
Thu Oct 9 07:38:19 UTC 2014


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/new-flatten-skolems-Aug14
Link       : http://ghc.haskell.org/trac/ghc/changeset/97e8f38bc88541f98481319ebc1c2569011e2ff4/ghc

>---------------------------------------------------------------

commit 97e8f38bc88541f98481319ebc1c2569011e2ff4
Author: Reid Barton <rwbarton at gmail.com>
Date:   Fri Oct 3 09:02:45 2014 -0400

    Comments only (instances for Proxy are lazy)


>---------------------------------------------------------------

97e8f38bc88541f98481319ebc1c2569011e2ff4
 libraries/base/Data/Proxy.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/libraries/base/Data/Proxy.hs b/libraries/base/Data/Proxy.hs
index 38a43b0..3ead549 100644
--- a/libraries/base/Data/Proxy.hs
+++ b/libraries/base/Data/Proxy.hs
@@ -34,6 +34,10 @@ data Proxy t = Proxy
 -- There are no instances for this because it is intended at the kind level only
 data KProxy (t :: *) = KProxy
 
+-- It's common to use (undefined :: Proxy t) and (Proxy :: Proxy t)
+-- interchangeably, so all of these instances are hand-written to be
+-- lazy in Proxy arguments.
+
 instance Eq (Proxy s) where
   _ == _ = True
 



More information about the ghc-commits mailing list