summaryrefslogtreecommitdiff
path: root/compiler/specialise
diff options
context:
space:
mode:
authorBartosz Nitka <niteria@gmail.com>2016-06-14 08:59:07 -0700
committerBartosz Nitka <niteria@gmail.com>2016-06-14 09:01:37 -0700
commit9d22fbe2d3d8c4609919040007ea8bb561bf9a38 (patch)
tree5b6033d1c025d71326aaa76043a0c06658a76662 /compiler/specialise
parent23b73c97312e4d812812ed25a6396fff44d1da28 (diff)
downloadhaskell-9d22fbe2d3d8c4609919040007ea8bb561bf9a38.tar.gz
Rename cmpType to nonDetCmpType
This makes it obvious that it's nondeterministic and hopefully will prevent someone from using it accidentally. GHC Trac: #4012
Diffstat (limited to 'compiler/specialise')
-rw-r--r--compiler/specialise/Specialise.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/specialise/Specialise.hs b/compiler/specialise/Specialise.hs
index 84f8b62639..b69c9140b9 100644
--- a/compiler/specialise/Specialise.hs
+++ b/compiler/specialise/Specialise.hs
@@ -1746,8 +1746,8 @@ CallInfoSet used to be defined as:
data CallInfoSet = CIS Id (Map CallKey ([DictExpr], VarSet))
Unfortunately this was not deterministic. The Ord instance of CallKey was
-defined in terms of cmpType which is not deterministic.
-See Note [cmpType nondeterminism].
+defined in terms of nonDetCmpType which is not deterministic.
+See Note [nonDetCmpType nondeterminism].
The end result was that if the function had multiple specializations they would
be generated in arbitrary order.