[commit: ghc] master: Link the de-synonym change to ticket Trac #5458 (69ecb07)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/69ecb07c635336b25fa4fc068424d4343db85549

>---------------------------------------------------------------

commit 69ecb07c635336b25fa4fc068424d4343db85549
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Sep 5 08:32:07 2011 +0100

    Link the de-synonym change to ticket Trac #5458

>---------------------------------------------------------------

 compiler/specialise/SpecConstr.lhs |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/compiler/specialise/SpecConstr.lhs b/compiler/specialise/SpecConstr.lhs
index 99f1c79..3debe8e 100644
--- a/compiler/specialise/SpecConstr.lhs
+++ b/compiler/specialise/SpecConstr.lhs
@@ -1501,7 +1501,8 @@ via 'a' itself, or be in scope at f's defn.  Hence we just take
 
 BUT phantom type synonums can mess this reasoning up, 
   eg   x::T b   with  type T b = Int
-So we apply expandTypeSynonyms to the bound Ids.  Yuk.
+So we apply expandTypeSynonyms to the bound Ids.  
+See Trac # 5458.  Yuk.
 
 \begin{code}
 type CallPat = ([Var], [CoreExpr])	-- Quantified variables and arguments