[commit: packages/ghc-prim] master: Add actual documentation for new SPEC type. (8822cfc)

git at git.haskell.org git at git.haskell.org
Fri Oct 25 14:34:12 UTC 2013


Repository : ssh://git@git.haskell.org/ghc-prim

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/8822cfce44a3197f6f418563723c9cc4760e8db9/ghc-prim

>---------------------------------------------------------------

commit 8822cfce44a3197f6f418563723c9cc4760e8db9
Author: Austin Seipp <austin at well-typed.com>
Date:   Fri Oct 25 09:33:49 2013 -0500

    Add actual documentation for new SPEC type.
    
    Signed-off-by: Austin Seipp <austin at well-typed.com>


>---------------------------------------------------------------

8822cfce44a3197f6f418563723c9cc4760e8db9
 GHC/Types.hs |    8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/GHC/Types.hs b/GHC/Types.hs
index 0e03143..4f97215 100644
--- a/GHC/Types.hs
+++ b/GHC/Types.hs
@@ -155,5 +155,11 @@ isTrue# x = tagToEnum# x
 -- you're reading this in 2023 then things went wrong). See #8326.
 --
 
--- | Lorem ipsum...
+-- | SPEC is used by GHC in the @SpecConstr@ pass in order to inform
+-- the compiler when to be particularly aggressive. In particular, it
+-- tells GHC to specialize regardless of size or the number of
+-- specializations. However, not all loops fall into this category.
+--
+-- Libraries can specify this by using 'SPEC' data type to inform which
+-- loops should be aggressively specialized.
 data SPEC = SPEC | SPEC2



More information about the ghc-commits mailing list