diff options
| author | simonpj@microsoft.com <unknown> | 2010-02-25 17:41:12 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2010-02-25 17:41:12 +0000 |
| commit | 4455bfc7d1d881e10e4b8269746b73768c7b8296 (patch) | |
| tree | ebd3d66dae9eddd1e0a47582d2d8dfe7f1a9fb3c /compiler/prelude/TysPrim.lhs | |
| parent | f6a7934488e8c430c9a4e123965f4a6018a7fc37 (diff) | |
| download | haskell-4455bfc7d1d881e10e4b8269746b73768c7b8296.tar.gz | |
Comments only
Diffstat (limited to 'compiler/prelude/TysPrim.lhs')
| -rw-r--r-- | compiler/prelude/TysPrim.lhs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/compiler/prelude/TysPrim.lhs b/compiler/prelude/TysPrim.lhs index 18c80a456e..a6f9b479f5 100644 --- a/compiler/prelude/TysPrim.lhs +++ b/compiler/prelude/TysPrim.lhs @@ -233,8 +233,14 @@ Note [Uniques of Any] Although Any(*->*), say, doesn't have a binding site, it still needs to have a Unique. Unlike tuples (which are also an infinite family) there is no convenient way to index them, so we use the Unique from -their OccName instead. That should be unique! (But in principle we -must take care: it does not include the module/package.) +their OccName instead. That should be unique, + + - both wrt each other, because their strings differ + + - and wrt any other Name, because Names get uniques with + various 'char' tags, but the OccName of Any will + get a Unique built with mkTcOccUnique, which has a particular 'char' + tag; see Unique.mkTcOccUnique! Note [Strangely-kinded void TyCons] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |