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 <[email protected]> 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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
