From 84dcb8440e94fab5aaba66e613de27d89264f076 Mon Sep 17 00:00:00 2001 From: Sylvain Henry Date: Wed, 6 Jan 2021 10:14:13 +0100 Subject: Revert "Remove SpecConstrAnnotation (#13681)" (#19168) This reverts commit 7bc3a65b467c4286377b9bded277d5a2f69160b3. NoSpecConstr is used in the wild (see #19168) --- compiler/GHC/Driver/Session.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/GHC/Driver/Session.hs') diff --git a/compiler/GHC/Driver/Session.hs b/compiler/GHC/Driver/Session.hs index 109d854526..8e92fc974f 100644 --- a/compiler/GHC/Driver/Session.hs +++ b/compiler/GHC/Driver/Session.hs @@ -466,7 +466,7 @@ data DynFlags = DynFlags { specConstrThreshold :: Maybe Int, -- ^ Threshold for SpecConstr specConstrCount :: Maybe Int, -- ^ Max number of specialisations for any one function specConstrRecursive :: Int, -- ^ Max number of specialisations for recursive types - -- Not optional; otherwise SPEC can diverge. + -- Not optional; otherwise ForceSpecConstr can diverge. binBlobThreshold :: Word, -- ^ Binary literals (e.g. strings) whose size is above -- this threshold will be dumped in a binary file -- by the assembler code generator (0 to disable) -- cgit v1.2.1