History · Implementation of directed coercions · Wiki · Glasgow Haskell Compiler / GHC

Versions 8

Version	Author	Diff	Last updated
v8	sheaf	Fix missing roles in "zapping is not always advantageous"	Mar 30, 2022
v7	sheaf	Fix typo in "zapping not always advantageous"	Mar 30, 2022
v6	sheaf	Add reference to MR 7909 which implements nullicoercion rewriting	Mar 30, 2022
v5	sheaf	Update Implementation of directed coercions	Mar 30, 2022
v4	Adam Gundry	Update Implementation of directed coercions	Mar 30, 2022
v3	sheaf	Update Implementation of directed coercions	Mar 30, 2022
v2	sheaf	Update Implementation of directed coercions	Mar 30, 2022
v1	sheaf	Create Implementation of directed coercions	Mar 30, 2022