diff options
| author | Reid Barton <rwbarton@gmail.com> | 2014-10-03 09:02:45 -0400 |
|---|---|---|
| committer | Reid Barton <rwbarton@gmail.com> | 2014-10-03 09:02:45 -0400 |
| commit | 582217fc25167afa0111c398aca65727a9dd9b6e (patch) | |
| tree | 4f71d5cefeb18caca378956a76295e9889a1528c | |
| parent | 2b59c7ac3f23dd229ddff20d991528ac742dfd24 (diff) | |
| download | haskell-582217fc25167afa0111c398aca65727a9dd9b6e.tar.gz | |
Comments only (instances for Proxy are lazy)
| -rw-r--r-- | libraries/base/Data/Proxy.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libraries/base/Data/Proxy.hs b/libraries/base/Data/Proxy.hs index 38a43b0b0f..3ead549daf 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 |