diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-09-02 16:40:45 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-17 19:22:50 -0400 |
| commit | 8039b12546c80610e3a88c9fe59a0efe9c994515 (patch) | |
| tree | 7ea0180239255ec7ac321bc6d7217833e8d17776 | |
| parent | 9c21b2fd041f19ad02f1c1d530a3f9cbf092c622 (diff) | |
| download | haskell-8039b12546c80610e3a88c9fe59a0efe9c994515.tar.gz | |
Comments only
| -rw-r--r-- | compiler/typecheck/TcMType.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs index 56239e673e..da6d836653 100644 --- a/compiler/typecheck/TcMType.hs +++ b/compiler/typecheck/TcMType.hs @@ -1124,8 +1124,8 @@ in terms (say, in `length []`) because terms are never re-examined before the final zonk (which zaps any lingering metavariables to Any). We do this eager zapping in candidateQTyVars, which always precedes -generalisation, because at that moment we have a clear picture of -what skolems are in scope. +generalisation, because at that moment we have a clear picture of what +skolems are in scope within the type itself (e.g. that 'forall arg'). Wrinkle: |