diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-16 13:04:09 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-16 13:04:09 -0500 |
| commit | 046b47ab5a077e76abd9610946428419cfe82ca9 (patch) | |
| tree | 5d44f0c0d5207bcee0dca64feb74eec21ed67fd8 /compiler/prelude/PrelNames.hs | |
| parent | efaa51de15017b92618634898fc2c2aee2c5fd5b (diff) | |
| download | haskell-046b47ab5a077e76abd9610946428419cfe82ca9.tar.gz | |
Note [The equality types story] in TysPrim
This supercedes the Note recently written in TysWiredIn.
Diffstat (limited to 'compiler/prelude/PrelNames.hs')
| -rw-r--r-- | compiler/prelude/PrelNames.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/prelude/PrelNames.hs b/compiler/prelude/PrelNames.hs index a963a07f30..a9f37aa49a 100644 --- a/compiler/prelude/PrelNames.hs +++ b/compiler/prelude/PrelNames.hs @@ -1372,7 +1372,7 @@ fingerprintDataConName :: Name fingerprintDataConName = dcQual gHC_FINGERPRINT_TYPE (fsLit "Fingerprint") fingerprintDataConKey --- homogeneous equality +-- homogeneous equality. See Note [The equality types story] in TysPrim eqTyConName :: Name eqTyConName = tcQual dATA_TYPE_EQUALITY (fsLit "~") eqTyConKey |