[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