Clarify Note [Kind coercions in Unify]
authorRichard Eisenberg <eir@cis.upenn.edu>
Fri, 25 Mar 2016 21:25:25 +0000 (17:25 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Sat, 26 Mar 2016 20:28:27 +0000 (16:28 -0400)
commit9f73e46c0f34b8b5e8318e6b488b7dade7db68e3
treebcc17d8c3204c28fcae9bf0aaa009e2630d5dd49
parent12a76bebe0864cdf1c9088ed16175d7b34369e24
Clarify Note [Kind coercions in Unify]
compiler/types/Unify.hs