diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-12-03 13:38:55 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-12-03 13:39:22 +0000 |
| commit | bc9e81cfe5aec2484833854ab0c1abfef9c11b0f (patch) | |
| tree | b16c884bf60a241b0d2306a12f582a35fc6b74d7 /compiler | |
| parent | 289e52f8acd4713df5a4ff5060baadf5fae4b547 (diff) | |
| download | haskell-bc9e81cfe5aec2484833854ab0c1abfef9c11b0f.tar.gz | |
Comments only
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcInteract.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs index bfe470d028..dcac9157b1 100644 --- a/compiler/typecheck/TcInteract.lhs +++ b/compiler/typecheck/TcInteract.lhs @@ -1038,8 +1038,8 @@ outer type constructors match. Note [Delicate equality kick-out] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -When adding an work-item CTyEqCan (a ~ xi), we kick out an inert -CTyEqCan (b ~ phi) when +When adding an fully-rewritten work-item CTyEqCan (a ~ xi), we kick +out an inert CTyEqCan (b ~ phi) when a) the work item can rewrite the inert item |