diff options
-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: |