tilia-0.0.1.0: corpora/hackage/hackage.report
Why every example of this corpus that is not `formatted` is not.
Generated beside the manifest, and compared against nothing: this
file is the work list, and it is free to say as much as it likes.
5202 examples, 5137 formatted.
==========================================================================
broken (7)
==========================================================================
Agda-2.8.0/src/full/Agda/TypeChecking/Conversion.hs
a configuration of the output does not parse: 2240:17: parse error (possibly incorrect indentation or mismatched brackets)
2236 blocker = getBlocker s1b
2237 -- Jesper, 2019-12-27: SizeUniv is disabled at the moment.
2238 if
2239 {- sizedTypesEnabled || -} | propEnabled || cubicalEnabled ->
> 2240 case funSort' s1 (Type l2) of
2241 -- If the work we did makes the @funSort@ compute,
2242 -- continue working.
2243 Right s -> equalSort (Type l) s
2244 -- Otherwise: postpone
--- input
+++ output
@@ -1,137 +1,131 @@
{-# LANGUAGE CPP #-}
{-# LANGUAGE NondecreasingIndentation #-}
-
#if __GLASGOW_HASKELL__ >= 810
{-# OPTIONS_GHC -fmax-pmcheck-models=390 #-} -- Andreas, 2023-05-12, limit determined by binary search
#endif
module Agda.TypeChecking.Conversion where
-import Control.Arrow (second)
-import Control.Monad.Except ( MonadError(..) )
-
-import Data.Function (on)
-import Data.Semigroup ((<>))
-import Data.IntMap (IntMap)
-
-import qualified Data.List as List
-import qualified Data.IntMap as IntMap
-import qualified Data.IntSet as IntSet
-import qualified Data.Set as Set
-
+import Agda.Interaction.Options
import Agda.Syntax.Common
+import Agda.Syntax.Common.Pretty (prettyShow)
import Agda.Syntax.Internal
import Agda.Syntax.Internal.MetaVars
import Agda.Syntax.Translation.InternalToAbstract (reify)
-
-import Agda.TypeChecking.Monad
-import Agda.TypeChecking.MetaVars
-import Agda.TypeChecking.MetaVars.Occurs (killArgs,PruneResult(..),rigidVarsNotContainedIn)
-import Agda.TypeChecking.Names
-import Agda.TypeChecking.Reduce
-import Agda.TypeChecking.Substitute
-import qualified Agda.TypeChecking.SyntacticEquality as SynEq
-import Agda.TypeChecking.Telescope
import Agda.TypeChecking.Constraints
import Agda.TypeChecking.Conversion.Pure (pureCompareAs, runPureConversion)
+import Agda.TypeChecking.Da
dlist-1.0/Data/DList.hs
a configuration of the input does not parse: 54:13: parse error on input `Nil'
--- input
+++ output
@@ -1,6 +1,5 @@
{- ORMOLU_DISABLE -}
{-# LANGUAGE CPP #-}
-
-- CPP: GHC >= 7.8 && <= 8 for 'pattern' required in the export list
#if __GLASGOW_HASKELL__ >= 708 && __GLASGOW_HASKELL__ < 800
{-# LANGUAGE PatternSynonyms #-}
@@ -41,23 +40,33 @@
module Data.DList
( -- * Difference List Type
-
--- CPP: GHC >= 8 for pattern synonyms allowed in the constructor
#if __GLASGOW_HASKELL__ >= 800
+
+ -- CPP: GHC >= 8 for pattern synonyms allowed in the constructor
DList (Nil, Cons),
+
+ -- * Conversion
#else
+
+ -- CPP: GHC >= 8 for pattern synonyms allowed in the constructor
DList,
--- CPP: GHC >= 7.8 && <= 8 for 'pattern' required in the export list
#if __GLASGOW_HASKELL__ >= 708
+
+ -- CPP: GHC >= 7.8 && <= 8 for 'pattern' required in the export list
+
-- ** Bundled Patterns
pattern Nil,
pattern Cons,
-#endif
-#endif
+ -- * Conversion
+#else
+ -- CPP: GHC >= 7.8 && <= 8 for 'pattern' required in the export list
+
-- * Conversion
+#endif
+#endif
fromList,
toList,
apply,
hashable-1.5.1.0/tests/Regress.hs
formatting changed how many configurations there are, from 6 to 8
--- input
+++ output
@@ -4,126 +4,190 @@
module Regress (regressions) where
-import Test.Tasty (TestTree, testGroup)
import Control.Monad (when)
-import Test.Tasty.HUnit (testCase, Assertion, assertFailure, (@?=))
-import Test.Tasty.QuickCheck (testProperty)
-import GHC.Generics (Generic)
-import Data.List (nub)
-import Data.Fixed (Pico)
-import Data.Text (Text)
import Data.ByteString (ByteString)
-
-import qualified Data.Text.Lazy as TL
import qualified Data.ByteString.Char8 as BS8
import qualified Data.ByteString.Lazy as BSL
import qualified Data.ByteString.Lazy.Char8 as BSL8
-
+import Data.Fixed (Pico)
+import Data.List (nub)
+import Data.Text (Text)
+import qualified Data.Text.Lazy as TL
+import GHC.Generics (Generic)
+import Test.Tasty (TestTree, testGroup)
+import Test.Tasty.HUnit (Assertion, assertFailure, testCase, (@?=))
+import Test.Tasty.QuickCheck (testProperty)
#ifdef HAVE_MMAP
import qualified Regress.Mmap as Mmap
#endif
-
import Data.Hashable
#include "MachDeps.h"
-assertInequal :: Eq a => String -> a -> a -> Assertion
+assertInequal :: (Eq a) => String -> a -> a -> Assertion
assertInequal msg x y
- | x == y = assertFailure msg
- | otherwise = return ()
+ | x == y = assertFailure msg
+ | otherwise = return ()
regressions :: [TestTree]
-regressions = [] ++
+regressions =
+ []
#ifdef HAVE_MMAP
- Mmap.regressions ++
- [ testCase "Fixed" $ do
- (hash (1 :: Pico) == hash (2 :: Pico)) @?= False
- ] ++
-#endif
- [ testGroup "Generic: sum of nullary constructors"
- [ testCase "0" $ nullaryCase 0 S0
- , testCase "1" $ nullaryCase 1 S1
- , testCase "2" $ nullaryCase 2 S2
- , testCase "3" $ nullaryCase 3 S3
- , testCase "4" $ nullaryCase 4 S4
- ]
… and 214 more lines
hspec-core-2.11.17/src/Test/Hspec/Core/Compat.hs
formatting is non-idempotent
--- first pass
+++ second pass
@@ -78,17 +78,21 @@
#endif
import Control.Concurrent
import Data.Bool as Imports (bool)
+#ifndef __MHS__
+import GHC.IO.Exception
+ ( IOErrorType (..),
+ ioe_type,
+ )
+#endif
import System.Environment as Imports (lookupEnv)
-import Text.Read as Imports (readMaybe)
-import
#ifndef __MHS__
- GHC.IO.Exception
#else
- System.IO.Error
-#endif
+import System.IO.Error
( IOErrorType (..),
ioe_type,
)
+#endif
+import Text.Read as Imports (readMaybe)
isUnsupportedOperation :: IOError -> Bool
isUnsupportedOperation e = ioe_type e == UnsupportedOperation
idris-1.3.4/src/Idris/AbsSyntax.hs
formatting is non-idempotent
--- first pass
+++ second pass
@@ -1517,9 +1517,8 @@
mkShadow (NS x s) = NS (mkShadow x) s
en ::
- Int -- \^ The quotation level - only transform terms that are used, not terms
- -- that are merely mentioned.
- ->
+ Int -> -- \^ The quotation level - only transform terms that are used, not terms
+ -- that are merely mentioned.
PTerm ->
PTerm
en 0 (PLam fc n nfc t s)
leksah-0.16.2.2/src/IDE/Pane/PackageEditor.hs
the output cannot be formatted again: too many configurations to format
lens-5.3.6/src/Control/Exception/Lens.hs
comments, in one configuration: `{-\n$setup\n>>> :set -XNoOverloadedStrings\n>>> :set -XScopedTypeVariables\n>>> import Control.Lens\n>>> import Control.Applicative\n>>> :m + Control.Exception Control.Monad Data.List Prelude\n\n>>> :m + Control.Exception.Context\n\n-}` became `{-\n$setup\n>>> :set -XNoOverloadedStrings\n>>> :set -XScopedTypeVariables\n>>> import Control.Lens\n>>> import Control.Applicative\n>>> :m + Control.Exception Control.Monad Data.List Prelude\n\n\n>>> :m + Control.Exception.Context\n\n\n\n\n\n\n-}`
--- input
+++ output
@@ -1,12 +1,11 @@
{-# LANGUAGE CPP #-}
-{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE PatternSynonyms #-}
+{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE ViewPatterns #-}
-
+{-# LANGUAGE NoMonomorphismRestriction #-}
#ifdef TRUSTWORTHY
{-# LANGUAGE Trustworthy #-}
#endif
@@ -14,6 +13,7 @@
#include "lens-common.h"
-----------------------------------------------------------------------------
+
-- |
-- Module : Control.Exception.Lens
-- Copyright : (C) 2012-16 Edward Kmett
@@ -31,139 +31,177 @@
-- The combinators in this module have been generalized to work with
-- 'MonadCatch' instead of just 'Prelude.IO'. This enables them to be used
-- more easily in 'Monad' transformer stacks.
+
----------------------------------------------------------------------------
module Control.Exception.Lens
- (
- -- * Handling
- catching, catching_
- , handling, handling_
- -- * Trying
- , trying, trying_
- -- * Throwing
- , throwing
- , throwing_
- , throwingM
- , throwingTo
- -- * Mapping
- , mappedException, mappedException'
- -- * Exceptions
- , exception
- , pattern Exception
- -- * Exception Handlers
- , Handleable(..)
- -- ** IOExceptions
- , AsIOException(..)
- , pattern IOException_
- -- ** Arithmetic Exception
==========================================================================
does-not-parse (2)
==========================================================================
ansi-terminal-1.1.5/win/System/Console/ANSI/Windows/Win32/Types.hs
49:1: parse error on input `#'
leksah-0.16.2.2/src/IDE/Find.hs
615:36: Bang pattern in expression context: !matchIndex
Did you mean to add a space after the '!'?
==========================================================================
partly-checked (25)
==========================================================================
QuickCheck-2.18.0.0/src/Test/QuickCheck.hs
512 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
QuickCheck-2.18.0.0/src/Test/QuickCheck/Exception.hs
192 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
async-2.2.6/Control/Concurrent/Async/Internal.hs
1024 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
cryptonite-0.30/Crypto/Number/Compat.hs
180 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
hspec-core-2.11.17/vendor/async-2.2.5/Control/Concurrent/Async.hs
256 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
intero-0.1.40/src/GhciInfo.hs
72 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
stm-2.5.3.1/Control/Monad/STM.hs
72 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
text-2.1.4/src/Data/Text.hs
192 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
th-abstraction-0.7.2.0/test/Main.hs
4096 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Applicative/Backwards.hs
3072 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Applicative/Lift.hs
96 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/Accum.hs
128 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/Except.hs
1536 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/Identity.hs
12288 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/Maybe.hs
1536 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/RWS/Lazy.hs
128 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/RWS/Strict.hs
128 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/Reader.hs
24576 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/State/Lazy.hs
128 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/State/Strict.hs
128 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/Writer/Lazy.hs
1024 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Control/Monad/Trans/Writer/Strict.hs
1024 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/Data/Functor/Reverse.hs
6144 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
transformers-0.6.3.0/legacy/pre711/Data/Functor/Product.hs
128 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
unliftio-0.2.25.1/src/UnliftIO/Directory.hs
1024 configurations is more than the 64 this checks, so only the ones varying a single conditional were compared
==========================================================================
declined (31)
==========================================================================
Agda-2.8.0/src/full/Agda/Main.hs
too many configurations to format
QuickCheck-2.18.0.0/src/Test/QuickCheck/Arbitrary.hs
too many configurations to format
QuickCheck-2.18.0.0/src/Test/QuickCheck/Function.hs
too many configurations to format
QuickCheck-2.18.0.0/src/Test/QuickCheck/Modifiers.hs
too many configurations to format
QuickCheck-2.18.0.0/src/Test/QuickCheck/Monadic.hs
too many configurations to format
QuickCheck-2.18.0.0/src/Test/QuickCheck/Property.hs
QuickCheck-2.18.0.0/src/Test/QuickCheck/Property.hs:315:13-14: parse error on input `::', in the configuration taking #ifndef NO_TYPEABLE, then #ifndef NO_SAFE_HASKELL, then #ifndef NO_TIMEOUT, then #if defined(MIN_VERSION_base), then #ifndef NO_DEEPSEQ, then #ifdef NO_TIMEOUT
cryptonite-0.30/Crypto/Random/Entropy/Windows.hs
cryptonite-0.30/Crypto/Random/Entropy/Windows.hs:64:16-28: parse error on input `WINDOWS_CCONV', in the configuration taking #if defined(ARCH_X86)
dlist-1.0/Data/DList/Internal.hs
too many configurations to format
hashable-1.5.1.0/src/Data/Hashable/Class.hs
too many configurations to format
hlint-3.10/data/HLint_TypeCheck.hs
a pragma that moves positions, which we do not rewrite
hlint-3.10/src/Config/Yaml.hs
too many configurations to format
idris-1.3.4/Setup.hs
too many configurations to format
idris-1.3.4/src/Util/DynamicLinker.hs
idris-1.3.4/src/Util/DynamicLinker.hs:43:63: parse error on input `\', in the configuration taking #ifdef IDRIS_FFI, then #ifdef mingw32_HOST_OS, then #if defined(linux_HOST_OS) || defined(freebsd_HOST_OS) \, then #ifndef mingw32_HOST_OS, then #ifdef linux_HOST_OS
intero-0.1.40/src/InteractiveUI.hs
too many configurations to format
intero-0.1.40/src/Main.hs
too many configurations to format
lens-5.3.6/src/Control/Lens/Wrapped.hs
too many configurations to format
lens-5.3.6/src/Language/Haskell/TH/Lens.hs
too many configurations to format
lens-5.3.6/tests/properties.hs
lens-5.3.6/tests/properties.hs:118:26-28: parse error on input `KVS'
microlens-0.5.0.0/src/Lens/Micro.hs
too many configurations to format
microlens-0.5.0.0/src/Lens/Micro/Internal.hs
too many configurations to format
optics-0.4.2.1/tests/Optics/Tests/Utils.hs
optics-0.4.2.1/tests/Optics/Tests/Utils.hs:123:62: parse error on input `\', in the configuration taking #if __GLASGOW_HASKELL__ >= 802 && __GLASGOW_HASKELL__ <= 806, then #if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 810, then #if __GLASGOW_HASKELL__ == 802, then #if __GLASGOW_HASKELL__ == 810, then #if __GLASGOW_HASKELL__ >= 806, then #if __GLASGOW_HASKELL__ <= 804, then #if __GLASGOW_HASKELL__ == 802 \, then #if __GLASGOW_HASKELL__ >= 900, then #if __GLASGOW_HASKELL__ >= 902 && __GLASGOW_HASKELL__ <= 904, then #if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 810 \
semigroupoids-6.0.2/src/Data/Functor/Bind/Class.hs
too many configurations to format
shake-0.19.9/src/Development/Shake/Internal/FileInfo.hs
shake-0.19.9/src/Development/Shake/Internal/FileInfo.hs:149:16-23: parse error on input `CALLCONV', in the configuration taking #ifndef MIN_VERSION_unix, then #ifndef MIN_VERSION_time, then #elif defined(mingw32_HOST_OS), then #ifdef x86_64_HOST_ARCH
shake-0.19.9/src/Development/Shake/Internal/History/Symlink.hs
shake-0.19.9/src/Development/Shake/Internal/History/Symlink.hs:31:16-23: parse error on input `CALLCONV', in the configuration taking #ifdef mingw32_HOST_OS, then #ifdef x86_64_HOST_ARCH
shake-0.19.9/src/Development/Shake/Internal/Progress.hs
shake-0.19.9/src/Development/Shake/Internal/Progress.hs:44:16-23: parse error on input `CALLCONV', in the configuration taking #ifdef mingw32_HOST_OS, then #ifdef x86_64_HOST_ARCH
shake-0.19.9/src/General/EscCodes.hs
shake-0.19.9/src/General/EscCodes.hs:52:16-23: parse error on input `CALLCONV', in the configuration taking #ifdef mingw32_HOST_OS, then #ifdef x86_64_HOST_ARCH
shake-0.19.9/src/General/FileLock.hs
shake-0.19.9/src/General/FileLock.hs:28:16-23: parse error on input `CALLCONV', in the configuration taking #ifdef mingw32_HOST_OS, then #ifdef x86_64_HOST_ARCH
time-1.16.0.1/lib/Data/Time/Clock/Internal/CTimeval.hs
time-1.16.0.1/lib/Data/Time/Clock/Internal/CTimeval.hs:35:16-19: parse error on input `capi', in the configuration taking no branch of #if !defined(javascript_HOST_ARCH), then #ifndef mingw32_HOST_OS, then no branch of #if defined(javascript_HOST_ARCH) || defined(__MHS__)
transformers-0.6.3.0/Data/Functor/Constant.hs
too many configurations to format
transformers-0.6.3.0/legacy/pre709/Data/Functor/Identity.hs
too many configurations to format
unordered-containers-0.2.21/Data/HashMap/Internal/Array.hs
unordered-containers-0.2.21/Data/HashMap/Internal/Array.hs:(266,9)-(267,31): Unexpected case expression in function application:
case writeSmallArray# (unMArray ary) i# b s of s' -> (# s', () #), in the configuration taking #if defined(ASSERTS), then #if defined(__GLASGOW_HASKELL__)