[Git][ghc/ghc][wip/doc-iface-tuple-ty] Document IfaceTupleTy

[Richard Eisenberg]

Richard Eisenberg pushed to branch wip/doc-iface-tuple-ty at Glasgow Haskell Compiler / GHC


Commits:
9cc82650 by Richard Eisenberg at 2020-09-15T18:05:50-04:00
Document IfaceTupleTy

- - - - -


1 changed file:

- compiler/GHC/Iface/Type.hs


Changes:

=====================================
compiler/GHC/Iface/Type.hs
=====================================
@@ -176,6 +176,11 @@ data IfaceType
        PromotionFlag                 -- A bit like IfaceTyCon
        IfaceAppArgs               -- arity = length args
           -- For promoted data cons, the kind args are omitted
+          -- Why have this? Only for efficiency: IfaceTupleTy can omit the
+          -- type arguments, as they can be recreated when deserializing.
+          -- In an experiment, removing IfaceTupleTy resulted in a 0.75% regression
+          -- in interface file size (in GHC's boot libraries).
+          -- See !3987.
 
 type IfaceMult = IfaceType
 



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9cc826502c0fb811006185d92db7671d0d2c8a12

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9cc826502c0fb811006185d92db7671d0d2c8a12
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/20200915/7d0e5a51/attachment-0001.html>