diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-05 08:32:07 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-05 08:32:07 +0100 |
| commit | 69ecb07c635336b25fa4fc068424d4343db85549 (patch) | |
| tree | 1d62e63e58f414519263951ff5560046771c0e9d /compiler/specialise | |
| parent | bd6f5de7bb41f868522c6db2ad2793477840297e (diff) | |
| download | haskell-69ecb07c635336b25fa4fc068424d4343db85549.tar.gz | |
Link the de-synonym change to ticket Trac #5458
Diffstat (limited to 'compiler/specialise')
| -rw-r--r-- | 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 99f1c79f44..3debe8eabf 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 |