Link the de-synonym change to ticket Trac #5458
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Sep 2011 07:32:07 +0000 (08:32 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Sep 2011 07:32:07 +0000 (08:32 +0100)
compiler/specialise/SpecConstr.lhs

index 99f1c79..3debe8e 100644 (file)
@@ -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