[Git][ghc/ghc][master] Cite "Kind Inference for Datatypes"

[Marge Bot]

 Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
59a07641 by Richard Eisenberg at 2020-12-18T05:55:33-05:00
Cite "Kind Inference for Datatypes"

- - - - -


1 changed file:

- compiler/GHC/Tc/Utils/TcMType.hs


Changes:

=====================================
compiler/GHC/Tc/Utils/TcMType.hs
=====================================
@@ -1229,6 +1229,9 @@ We do this eager erroring in candidateQTyVars, which always precedes
 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').
 
+This change is inspired by and described in Section 7.2 of "Kind Inference
+for Datatypes", POPL'20.
+
 Wrinkle:
 
 We must make absolutely sure that alpha indeed is not



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/59a07641090eec9dcaf5af97026b94911ca3191c

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/59a07641090eec9dcaf5af97026b94911ca3191c
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20201218/329135cf/attachment-0001.html>