Delete a misleading comment in TyCon
authorBartosz Nitka <niteria@gmail.com>
Mon, 21 Mar 2016 10:30:59 +0000 (03:30 -0700)
committerBartosz Nitka <niteria@gmail.com>
Mon, 21 Mar 2016 10:31:38 +0000 (03:31 -0700)
`Ord` for `TyCon` uses `Uniques` and it's not lexicographic.
I did some archeology and in
rGHC6c381e873e222417d9a67aeec77b9555eca7b7a8 the comment was introduced,
where there was something like `Ord3 Tycon` which *was* lexicographic.
In rGHC9dd6e1c216993624a2cd74b62ca0f0569c02c26b `Ord3 TyCon` was already
not lexicographic and `Ord3` got removed.

Test Plan: make someone take a look

Reviewers: hvr, austin, bgamari

Reviewed By: bgamari

Subscribers: thomie, simonmar

Differential Revision: https://phabricator.haskell.org/D2017

compiler/types/TyCon.hs

index 3c0a945..b980c9b 100644 (file)
@@ -2026,9 +2026,6 @@ tyConRuntimeRepInfo _                                         = NoRRI
 ************************************************************************
 
 @TyCon@s are compared by comparing their @Unique@s.
-
-The strictness analyser needs @Ord@. It is a lexicographic order with
-the property @(a<=b) || (b<=a)@.
 -}
 
 instance Eq TyCon where