Closed
Description
Your environment
Output of haskell-language-server --probe-tools
or haskell-language-server-wrapper --probe-tools
:
Tool versions found on the $PATH
cabal: 3.2.0.0
stack: 2.7.1
ghc: 9.0.1
Which OS do you use:
ArchLinux
Which lsp-client do you use:
Vscode
Contents of hie.yaml
:
cradle:
stack:
Behaviour
My local dev environment is broken, and I've bisected it to #2059 .
The issue: running a locally-built-via-stack haskell-language-server
in vs-code immediately crashes. The logs from vscode are short and sweet:
[client] run command: "/home/sandy/prj/hls/.stack-work/install/x86_64-linux-tinfo6/64f968bde1bc15bb636c66fca6ea983eed41cbb61528755f8988e3f4c6d76dc9/8.8.4/bin/haskell-language-server --lsp"
[client] debug command: "/home/sandy/prj/hls/.stack-work/install/x86_64-linux-tinfo6/64f968bde1bc15bb636c66fca6ea983eed41cbb61528755f8988e3f4c6d76dc9/8.8.4/bin/haskell-language-server --lsp"
[client] server cwd: undefined
haskell-language-server version: 1.3.0.0 (GHC: 8.8.4) (PATH: /home/sandy/prj/hls/.stack-work/install/x86_64-linux-tinfo6/64f968bde1bc15bb636c66fca6ea983eed41cbb61528755f8988e3f4c6d76dc9/8.8.4/bin/haskell-language-server) (GIT hash: 2fef04193cfe2ac08372a008a5b5cfb6275d5bea)
Starting (haskell-language-server)LSP server...
with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "tactics",PluginId "ormolu",PluginId "stylish-haskell",PluginId "retrie",PluginId "brittany",PluginId "callHierarchy",PluginId "class",PluginId "haddockComments",PluginId "eval",PluginId "importLens",PluginId "refineImports",PluginId "moduleName",PluginId "hlint",PluginId "splice",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",PluginId "ghcide-code-actions-fill-holes",PluginId "ghcide-completions",PluginId "ghcide-type-lenses",PluginId "ghcide-core"]
in directory: /home/sandy/prj/tesths
Starting LSP server...
If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option!
[Info - 10:25:07 a.m.] Connection to server got closed. Server will restart.
haskell-language-server version: 1.3.0.0 (GHC: 8.8.4) (PATH: /home/sandy/prj/hls/.stack-work/install/x86_64-linux-tinfo6/64f968bde1bc15bb636c66fca6ea983eed41cbb61528755f8988e3f4c6d76dc9/8.8.4/bin/haskell-language-server) (GIT hash: 2fef04193cfe2ac08372a008a5b5cfb6275d5bea)
Starting (haskell-language-server)LSP server...
with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "tactics",PluginId "ormolu",PluginId "stylish-haskell",PluginId "retrie",PluginId "brittany",PluginId "callHierarchy",PluginId "class",PluginId "haddockComments",PluginId "eval",PluginId "importLens",PluginId "refineImports",PluginId "moduleName",PluginId "hlint",PluginId "splice",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",PluginId "ghcide-code-actions-fill-holes",PluginId "ghcide-completions",PluginId "ghcide-type-lenses",PluginId "ghcide-core"]
in directory: /home/sandy/prj/tesths
Starting LSP server...
If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option!
[Info - 10:25:08 a.m.] Connection to server got closed. Server will restart.
haskell-language-server version: 1.3.0.0 (GHC: 8.8.4) (PATH: /home/sandy/prj/hls/.stack-work/install/x86_64-linux-tinfo6/64f968bde1bc15bb636c66fca6ea983eed41cbb61528755f8988e3f4c6d76dc9/8.8.4/bin/haskell-language-server) (GIT hash: 2fef04193cfe2ac08372a008a5b5cfb6275d5bea)
Starting (haskell-language-server)LSP server...
with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "tactics",PluginId "ormolu",PluginId "stylish-haskell",PluginId "retrie",PluginId "brittany",PluginId "callHierarchy",PluginId "class",PluginId "haddockComments",PluginId "eval",PluginId "importLens",PluginId "refineImports",PluginId "moduleName",PluginId "hlint",PluginId "splice",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",PluginId "ghcide-code-actions-fill-holes",PluginId "ghcide-completions",PluginId "ghcide-type-lenses",PluginId "ghcide-core"]
in directory: /home/sandy/prj/tesths
Starting LSP server...
If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option!
[Info - 10:25:08 a.m.] Connection to server got closed. Server will restart.
haskell-language-server version: 1.3.0.0 (GHC: 8.8.4) (PATH: /home/sandy/prj/hls/.stack-work/install/x86_64-linux-tinfo6/64f968bde1bc15bb636c66fca6ea983eed41cbb61528755f8988e3f4c6d76dc9/8.8.4/bin/haskell-language-server) (GIT hash: 2fef04193cfe2ac08372a008a5b5cfb6275d5bea)
Starting (haskell-language-server)LSP server...
with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "tactics",PluginId "ormolu",PluginId "stylish-haskell",PluginId "retrie",PluginId "brittany",PluginId "callHierarchy",PluginId "class",PluginId "haddockComments",PluginId "eval",PluginId "importLens",PluginId "refineImports",PluginId "moduleName",PluginId "hlint",PluginId "splice",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",PluginId "ghcide-code-actions-fill-holes",PluginId "ghcide-completions",PluginId "ghcide-type-lenses",PluginId "ghcide-core"]
in directory: /home/sandy/prj/tesths
Starting LSP server...
If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option!
[Info - 10:25:08 a.m.] Connection to server got closed. Server will restart.
haskell-language-server version: 1.3.0.0 (GHC: 8.8.4) (PATH: /home/sandy/prj/hls/.stack-work/install/x86_64-linux-tinfo6/64f968bde1bc15bb636c66fca6ea983eed41cbb61528755f8988e3f4c6d76dc9/8.8.4/bin/haskell-language-server) (GIT hash: 2fef04193cfe2ac08372a008a5b5cfb6275d5bea)
Starting (haskell-language-server)LSP server...
with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "tactics",PluginId "ormolu",PluginId "stylish-haskell",PluginId "retrie",PluginId "brittany",PluginId "callHierarchy",PluginId "class",PluginId "haddockComments",PluginId "eval",PluginId "importLens",PluginId "refineImports",PluginId "moduleName",PluginId "hlint",PluginId "splice",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",PluginId "ghcide-code-actions-fill-holes",PluginId "ghcide-completions",PluginId "ghcide-type-lenses",PluginId "ghcide-core"]
in directory: /home/sandy/prj/tesths
Starting LSP server...
If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option!
[Error - 10:25:08 a.m.] Connection to server got closed. Server will not be restarted.
It works fine when I run haskell-language-server --debug
directly in the directory.
Include debug information
Execute in the root of your project the command haskell-language-server --debug .
and paste the logs here:
haskell-language-server version: 1.3.0.0 (GHC: 8.8.4) (PATH: /home/sandy/prj/hls/.stack-work/install/x86_64-linux-tinfo6/64f968bde1bc15bb636c66fca6ea983eed41cbb61528755f8988e3f4c6d76dc9/8.8.4/bin/haskell-language-server) (GIT hash: 2fef04193cfe2ac08372a008a5b5cfb6275d5bea)
ghcide setup tester in /home/sandy/prj/tesths.
Report bugs at https://github.com/haskell/haskell-language-server/issues
Step 1/4: Finding files to test in /home/sandy/prj/tesths
Found 14 files
Step 2/4: Looking for hie.yaml files that control setup
Found 1 cradle
(/home/sandy/prj/tesths/hie.yaml)
Step 3/4: Initializing the IDE
2021-08-03 10:38:51.4762319 [ThreadId 7] DEBUG hls: Initializing exports map from hiedb
Step 4/4: Type checking the files
2021-08-03 10:38:51.499115102 [ThreadId 7] DEBUG hls: Done initializing exports map from hiedb (331)
2021-08-03 10:38:51.499290859 [ThreadId 29] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Zurihac.hs"
2021-08-03 10:38:51.499439296 [ThreadId 22] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Tree.hs"
2021-08-03 10:38:51.499464046 [ThreadId 30] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Interview.hs"
2021-08-03 10:38:51.499564823 [ThreadId 28] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/State.hs"
2021-08-03 10:38:51.49957809 [ThreadId 29] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Errors.hs"
2021-08-03 10:38:51.499638315 [ThreadId 22] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/app/Main.hs"
2021-08-03 10:38:51.499655369 [ThreadId 23] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Fix.hs"
2021-08-03 10:38:51.499671597 [ThreadId 26] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/test/Spec.hs"
2021-08-03 10:38:51.499774586 [ThreadId 24] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Sing.hs"
2021-08-03 10:38:51.499873564 [ThreadId 29] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Lib.hs"
2021-08-03 10:38:51.501110666 [ThreadId 23] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/Setup.hs"
2021-08-03 10:38:51.501540302 [ThreadId 24] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/StateChart.hs"
2021-08-03 10:38:51.501869848 [ThreadId 29] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/BassForever.hs"
2021-08-03 10:38:51.502073758 [ThreadId 45] INFO hls: Consulting the cradle for "src/Fix.hs"
Output from setting up the cradle Cradle {cradleRootDir = "/home/sandy/prj/tesths", cradleOptsProg = CradleAction: Stack}
> Using main module: 1. Package `tesths' component tesths:exe:tesths-exe with main-is file: /home/sandy/prj/tesths/app/Main.hs
> Building all executables for `tesths' once. After a successful build of all of them, only specified executables will be rebuilt.
> tesths> configure (lib + exe)
> Configuring tesths-0.1.0.0...
> tesths> initial-build-steps (lib + exe)
> The following GHC options are incompatible with GHCi and have not been passed to it: -threaded
> Configuring GHCi with the following packages: tesths
>
> * * * * * * * *
>
> Warning: Multiple files use the same module name:
> * Paths_tesths found at the following paths
> * /home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen/Paths_tesths.hs (tesths:lib)
> * /home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen/Paths_tesths.hs (tesths:exe:tesths-exe)
> * * * * * * * *
>
> /home/sandy/prj/tesths/.stack-work/install/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb:/home/sandy/.stack/snapshots/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb:/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4/package.conf.d
2021-08-03 10:38:53.617759353 [ThreadId 45] DEBUG hls: Session loading result: Right (ComponentOptions {componentOptions = ["-i","-odir=/home/sandy/prj/tesths/.stack-work/odir","-hidir=/home/sandy/prj/tesths/.stack-work/odir","-hide-all-packages","-XEmptyCase","-XPostfixOperators","-XTupleSections","-XNamedFieldPuns","-XBangPatterns","-XBinaryLiterals","-XHexFloatLiterals","-XNumericUnderscores","-XGADTSyntax","-XRankNTypes","-XTypeApplications","-XPolyKinds","-XExistentialQuantification","-XTypeOperators","-XConstraintKinds","-XExplicitForAll","-XKindSignatures","-XNamedWildCards","-XScopedTypeVariables","-XFlexibleContexts","-XFlexibleInstances","-XMultiParamTypeClasses","-XConstrainedClassMethods","-XInstanceSigs","-XTypeSynonymInstances","-XDeriveDataTypeable","-XDeriveFoldable","-XDeriveFunctor","-XDeriveTraversable","-XStandaloneDeriving","-XEmptyDataDeriving","-XDeriveLift","-XGeneralisedNewtypeDeriving","-XDeriveGeneric","-XDerivingStrategies","-XDerivingVia","-XNumDecimals","-XViewPatterns","-XPatternSynonyms","-XTypeFamilies","-XDeriveAnyClass","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build","-i/home/sandy/prj/tesths/src","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/global-autogen","-stubdir=/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build","-package-id=MemoTrie-0.6.10-4gWVL2Ji0zM18WzH0yqIeG","-package-id=QuickCheck-2.13.2-DaUcgEOc05f2iBoF7dUZuu","-package-id=array-0.5.4.0","-package-id=barbies-2.0.2.0-B39gBO6QSRM8bgERVs2LS9","-package-id=base-4.13.0.0","-package-id=checkers-0.5.6-4RyzCl9cp86EzTrZcQVc7K","-package-id=containers-0.6.2.1","-package-id=fgl-5.7.0.3-HNyWLMXtEuHH0MXVxvGwjB","-package-id=generic-lens-2.0.0.0-HDDGuR27xMRGJqgKX59bzG","-package-id=ghc-8.8.4","-package-id=higgledy-0.4.1.1-9khjysZ9JRTBXTaD63PmMR","-package-id=holmes-0.3.2.0-u5YhlrQLJsCGOKw2sBJs2","-package-id=kan-extensions-5.2.1-7feNoZvljZsLsLHSGVBOM7","-package-id=lens-4.18.1-F8V24rYRYuf4zphVeQlBCl","-package-id=monoidal-containers-0.6.0.1-AVk22MQLWh6HHpeqolhVte","-package-id=mtl-2.2.2","-package-id=recover-rtti-0.3.0.0-2hAErtvfok7H6r2lTPpTe6","-package-id=selective-0.4.1.1-HQqWuA9dtF7H3bqdWc4wgM","-package-id=vector-0.12.1.2-AWRYcz9jfa25Avs2q9Jg9V","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe","-i/home/sandy/prj/tesths/app","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/tesths-exe-tmp","-Wall","-Wno-typed-holes","-Wno-name-shadowing","-Wall","-Wno-typed-holes","-Wno-name-shadowing","-rtsopts","-with-rtsopts=-N","-optP-include","-optP/home/sandy/prj/tesths/.stack-work/ghci/5bc6720f/cabal_macros.h","-ghci-script=/tmp/haskell-stack-ghci/cd043ddd/ghci-script","-package-db","/home/sandy/prj/tesths/.stack-work/install/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb","-package-db","/home/sandy/.stack/snapshots/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb","-package-db","/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4/package.conf.d"], componentRoot = "/home/sandy/prj/tesths", componentDependencies = ["tesths.cabal","package.yaml","stack.yaml"]},"/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4")
2021-08-03 10:38:53.67842333 [ThreadId 45] INFO hls: Using interface files cache dir: /home/sandy/.cache/ghcide/main-4234205227054db4e8a1f3da88e75726d383b614
2021-08-03 10:38:53.678780866 [ThreadId 45] INFO hls: Making new HscEnv[main]
2021-08-03 10:38:53.689480117 [ThreadId 45] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 5),fromList [("/home/sandy/prj/tesths/hie.yaml",Just 2020-10-06 19:28:38.769479696 UTC),("package.yaml",Just 2021-08-03 16:55:44.060916042 UTC),("stack.yaml",Just 2021-08-03 06:56:53.776770694 UTC),("tesths.cabal",Just 2021-08-03 16:55:55.124249626 UTC)])
2021-08-03 10:38:53.73146108 [ThreadId 45] DEBUG hls: Known files updated: fromList [(TargetModule Lib,fromList ["/home/sandy/prj/tesths/src/Lib.hs"]),(TargetModule Tree,fromList ["/home/sandy/prj/tesths/src/Tree.hs"]),(TargetModule StateChart,fromList ["/home/sandy/prj/tesths/src/StateChart.hs"]),(TargetModule Errors,fromList ["/home/sandy/prj/tesths/src/Errors.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/src/Fix.hs",fromList ["/home/sandy/prj/tesths/src/Fix.hs"]),(TargetModule Interview,fromList ["/home/sandy/prj/tesths/src/Interview.hs"]),(TargetModule Paths_tesths,fromList ["/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen/Paths_tesths.hs","/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen/Paths_tesths.hs"]),(TargetModule BassForever,fromList ["/home/sandy/prj/tesths/src/BassForever.hs"]),(TargetModule Zurihac,fromList ["/home/sandy/prj/tesths/src/Zurihac.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/app/Main.hs",fromList ["/home/sandy/prj/tesths/app/Main.hs"]),(TargetModule Fix,fromList ["/home/sandy/prj/tesths/src/Fix.hs"]),(TargetModule State,fromList ["/home/sandy/prj/tesths/src/State.hs"]),(TargetModule Search,fromList ["/home/sandy/prj/tesths/src/Search.hs"]),(TargetModule Sing,fromList ["/home/sandy/prj/tesths/src/Sing.hs"])]
2021-08-03 10:38:53.732189234 [ThreadId 45] DEBUG hls: Restarting build session for keys [GhcSessionIO; ] (aborting the previous one took 0.00s)
2021-08-03 10:38:53.732332854 [ThreadId 18] DEBUG hls: Finishing build session(exception: AsyncCancelled)
2021-08-03 10:38:53.734753389 [ThreadId 86] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/StateChart.hs"
2021-08-03 10:38:53.734762534 [ThreadId 87] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Tree.hs"
2021-08-03 10:38:53.734776201 [ThreadId 81] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/test/Spec.hs"
2021-08-03 10:38:53.73480476 [ThreadId 82] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/BassForever.hs"
2021-08-03 10:38:53.734822489 [ThreadId 83] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Zurihac.hs"
2021-08-03 10:38:53.734833814 [ThreadId 88] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/app/Main.hs"
2021-08-03 10:38:53.734871711 [ThreadId 86] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Interview.hs"
2021-08-03 10:38:53.734886543 [ThreadId 87] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Errors.hs"
2021-08-03 10:38:53.734927771 [ThreadId 82] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Sing.hs"
2021-08-03 10:38:53.73494576 [ThreadId 83] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/State.hs"
2021-08-03 10:38:53.735798474 [ThreadId 86] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Fix.hs"
2021-08-03 10:38:53.735866798 [ThreadId 85] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Search.hs"
2021-08-03 10:38:53.736336494 [ThreadId 81] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/Setup.hs"
2021-08-03 10:38:53.737078981 [ThreadId 87] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Lib.hs"
2021-08-03 10:38:53.737672002 [ThreadId 124] INFO hls: Consulting the cradle for "test/Spec.hs"
Output from setting up the cradle Cradle {cradleRootDir = "/home/sandy/prj/tesths", cradleOptsProg = CradleAction: Stack}
2021-08-03 10:38:53.74307739 [ThreadId 148] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:53.742899764 [ThreadId 146] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:53.773560848 [ThreadId 146] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:53.775356446 [ThreadId 146] INFO hls: File: /home/sandy/prj/tesths/src/Zurihac.hs
Hidden: no
Range: 11:34-11:35
Source: hlint
Severity: DsInfo
Message:
�[0;94mparse error on input `;'
eval :: AST a -> a
> eval = [wingman| intros x, cata x; collapse |]
-- eval (IntLit n) =
�[0m
2021-08-03 10:38:53.775149985 [ThreadId 149] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:53.788845764 [ThreadId 146] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:53.840915935 [ThreadId 148] INFO hls: File: /home/sandy/prj/tesths/src/BassForever.hs
Hidden: no
Range: 46:16-46:46
Source: hlint
Severity: DsInfo
Message: �[0;94mUse !!Found:head $ drop 5 $ iterate suck xWhy not:iterate suck x !! 5�[0m
File: /home/sandy/prj/tesths/src/BassForever.hs
Hidden: no
Range: 49:16-49:46
Source: hlint
Severity: DsInfo
Message: �[0;94mUse !!Found:head $ drop 7 $ iterate suck xWhy not:iterate suck x !! 7�[0m
2021-08-03 10:38:53.844346068 [ThreadId 148] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:53.918914877 [ThreadId 148] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:53.931705449 [ThreadId 148] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:54.070096774 [ThreadId 146] INFO hls: File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 41:1-41:32
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse fewer imports
Found:
import Control.Monad ( zipWithM )
import Control.Monad
Why not:
import Control.Monad
�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 172:3-172:36
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse zipWithM_
Found:
void $ zipWithM go l_b $ tail l_b
Why not:
void $ zipWithM_ go l_b $ tail l_b�[0m
2021-08-03 10:38:54.105722897 [ThreadId 148] INFO hls: File: /home/sandy/prj/tesths/src/StateChart.hs
Hidden: no
Range: 2:1-2:44
Source: hlint
Severity: DsInfo
Message:
�[0;94mUnused LANGUAGE pragma
Found:
{-# LANGUAGE DerivingStrategies #-}
Why not:
Extension DerivingStrategies is implied by DerivingVia�[0m
File: /home/sandy/prj/tesths/src/StateChart.hs
Hidden: no
Range: 34:9-36:46
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse if
Found:
case i < bound of
True -> Left $ toEnum i
False -> Right $ toEnum $ i - bound
Why not:
(if i < bound then Left $ toEnum i else Right $ toEnum $ i - bound)�[0m
File: /home/sandy/prj/tesths/src/StateChart.hs
Hidden: no
Range: 80:11-80:23
Source: hlint
Severity: DsInfo
Message: �[0;94mUse record patternsFound:Invoke _ _ _Why not:Invoke {}�[0m
File: /home/sandy/prj/tesths/src/StateChart.hs
Hidden: no
Range: 152:8-152:9
Source: hlint
Severity: DsInfo
Message:
�[0;94mRedundant $
Found:
pure $ ((ak, bk), tensor ak bk av bv)
Why not:
pure ((ak, bk), tensor ak bk av bv)�[0m
File: /home/sandy/prj/tesths/src/StateChart.hs
Hidden: no
Range: 199:9-199:55
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse <$>
Found:
fmap (uncurry (&&)) $ tensorSC boolean boolean
Why not:
uncurry (&&) <$> tensorSC boolean boolean�[0m
2021-08-03 10:38:54.106382667 [ThreadId 148] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,QuasiQuotes,StarIsType]
2021-08-03 10:38:54.108759906 [ThreadId 146] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:54.168369375 [ThreadId 146] INFO hls: File: /home/sandy/prj/tesths/src/Errors.hs
Hidden: no
Range: 67:33-69:18
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse lambda-case
Found:
\ m_a
-> case m_a of
Nothing -> mb
(Just a) -> f a
Why not:
\case
Nothing -> mb
(Just a) -> f a
may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file�[0m
File: /home/sandy/prj/tesths/src/Errors.hs
Hidden: no
Range: 83:29-85:24
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse lambda-case
Found:
\ m_a
-> case m_a of
Nothing -> pure False
(Just a) -> pure True
Why not:
\case
Nothing -> pure False
(Just a) -> pure True
may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file�[0m
File: /home/sandy/prj/tesths/src/Errors.hs
Hidden: no
Range: 97:52-100:35
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse lambda-case
Found:
\ e
-> case e of
(Left e') -> Left (fef e')
(Right a) -> Right (fab a)
Why not:
\case
(Left e') -> Left (fef e')
(Right a) -> Right (fab a)
may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file�[0m
2021-08-03 10:38:54.200734782 [ThreadId 148] INFO hls: File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 8:1-8:49
Source: hlint
Severity: DsInfo
Message:
�[0;94mUnused LANGUAGE pragma
Found:
{-# LANGUAGE KindSignatures #-}
Why not:
Extension KindSignatures is implied by TypeFamilies�[0m
File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 17:1-17:49
Source: hlint
Severity: DsInfo
Message:
�[0;94mUnused LANGUAGE pragma
Found:
{-# LANGUAGE TypeFamilies #-}
Why not:
may require `{-# LANGUAGE MonoLocalBinds #-}` adding to the top of the file
may require `{-# LANGUAGE ExplicitNamespaces #-}` adding to the top of the file
Extension TypeFamilies is implied by TypeFamilyDependencies�[0m
File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 157:20-157:21
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant $Found:SomeSing $ SNilWhy not:SomeSing SNil�[0m
File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 195:42-195:43
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant $Found:SomeSing $ sctypeWhy not:SomeSing sctype�[0m
> Using main module: 1. Package `tesths' component tesths:exe:tesths-exe with main-is file: /home/sandy/prj/tesths/app/Main.hs
2021-08-03 10:38:54.272203244 [ThreadId 148] INFO hls: File: /home/sandy/prj/tesths/src/Tree.hs
Hidden: no
Range: 11:6-11:7
Source: typecheck
Severity: DsWarning
Message: �[0;93mDefined but not used: ‘y’�[0m
File: /home/sandy/prj/tesths/src/Tree.hs
Hidden: no
Range: 11:14-11:15
Source: typecheck
Severity: DsWarning
Message: �[0;93mDefined but not used: ‘y’�[0m
2021-08-03 10:38:54.298272261 [ThreadId 148] INFO hls: File: /home/sandy/prj/tesths/src/Errors.hs
Hidden: no
Range: 67:33-69:18
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse lambda-case
Found:
\ m_a
-> case m_a of
Nothing -> mb
(Just a) -> f a
Why not:
\case
Nothing -> mb
(Just a) -> f a
may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file�[0m
File: /home/sandy/prj/tesths/src/Errors.hs
Hidden: no
Range: 83:29-85:24
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse lambda-case
Found:
\ m_a
-> case m_a of
Nothing -> pure False
(Just a) -> pure True
Why not:
\case
Nothing -> pure False
(Just a) -> pure True
may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file�[0m
File: /home/sandy/prj/tesths/src/Errors.hs
Hidden: no
Range: 97:52-100:35
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse lambda-case
Found:
\ e
-> case e of
(Left e') -> Left (fef e')
(Right a) -> Right (fab a)
Why not:
\case
(Left e') -> Left (fef e')
(Right a) -> Right (fab a)
may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file�[0m
File: /home/sandy/prj/tesths/src/Errors.hs
Hidden: no
Range: 85:9-85:10
Source: typecheck
Severity: DsWarning
Message: �[0;93mDefined but not used: ‘a’�[0m
2021-08-03 10:38:54.358861876 [ThreadId 148] INFO hls: File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 8:1-8:49
Source: hlint
Severity: DsInfo
Message:
�[0;94mUnused LANGUAGE pragma
Found:
{-# LANGUAGE KindSignatures #-}
Why not:
Extension KindSignatures is implied by TypeFamilies�[0m
File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 17:1-17:49
Source: hlint
Severity: DsInfo
Message:
�[0;94mUnused LANGUAGE pragma
Found:
{-# LANGUAGE TypeFamilies #-}
Why not:
may require `{-# LANGUAGE MonoLocalBinds #-}` adding to the top of the file
may require `{-# LANGUAGE ExplicitNamespaces #-}` adding to the top of the file
Extension TypeFamilies is implied by TypeFamilyDependencies�[0m
File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 157:20-157:21
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant $Found:SomeSing $ SNilWhy not:SomeSing SNil�[0m
File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 195:42-195:43
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant $Found:SomeSing $ sctypeWhy not:SomeSing sctype�[0m
File: /home/sandy/prj/tesths/src/Sing.hs
Hidden: no
Range: 235:9-235:10
Source: typecheck
Severity: DsError
Message:
�[0;91m• No instance for (Num Bool) arising from the literal ‘5’
• In the expression: 5
In an equation for ‘hello’: hello = 5�[0m
> Building all executables for `tesths' once. After a successful build of all of them, only specified executables will be rebuilt.
> tesths> configure (lib + exe)
2021-08-03 10:38:54.856673622 [ThreadId 146] INFO hls: File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 41:1-41:32
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse fewer imports
Found:
import Control.Monad ( zipWithM )
import Control.Monad
Why not:
import Control.Monad
�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 172:3-172:36
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse zipWithM_
Found:
void $ zipWithM go l_b $ tail l_b
Why not:
void $ zipWithM_ go l_b $ tail l_b�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 22:1-22:36
Source: typecheck
Severity: DsWarning
Message:
�[0;93mThe import of ‘Barbies’ is redundant
except perhaps to import instances from ‘Barbies’
To import instances alone, use: import Barbies()�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 23:1-23:58
Source: typecheck
Severity: DsWarning
Message: �[0;93mModule ‘Control.Lens’ does not export ‘Universe’�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 26:1-26:38
Source: typecheck
Severity: DsWarning
Message:
�[0;93mThe import of ‘Data.Functor’ is redundant
except perhaps to import instances from ‘Data.Functor’
To import instances alone, use: import Data.Functor()�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 33:1-33:36
Source: typecheck
Severity: DsWarning
Message:
�[0;93mThe import of ‘Data.List’ is redundant
except perhaps to import instances from ‘Data.List’
To import instances alone, use: import Data.List()�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 36:1-36:26
Source: typecheck
Severity: DsWarning
Message:
�[0;93mThe import of ‘Data.Ord’ is redundant
except perhaps to import instances from ‘Data.Ord’
To import instances alone, use: import Data.Ord()�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 41:1-41:32
Source: typecheck
Severity: DsWarning
Message:
�[0;93mThe import of ‘Control.Monad’ is redundant
except perhaps to import instances from ‘Control.Monad’
To import instances alone, use: import Control.Monad()�[0m
File: /home/sandy/prj/tesths/src/Search.hs
Hidden: no
Range: 44:1-44:29
Source: typecheck
Severity: DsWarning
Message:
�[0;93mThe import of ‘Data.Functor.Coyoneda’ is redundant
except perhaps to import instances from ‘Data.Functor.Coyoneda’
To import instances alone, use: import Data.Functor.Coyoneda()�[0m
2021-08-03 10:38:54.918454158 [ThreadId 146] INFO hls: File: /home/sandy/prj/tesths/src/BassForever.hs
Hidden: no
Range: 46:16-46:46
Source: hlint
Severity: DsInfo
Message: �[0;94mUse !!Found:head $ drop 5 $ iterate suck xWhy not:iterate suck x !! 5�[0m
File: /home/sandy/prj/tesths/src/BassForever.hs
Hidden: no
Range: 49:16-49:46
Source: hlint
Severity: DsInfo
Message: �[0;94mUse !!Found:head $ drop 7 $ iterate suck xWhy not:iterate suck x !! 7�[0m
File: /home/sandy/prj/tesths/src/BassForever.hs
Hidden: no
Range: 63:22-63:23
Source: typecheck
Severity: DsWarning
Message: �[0;93mDefined but not used: ‘n’�[0m
> Configuring tesths-0.1.0.0...
2021-08-03 10:38:55.135505346 [ThreadId 149] INFO hls: File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 7:1-7:32
Source: hlint
Severity: DsInfo
Message: �[0;94mUnused LANGUAGE pragmaFound:{-# LANGUAGE DeriveAnyClass #-}Why not:�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 64:17-64:25
Source: hlint
Severity: DsInfo
Message: �[0;94mUse list literal patternFound:(_ : [])Why not:[_]�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 67:14-67:22
Source: hlint
Severity: DsInfo
Message: �[0;94mUse list literal patternFound:(_ : [])Why not:[_]�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 74:11-78:26
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse if
Found:
case b of
False -> go True as2 as3 || go True l as3 || go True as2 r
True -> False
Why not:
if b then
False
else
go True as2 as3 || go True l as3 || go True as2 r�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 83:5-85:10
Source: hlint
Severity: DsInfo
Message:
�[0;94mFuse foldMap/fmap
Found:
foldMap (\ (c, i) -> c : show i) . fmap (head &&& length) . group
Why not:
foldMap ((\ (c, i) -> c : show i) . (head &&& length)) . group�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 109:13-111:30
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse if
Found:
case S.member x cols || S.member y rows of
False -> arr A.! (x, y)
True -> Nothing
Why not:
(if S.member x cols || S.member y rows then
Nothing
else
arr A.! (x, y))�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 162:12-162:25
Source: hlint
Severity: DsInfo
Message:
�[0;94mRedundant bracket
Found:
case (acc + x + y) of {
n | n >= 10 -> (n `mod` 10) : go (n `div` 10) xs ys
| otherwise -> n : go 0 xs ys }
Why not:
case acc + x + y of {
n | n >= 10 -> (n `mod` 10) : go (n `div` 10) xs ys
| otherwise -> n : go 0 xs ys }�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 169:14-169:18
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant bracketFound:([])Why not:[]�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 224:3-232:20
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse if
Found:
case a == a' of
True -> [a]
False
-> let
l_c = ancestorsOf a tr'
r_c = ancestorsOf a tr_a
in
case (l_c, r_c) of
(as@(_ : _), _) -> a' : as
(_, as@(_ : _)) -> a' : as
_ -> []
Why not:
if a == a' then
[a]
else
(let
l_c = ancestorsOf a tr'
r_c = ancestorsOf a tr_a
in
case (l_c, r_c) of
(as@(_ : _), _) -> a' : as
(_, as@(_ : _)) -> a' : as
_ -> [])�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 276:8-278:38
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse if
Found:
case f' >= dx of
True -> (f' - dx, '1' : s)
False -> (f', '0' : s)
Why not:
(if f' >= dx then (f' - dx, '1' : s) else (f', '0' : s))�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 338:5-338:30
Source: hlint
Severity: DsInfo
Message: �[0;94mUse unlessFound:when (not $ testBit w8 b)Why not:unless (testBit w8 b)�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 518:8-518:9
Source: hlint
Severity: DsInfo
Message:
�[0;94mRedundant $
Found:
pure $ [q1, q2, q3, q4, q5, q6, q7, q8]
Why not:
pure [q1, q2, q3, q4, q5, q6, q7, q8]�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 619:15-619:45
Source: hlint
Severity: DsInfo
Message: �[0;94mUse <$>Found:fmap (go . fst) $ zip [0 .. ] bsWhy not:((go . fst) <$> zip [0 .. ] bs)�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 625:23-625:35
Source: hlint
Severity: DsInfo
Message:
�[0;94mRedundant bracket
Found:
(b_height b)
: do (j, bj) <- zip [0 .. i - 1] bs
guard $ i /= j
guard $ strictCompare b bj
pure $ go j + b_height b
Why not:
b_height b
: do (j, bj) <- zip [0 .. i - 1] bs
guard $ i /= j
guard $ strictCompare b bj
pure $ go j + b_height b�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 736:28-736:51
Source: hlint
Severity: DsInfo
Message: �[0;94mUse <$>Found:fmap go $ A.indices arrWhy not:(go <$> A.indices arr)�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 944:15-944:29
Source: hlint
Severity: DsInfo
Message: �[0;94mUse list literal patternFound:((n : _) : [])Why not:[(n : _)]�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 957:3-960:67
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse if
Found:
case null selections of
True -> Nothing
False
-> pure $ minimumBy (comparing $ uncurry $ flip (-)) selections
Why not:
(if null selections then
Nothing
else
pure $ minimumBy (comparing $ uncurry $ flip (-)) selections)�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 1125:40-1125:53
Source: hlint
Severity: DsInfo
Message: �[0;94mUse sectionFound:(flip snoc p)Why not:(`snoc` p)�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 1159:7-1159:39
Source: hlint
Severity: DsInfo
Message: �[0;94mUse <$>Found:fmap (toChar c :) $ decodeNum nsWhy not:(toChar c :) <$> decodeNum ns�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 1193:13-1195:25
Source: hlint
Severity: DsInfo
Message:
�[0;94mUse if
Found:
case weight > 0 of
True -> go (d - 1) node' * (fromIntegral weight % denom)
False -> 0
Why not:
(if weight > 0 then
go (d - 1) node' * (fromIntegral weight % denom)
else
0)�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 1258:9-1258:17
Source: hlint
Severity: DsInfo
Message: �[0;94mUse nullFound:cs == []Why not:null cs�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 1274:1-1274:43
Source: hlint
Severity: DsInfo
Message:
�[0;94mEta reduce
Found:
multisetInc k ms = M.insertWith (+) k 1 ms
Why not:
multisetInc k = M.insertWith (+) k 1�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 1277:1-1277:46
Source: hlint
Severity: DsInfo
Message:
�[0;94mEta reduce
Found:
multisetDec k ms = M.insertWith (+) k (- 1) ms
Why not:
multisetDec k = M.insertWith (+) k (- 1)�[0m
File: /home/sandy/prj/tesths/src/Interview.hs
Hidden: no
Range: 1286:28-1286:48
Source: hlint
Severity: DsInfo
Message: �[0;94mUse sectionFound:(flip M.singleton 1)Why not:(`M.singleton` 1)�[0m
> tesths> initial-build-steps (lib + exe)
> The following GHC options are incompatible with GHCi and have not been passed to it: -threaded
> Configuring GHCi with the following packages: tesths
>
> * * * * * * * *
>
> Warning: Multiple files use the same module name:
> * Paths_tesths found at the following paths
> * /home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen/Paths_tesths.hs (tesths:lib)
> * /home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen/Paths_tesths.hs (tesths:exe:tesths-exe)
> * * * * * * * *
>
> /home/sandy/prj/tesths/.stack-work/install/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb:/home/sandy/.stack/snapshots/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb:/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4/package.conf.d
2021-08-03 10:38:56.178478273 [ThreadId 124] DEBUG hls: Session loading result: Right (ComponentOptions {componentOptions = ["-i","-odir=/home/sandy/prj/tesths/.stack-work/odir","-hidir=/home/sandy/prj/tesths/.stack-work/odir","-hide-all-packages","-XEmptyCase","-XPostfixOperators","-XTupleSections","-XNamedFieldPuns","-XBangPatterns","-XBinaryLiterals","-XHexFloatLiterals","-XNumericUnderscores","-XGADTSyntax","-XRankNTypes","-XTypeApplications","-XPolyKinds","-XExistentialQuantification","-XTypeOperators","-XConstraintKinds","-XExplicitForAll","-XKindSignatures","-XNamedWildCards","-XScopedTypeVariables","-XFlexibleContexts","-XFlexibleInstances","-XMultiParamTypeClasses","-XConstrainedClassMethods","-XInstanceSigs","-XTypeSynonymInstances","-XDeriveDataTypeable","-XDeriveFoldable","-XDeriveFunctor","-XDeriveTraversable","-XStandaloneDeriving","-XEmptyDataDeriving","-XDeriveLift","-XGeneralisedNewtypeDeriving","-XDeriveGeneric","-XDerivingStrategies","-XDerivingVia","-XNumDecimals","-XViewPatterns","-XPatternSynonyms","-XTypeFamilies","-XDeriveAnyClass","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build","-i/home/sandy/prj/tesths/src","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/global-autogen","-stubdir=/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build","-package-id=MemoTrie-0.6.10-4gWVL2Ji0zM18WzH0yqIeG","-package-id=QuickCheck-2.13.2-DaUcgEOc05f2iBoF7dUZuu","-package-id=array-0.5.4.0","-package-id=barbies-2.0.2.0-B39gBO6QSRM8bgERVs2LS9","-package-id=base-4.13.0.0","-package-id=checkers-0.5.6-4RyzCl9cp86EzTrZcQVc7K","-package-id=containers-0.6.2.1","-package-id=fgl-5.7.0.3-HNyWLMXtEuHH0MXVxvGwjB","-package-id=generic-lens-2.0.0.0-HDDGuR27xMRGJqgKX59bzG","-package-id=ghc-8.8.4","-package-id=higgledy-0.4.1.1-9khjysZ9JRTBXTaD63PmMR","-package-id=holmes-0.3.2.0-u5YhlrQLJsCGOKw2sBJs2","-package-id=kan-extensions-5.2.1-7feNoZvljZsLsLHSGVBOM7","-package-id=lens-4.18.1-F8V24rYRYuf4zphVeQlBCl","-package-id=monoidal-containers-0.6.0.1-AVk22MQLWh6HHpeqolhVte","-package-id=mtl-2.2.2","-package-id=recover-rtti-0.3.0.0-2hAErtvfok7H6r2lTPpTe6","-package-id=selective-0.4.1.1-HQqWuA9dtF7H3bqdWc4wgM","-package-id=vector-0.12.1.2-AWRYcz9jfa25Avs2q9Jg9V","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe","-i/home/sandy/prj/tesths/app","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/tesths-exe-tmp","-Wall","-Wno-typed-holes","-Wno-name-shadowing","-Wall","-Wno-typed-holes","-Wno-name-shadowing","-rtsopts","-with-rtsopts=-N","-optP-include","-optP/home/sandy/prj/tesths/.stack-work/ghci/5bc6720f/cabal_macros.h","-ghci-script=/tmp/haskell-stack-ghci/cd043ddd/ghci-script","-package-db","/home/sandy/prj/tesths/.stack-work/install/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb","-package-db","/home/sandy/.stack/snapshots/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb","-package-db","/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4/package.conf.d"], componentRoot = "/home/sandy/prj/tesths", componentDependencies = ["tesths.cabal","package.yaml","stack.yaml"]},"/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4")
2021-08-03 10:38:56.218861781 [ThreadId 124] INFO hls: Using interface files cache dir: /home/sandy/.cache/ghcide/main-4234205227054db4e8a1f3da88e75726d383b614
2021-08-03 10:38:56.219136563 [ThreadId 124] INFO hls: Using interface files cache dir: /home/sandy/.cache/ghcide/main-4234205227054db4e8a1f3da88e75726d383b614
2021-08-03 10:38:56.219349128 [ThreadId 124] INFO hls: Making new HscEnv[main,main]
2021-08-03 10:38:56.225750811 [ThreadId 124] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 16),fromList [("/home/sandy/prj/tesths/hie.yaml",Just 2020-10-06 19:28:38.769479696 UTC),("package.yaml",Just 2021-08-03 16:55:44.060916042 UTC),("stack.yaml",Just 2021-08-03 06:56:53.776770694 UTC),("tesths.cabal",Just 2021-08-03 16:55:55.124249626 UTC)])
2021-08-03 10:38:56.236884307 [ThreadId 124] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 17),fromList [("/home/sandy/prj/tesths/hie.yaml",Just 2020-10-06 19:28:38.769479696 UTC),("package.yaml",Just 2021-08-03 16:55:44.060916042 UTC),("stack.yaml",Just 2021-08-03 06:56:53.776770694 UTC),("tesths.cabal",Just 2021-08-03 16:55:55.124249626 UTC)])
2021-08-03 10:38:56.278166652 [ThreadId 124] DEBUG hls: Known files updated: fromList [(TargetModule Lib,fromList ["/home/sandy/prj/tesths/src/Lib.hs"]),(TargetModule Tree,fromList ["/home/sandy/prj/tesths/src/Tree.hs"]),(TargetModule StateChart,fromList ["/home/sandy/prj/tesths/src/StateChart.hs"]),(TargetModule Errors,fromList ["/home/sandy/prj/tesths/src/Errors.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/src/Fix.hs",fromList ["/home/sandy/prj/tesths/src/Fix.hs"]),(TargetModule Interview,fromList ["/home/sandy/prj/tesths/src/Interview.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/test/Spec.hs",fromList ["/home/sandy/prj/tesths/test/Spec.hs"]),(TargetModule Paths_tesths,fromList ["/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen/Paths_tesths.hs","/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen/Paths_tesths.hs"]),(TargetModule BassForever,fromList ["/home/sandy/prj/tesths/src/BassForever.hs"]),(TargetModule Zurihac,fromList ["/home/sandy/prj/tesths/src/Zurihac.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/app/Main.hs",fromList ["/home/sandy/prj/tesths/app/Main.hs"]),(TargetModule Fix,fromList ["/home/sandy/prj/tesths/src/Fix.hs"]),(TargetModule State,fromList ["/home/sandy/prj/tesths/src/State.hs"]),(TargetModule Search,fromList ["/home/sandy/prj/tesths/src/Search.hs"]),(TargetModule Sing,fromList ["/home/sandy/prj/tesths/src/Sing.hs"])]
2021-08-03 10:38:56.278561119 [ThreadId 124] DEBUG hls: Restarting build session for keys [GhcSessionIO; ] (aborting the previous one took 0.00s)
2021-08-03 10:38:56.278653486 [ThreadId 70] DEBUG hls: Finishing build session(exception: AsyncCancelled)
2021-08-03 10:38:56.280259278 [ThreadId 286] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Lib.hs"
2021-08-03 10:38:56.280253957 [ThreadId 288] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Fix.hs"
2021-08-03 10:38:56.280270045 [ThreadId 291] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/test/Spec.hs"
2021-08-03 10:38:56.280952384 [ThreadId 288] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/Setup.hs"
2021-08-03 10:38:56.281449312 [ThreadId 309] INFO hls: Consulting the cradle for "Setup.hs"
Output from setting up the cradle Cradle {cradleRootDir = "/home/sandy/prj/tesths", cradleOptsProg = CradleAction: Stack}
2021-08-03 10:38:56.286624004 [ThreadId 286] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/State.hs"
2021-08-03 10:38:56.286732691 [ThreadId 286] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:56.31637856 [ThreadId 286] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Search.hs"
2021-08-03 10:38:56.316505974 [ThreadId 286] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:56.521049045 [ThreadId 286] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/app/Main.hs"
2021-08-03 10:38:56.521159127 [ThreadId 286] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:56.523881426 [ThreadId 286] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Errors.hs"
2021-08-03 10:38:56.523985174 [ThreadId 286] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:56.575528489 [ThreadId 286] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Interview.hs"
2021-08-03 10:38:56.575658179 [ThreadId 286] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
> Using main module: 1. Package `tesths' component tesths:exe:tesths-exe with main-is file: /home/sandy/prj/tesths/app/Main.hs
> Building all executables for `tesths' once. After a successful build of all of them, only specified executables will be rebuilt.
> tesths> configure (lib + exe)
> Configuring tesths-0.1.0.0...
> tesths> initial-build-steps (lib + exe)
2021-08-03 10:38:57.6341846 [ThreadId 286] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Sing.hs"
2021-08-03 10:38:57.634297325 [ThreadId 286] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,QuasiQuotes,StarIsType]
2021-08-03 10:38:57.690009962 [ThreadId 286] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/BassForever.hs"
2021-08-03 10:38:57.690127352 [ThreadId 286] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:57.732085039 [ThreadId 286] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
> The following GHC options are incompatible with GHCi and have not been passed to it: -threaded
> Configuring GHCi with the following packages: tesths
>
> * * * * * * * *
>
> Warning: Multiple files use the same module name:
> * Paths_tesths found at the following paths
> * /home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen/Paths_tesths.hs (tesths:lib)
> * /home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen/Paths_tesths.hs (tesths:exe:tesths-exe)
> * * * * * * * *
>
> /home/sandy/prj/tesths/.stack-work/install/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb:/home/sandy/.stack/snapshots/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb:/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4/package.conf.d
2021-08-03 10:38:58.626309285 [ThreadId 309] DEBUG hls: Session loading result: Right (ComponentOptions {componentOptions = ["-i","-odir=/home/sandy/prj/tesths/.stack-work/odir","-hidir=/home/sandy/prj/tesths/.stack-work/odir","-hide-all-packages","-XEmptyCase","-XPostfixOperators","-XTupleSections","-XNamedFieldPuns","-XBangPatterns","-XBinaryLiterals","-XHexFloatLiterals","-XNumericUnderscores","-XGADTSyntax","-XRankNTypes","-XTypeApplications","-XPolyKinds","-XExistentialQuantification","-XTypeOperators","-XConstraintKinds","-XExplicitForAll","-XKindSignatures","-XNamedWildCards","-XScopedTypeVariables","-XFlexibleContexts","-XFlexibleInstances","-XMultiParamTypeClasses","-XConstrainedClassMethods","-XInstanceSigs","-XTypeSynonymInstances","-XDeriveDataTypeable","-XDeriveFoldable","-XDeriveFunctor","-XDeriveTraversable","-XStandaloneDeriving","-XEmptyDataDeriving","-XDeriveLift","-XGeneralisedNewtypeDeriving","-XDeriveGeneric","-XDerivingStrategies","-XDerivingVia","-XNumDecimals","-XViewPatterns","-XPatternSynonyms","-XTypeFamilies","-XDeriveAnyClass","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build","-i/home/sandy/prj/tesths/src","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/global-autogen","-stubdir=/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build","-package-id=MemoTrie-0.6.10-4gWVL2Ji0zM18WzH0yqIeG","-package-id=QuickCheck-2.13.2-DaUcgEOc05f2iBoF7dUZuu","-package-id=array-0.5.4.0","-package-id=barbies-2.0.2.0-B39gBO6QSRM8bgERVs2LS9","-package-id=base-4.13.0.0","-package-id=checkers-0.5.6-4RyzCl9cp86EzTrZcQVc7K","-package-id=containers-0.6.2.1","-package-id=fgl-5.7.0.3-HNyWLMXtEuHH0MXVxvGwjB","-package-id=generic-lens-2.0.0.0-HDDGuR27xMRGJqgKX59bzG","-package-id=ghc-8.8.4","-package-id=higgledy-0.4.1.1-9khjysZ9JRTBXTaD63PmMR","-package-id=holmes-0.3.2.0-u5YhlrQLJsCGOKw2sBJs2","-package-id=kan-extensions-5.2.1-7feNoZvljZsLsLHSGVBOM7","-package-id=lens-4.18.1-F8V24rYRYuf4zphVeQlBCl","-package-id=monoidal-containers-0.6.0.1-AVk22MQLWh6HHpeqolhVte","-package-id=mtl-2.2.2","-package-id=recover-rtti-0.3.0.0-2hAErtvfok7H6r2lTPpTe6","-package-id=selective-0.4.1.1-HQqWuA9dtF7H3bqdWc4wgM","-package-id=vector-0.12.1.2-AWRYcz9jfa25Avs2q9Jg9V","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe","-i/home/sandy/prj/tesths/app","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen","-i/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/tesths-exe-tmp","-Wall","-Wno-typed-holes","-Wno-name-shadowing","-Wall","-Wno-typed-holes","-Wno-name-shadowing","-rtsopts","-with-rtsopts=-N","-optP-include","-optP/home/sandy/prj/tesths/.stack-work/ghci/5bc6720f/cabal_macros.h","-ghci-script=/tmp/haskell-stack-ghci/cd043ddd/ghci-script","-package-db","/home/sandy/prj/tesths/.stack-work/install/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb","-package-db","/home/sandy/.stack/snapshots/x86_64-linux-tinfo6/638ae5759b2b743431af094196cf322447fd17a6698095209e9d281e4c60aa8e/8.8.4/pkgdb","-package-db","/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4/package.conf.d"], componentRoot = "/home/sandy/prj/tesths", componentDependencies = ["tesths.cabal","package.yaml","stack.yaml"]},"/home/sandy/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4")
2021-08-03 10:38:58.669655588 [ThreadId 309] INFO hls: Using interface files cache dir: /home/sandy/.cache/ghcide/main-4234205227054db4e8a1f3da88e75726d383b614
2021-08-03 10:38:58.669955061 [ThreadId 309] INFO hls: Using interface files cache dir: /home/sandy/.cache/ghcide/main-4234205227054db4e8a1f3da88e75726d383b614
2021-08-03 10:38:58.670188051 [ThreadId 309] INFO hls: Using interface files cache dir: /home/sandy/.cache/ghcide/main-4234205227054db4e8a1f3da88e75726d383b614
2021-08-03 10:38:58.670308925 [ThreadId 309] INFO hls: Making new HscEnv[main,main,main]
2021-08-03 10:38:58.677576637 [ThreadId 309] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 26),fromList [("/home/sandy/prj/tesths/hie.yaml",Just 2020-10-06 19:28:38.769479696 UTC),("package.yaml",Just 2021-08-03 16:55:44.060916042 UTC),("stack.yaml",Just 2021-08-03 06:56:53.776770694 UTC),("tesths.cabal",Just 2021-08-03 16:55:55.124249626 UTC)])
2021-08-03 10:38:58.698698344 [ThreadId 309] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 27),fromList [("/home/sandy/prj/tesths/hie.yaml",Just 2020-10-06 19:28:38.769479696 UTC),("package.yaml",Just 2021-08-03 16:55:44.060916042 UTC),("stack.yaml",Just 2021-08-03 06:56:53.776770694 UTC),("tesths.cabal",Just 2021-08-03 16:55:55.124249626 UTC)])
2021-08-03 10:38:58.714034512 [ThreadId 309] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 28),fromList [("/home/sandy/prj/tesths/hie.yaml",Just 2020-10-06 19:28:38.769479696 UTC),("package.yaml",Just 2021-08-03 16:55:44.060916042 UTC),("stack.yaml",Just 2021-08-03 06:56:53.776770694 UTC),("tesths.cabal",Just 2021-08-03 16:55:55.124249626 UTC)])
2021-08-03 10:38:58.781076862 [ThreadId 309] DEBUG hls: Known files updated: fromList [(TargetModule Lib,fromList ["/home/sandy/prj/tesths/src/Lib.hs"]),(TargetModule Tree,fromList ["/home/sandy/prj/tesths/src/Tree.hs"]),(TargetModule StateChart,fromList ["/home/sandy/prj/tesths/src/StateChart.hs"]),(TargetModule Errors,fromList ["/home/sandy/prj/tesths/src/Errors.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/src/Fix.hs",fromList ["/home/sandy/prj/tesths/src/Fix.hs"]),(TargetModule Interview,fromList ["/home/sandy/prj/tesths/src/Interview.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/test/Spec.hs",fromList ["/home/sandy/prj/tesths/test/Spec.hs"]),(TargetModule Paths_tesths,fromList ["/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/autogen/Paths_tesths.hs","/home/sandy/prj/tesths/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0/build/tesths-exe/autogen/Paths_tesths.hs"]),(TargetModule BassForever,fromList ["/home/sandy/prj/tesths/src/BassForever.hs"]),(TargetModule Zurihac,fromList ["/home/sandy/prj/tesths/src/Zurihac.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/app/Main.hs",fromList ["/home/sandy/prj/tesths/app/Main.hs"]),(TargetModule Fix,fromList ["/home/sandy/prj/tesths/src/Fix.hs"]),(TargetModule State,fromList ["/home/sandy/prj/tesths/src/State.hs"]),(TargetFile NormalizedFilePath "/home/sandy/prj/tesths/Setup.hs",fromList ["/home/sandy/prj/tesths/Setup.hs"]),(TargetModule Search,fromList ["/home/sandy/prj/tesths/src/Search.hs"]),(TargetModule Sing,fromList ["/home/sandy/prj/tesths/src/Sing.hs"])]
2021-08-03 10:38:58.781731724 [ThreadId 275] DEBUG hls: Finishing build session(exception: AsyncCancelled)
2021-08-03 10:38:58.781811584 [ThreadId 309] DEBUG hls: Restarting build session for keys [GhcSessionIO; ] (aborting the previous one took 0.00s)
2021-08-03 10:38:58.78328747 [ThreadId 409] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Lib.hs"
2021-08-03 10:38:58.783289645 [ThreadId 403] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Fix.hs"
2021-08-03 10:38:58.783293121 [ThreadId 404] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/Setup.hs"
2021-08-03 10:38:58.804464917 [ThreadId 451] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Zurihac.hs"
2021-08-03 10:38:58.80447956 [ThreadId 454] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.805751174 [ThreadId 451] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.807324885 [ThreadId 455] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/test/Spec.hs"
2021-08-03 10:38:58.808984795 [ThreadId 455] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.810077359 [ThreadId 458] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Errors.hs"
2021-08-03 10:38:58.810235288 [ThreadId 458] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.812717459 [ThreadId 456] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Search.hs"
2021-08-03 10:38:58.812904827 [ThreadId 456] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.823766246 [ThreadId 457] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Sing.hs"
2021-08-03 10:38:58.824005827 [ThreadId 457] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,QuasiQuotes,StarIsType]
2021-08-03 10:38:58.881712295 [ThreadId 453] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Interview.hs"
2021-08-03 10:38:58.881964155 [ThreadId 453] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.883273289 [ThreadId 454] INFO hls: File: /home/sandy/prj/tesths/src/Fix.hs
Hidden: no
Range: 17:8-17:10
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant irrefutable patternFound:~sWhy not:s�[0m
File: /home/sandy/prj/tesths/src/Fix.hs
Hidden: no
Range: 18:3-18:8
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant irrefutable patternFound:~usedWhy not:used�[0m
2021-08-03 10:38:58.891289438 [ThreadId 451] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/BassForever.hs"
2021-08-03 10:38:58.891457338 [ThreadId 454] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/Tree.hs"
2021-08-03 10:38:58.891939492 [ThreadId 451] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.898790337 [ThreadId 455] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/StateChart.hs"
2021-08-03 10:38:58.901419134 [ThreadId 455] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.904389958 [ThreadId 454] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.920786182 [ThreadId 458] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.924502627 [ThreadId 458] INFO hls: File: /home/sandy/prj/tesths/Setup.hs
Hidden: no
Range: 1:8-1:27
Source: not found
Severity: DsError
Message:
�[0;91mCould not load module ‘Distribution.Simple’
It is a member of the hidden package ‘Cabal-3.0.1.0’.
You can run ‘:set -package Cabal’ to expose it.
(Note: this unloads all the modules in the current scope.)�[0m
2021-08-03 10:38:58.926580026 [ThreadId 454] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/app/Main.hs"
2021-08-03 10:38:58.926722586 [ThreadId 454] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.927613403 [ThreadId 458] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/home/sandy/prj/tesths/src/State.hs"
2021-08-03 10:38:58.927747739 [ThreadId 458] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:58.936111985 [ThreadId 454] DEBUG hls: hlint:getIdeas:setExtensions:[Cpp,OverlappingInstances,UndecidableInstances,IncoherentInstances,UndecidableSuperClasses,MonomorphismRestriction,MonoPatBinds,MonoLocalBinds,RelaxedPolyRec,ExtendedDefaultRules,ForeignFunctionInterface,UnliftedFFITypes,InterruptibleFFI,CApiFFI,GHCForeignImportPrim,JavaScriptFFI,ParallelArrays,TemplateHaskell,TemplateHaskellQuotes,ImplicitParams,ImplicitPrelude,ScopedTypeVariables,AllowAmbiguousTypes,UnliftedNewtypes,BangPatterns,TypeFamilies,TypeFamilyDependencies,TypeInType,OverloadedStrings,OverloadedLists,NumDecimals,DisambiguateRecordFields,RecordWildCards,RecordPuns,ViewPatterns,GADTs,GADTSyntax,NPlusKPatterns,DoAndIfThenElse,BlockArguments,RebindableSyntax,ConstraintKinds,PolyKinds,DataKinds,InstanceSigs,ApplicativeDo,StandaloneDeriving,DeriveDataTypeable,AutoDeriveTypeable,DeriveFunctor,DeriveTraversable,DeriveFoldable,DeriveGeneric,DefaultSignatures,DeriveAnyClass,DeriveLift,DerivingStrategies,DerivingVia,TypeSynonymInstances,FlexibleContexts,FlexibleInstances,ConstrainedClassMethods,MultiParamTypeClasses,NullaryTypeClasses,FunctionalDependencies,UnicodeSyntax,ExistentialQuantification,MagicHash,EmptyDataDecls,KindSignatures,RoleAnnotations,ParallelListComp,MonadComprehensions,GeneralizedNewtypeDeriving,PostfixOperators,TupleSections,PatternGuards,LiberalTypeSynonyms,RankNTypes,ImpredicativeTypes,TypeOperators,ExplicitNamespaces,PackageImports,ExplicitForAll,AlternativeLayoutRuleTransitional,DatatypeContexts,NondecreasingIndentation,RelaxedLayout,TraditionalRecordSyntax,LambdaCase,MultiWayIf,BinaryLiterals,HexFloatLiterals,DuplicateRecordFields,OverloadedLabels,EmptyCase,PatternSynonyms,PartialTypeSignatures,NamedWildCards,TypeApplications,Strict,StrictData,MonadFailDesugaring,EmptyDataDeriving,NumericUnderscores,QuantifiedConstraints,ImportQualifiedPost,CUSKs,StandaloneKindSignatures,StarIsType]
2021-08-03 10:38:59.2338463 [ThreadId 458] INFO hls: File: /home/sandy/prj/tesths/src/Fix.hs
Hidden: no
Range: 22:11-22:22
Source: compile
Severity: DsWarning
Message: �[0;93mPattern match is redundantIn a case alternative: ~False -> ...�[0m
File: /home/sandy/prj/tesths/src/Fix.hs
Hidden: no
Range: 17:8-17:10
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant irrefutable patternFound:~sWhy not:s�[0m
File: /home/sandy/prj/tesths/src/Fix.hs
Hidden: no
Range: 18:3-18:8
Source: hlint
Severity: DsInfo
Message: �[0;94mRedundant irrefutable patternFound:~usedWhy not:used�[0m
2021-08-03 10:38:59.236518509 [ThreadId 456] INFO hls: File: /home/sandy/prj/tesths/app/Main.hs
Hidden: no
Range: 3:1-3:11
Source: typecheck
Severity: DsError
Message:
�[0;91mCould not load module ‘Lib’
It is a member of the hidden package ‘libiserv-8.8.4’.
You can run ‘:set -package libiserv’ to expose it.
(Note: this unloads all the modules in the current scope.)�[0m
2021-08-03 10:38:59.775379888 [ThreadId 580] INFO hls: finish: User TypeCheck (took 0.99s)
2021-08-03 10:38:59.916408553 [ThreadId 588] INFO hls: finish: GetHie (took 0.14s)
Files that failed:
* /home/sandy/prj/tesths/Setup.hs
* /home/sandy/prj/tesths/app/Main.hs
2021-08-03 10:38:59.926699538 [ThreadId 592] INFO hls: finish: GenerateCore (took 0.01s)
Completed (12 files worked, 2 files failed)