haskell-language-server version: 1.1.0.0 (GHC: 8.10.4) (PATH: /Users/tdiesler/.ghcup/bin/haskell-language-server-8.10.4~1.1.0) (GIT hash: f1c096927186a93d8e3ccd4fe8385cc1b070350b) ghcide setup tester in /Users/tdiesler/git/plutus-pioneer-program/code/proj01. Report bugs at https://github.com/haskell/haskell-language-server/issues Step 1/4: Finding files to test in /Users/tdiesler/git/plutus-pioneer-program/code/proj01 Found 4 files Step 2/4: Looking for hie.yaml files that control setup Found 1 cradle (/Users/tdiesler/git/plutus-pioneer-program/code/proj01/hie.yaml) Step 3/4: Initializing the IDE Step 4/4: Type checking the files 2021-05-20 12:44:08.011188 [ThreadId 4] DEBUG hls: Set files of interest to: [(NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/NFT.hs",OnDisk),(NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs",OnDisk),(NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs",OnDisk),(NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs",OnDisk)] 2021-05-20 12:44:08.012228 [ThreadId 40] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs" 2021-05-20 12:44:08.012232 [ThreadId 41] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs" 2021-05-20 12:44:08.01224 [ThreadId 43] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs" 2021-05-20 12:44:08.012257 [ThreadId 37] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/NFT.hs" 2021-05-20 12:44:08.013294 [ThreadId 46] INFO hls: Consulting the cradle for "src/Proj01/Counter2.hs" Output from setting up the cradle Cradle {cradleRootDir = "/Users/tdiesler/git/plutus-pioneer-program/code/proj01", cradleOptsProg = CradleAction: Cabal} > Build profile: -w ghc-8.10.4 -O1 > In order, the following will be built (use -v for more details): > - plutus-proj01-0.1.0.0 (lib) (first run) > Preprocessing library for plutus-proj01-0.1.0.0.. 2021-05-20 12:44:09.117556 [ThreadId 46] DEBUG hls: Session loading result: Right (ComponentOptions {componentOptions = ["-fbuilding-cabal-package","-O0","-outputdir","/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build","-odir","/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build","-hidir","/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build","-stubdir","/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build","-i","-i/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build","-isrc","-i/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build/autogen","-i/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build/global-autogen","-I/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build/autogen","-I/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build/global-autogen","-I/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build","-optP-include","-optP/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/build/autogen/cabal_macros.h","-this-unit-id","plutus-proj01-0.1.0.0-inplace","-hide-all-packages","-Wmissing-home-modules","-no-user-package-db","-package-db","/Users/tdiesler/.cabal/store/ghc-8.10.4/package.db","-package-db","/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/packagedb/ghc-8.10.4","-package-db","/Users/tdiesler/.cache/hie-bios/dist-proj01-93b89686e351f3606f9aaaac47299c2f/build/x86_64-osx/ghc-8.10.4/plutus-proj01-0.1.0.0/package.conf.inplace","-package-id","sn-1.5.6.0-333a9054","-package-id","base-4.14.1.0","-package-id","containers-0.6.2.1","-package-id","frr-xtrs-0.1.0.0-1c506c35","-package-id","plygrnd-cmmn-0.1.0.0-4914efea","-package-id","plts-cntrct-0.1.0.0-9b62fd70","-package-id","plts-ldgr-0.1.0.0-6d6301e3","-package-id","plts-ldgr-p-0.1.0.0-a6119c38","-package-id","plts-tx-0.1.0.0-add193cc","-package-id","plts-tx-plgn-0.1.0.0-d3d87814","-package-id","srt-1.0.0.0-62bcdc89","-package-id","text-1.2.4.1","-package-id","tf8-strng-1.0.2-dddeeb20","-XHaskell2010","Proj01.Counter2","Proj01.Counter1","Proj01.NFT","Proj01.Types","-Wall","-Wno-missing-signatures","-fobject-code","-fno-ignore-interface-pragmas","-fno-omit-interface-pragmas","-fno-strictness","-fno-spec-constr","-fno-specialise","-hide-all-packages"], componentRoot = "/Users/tdiesler/git/plutus-pioneer-program/code/proj01", componentDependencies = ["proj01.cabal","cabal.project","cabal.project.local"]},"/Users/tdiesler/.ghcup/ghc/8.10.4/lib/ghc-8.10.4") 2021-05-20 12:44:09.204868 [ThreadId 46] INFO hls: Using interface files cache dir: /Users/tdiesler/.cache/ghcide/plutus-proj01-0.1.0.0-inplace-1e5e7c7889d597469144de1c7716596a57ad1195 2021-05-20 12:44:09.205156 [ThreadId 46] INFO hls: Making new HscEnv[plutus-proj01-0.1.0.0-inplace] 2021-05-20 12:44:09.224333 [ThreadId 46] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 5),fromList [("/Users/tdiesler/git/plutus-pioneer-program/code/proj01/hie.yaml",Just 2021-05-20 05:03:23.960614048 UTC),("cabal.project",Just 2021-05-20 05:03:23.960168648 UTC),("cabal.project.local",Nothing),("proj01.cabal",Just 2021-05-20 10:37:54.347322005 UTC)]) 2021-05-20 12:44:09.237537 [ThreadId 46] DEBUG hls: Known files updated: fromList [(TargetModule Proj01.NFT,fromList ["/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/NFT.hs"]),(TargetModule Proj01.Counter1,fromList ["/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs"]),(TargetModule Proj01.Counter2,fromList ["/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs"]),(TargetFile NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs",fromList ["/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs"]),(TargetModule Proj01.Types,fromList ["/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs"])] 2021-05-20 12:44:09.238081 [ThreadId 18] DEBUG hls: Finishing build session(exception: AsyncCancelled) 2021-05-20 12:44:09.238013 [ThreadId 46] DEBUG hls: Restarting build session (aborting the previous one took 0.00s) 2021-05-20 12:44:09.240477 [ThreadId 90] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs" 2021-05-20 12:44:09.240485 [ThreadId 85] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs" 2021-05-20 12:44:09.240503 [ThreadId 91] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/NFT.hs" 2021-05-20 12:44:09.240588 [ThreadId 90] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs" 2021-05-20 12:44:09.45422 [ThreadId 170] INFO hls: File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 21:1-21:50 Source: hlint Severity: DsInfo Message: Redundant asFound:import qualified PlutusTx as PlutusTxWhy not:import qualified PlutusTx File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 29:1-31:47 Source: hlint Severity: DsInfo Message: Use newtype instead of data Found: data MyDatum = MyDatum {mdCount :: Integer} deriving (Show, Generic, FromJSON, ToJSON) Why not: newtype MyDatum = MyDatum {mdCount :: Integer} deriving (Show, Generic, FromJSON, ToJSON) decreases laziness File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 35:14-35:40 Source: hlint Severity: DsInfo Message: Redundant bracketFound:(mdCount v1 == mdCount v2)Why not:mdCount v1 == mdCount v2 File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 42:30-42:34 Source: hlint Severity: DsInfo Message: Redundant bracketFound:MyDatum {mdCount = (- 1)}Why not:MyDatum {mdCount = - 1} File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 87:20-89:22 Source: hlint Severity: DsInfo Message: Replace case with maybe Found: case mytxTxOut txin of Just txo -> mytxDatum txo Nothing -> Nothing Why not: maybe Nothing mytxDatum (mytxTxOut txin) File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 181:13-183:25 Source: hlint Severity: DsInfo Message: Replace case with maybe Found: case txOutDatumHash txout of Just ha -> lookupDatum ha Nothing -> Nothing Why not: maybe Nothing lookupDatum (txOutDatumHash txout) File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 189:16-189:28 Source: hlint Severity: DsInfo Message: Redundant bracket Found: if (darr == []) then Nothing else Just (darr !! 0) Why not: if darr == [] then Nothing else Just (darr !! 0) File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 189:17-189:27 Source: hlint Severity: DsInfo Message: Use nullFound:darr == []Why not:null darr File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Types.hs Hidden: no Range: 189:53-189:62 Source: hlint Severity: DsInfo Message: Use headFound:darr !! 0Why not:head darr 2021-05-20 12:44:09.465632 [ThreadId 165] INFO hls: File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs Hidden: no Range: 30:1-30:50 Source: hlint Severity: DsInfo Message: Redundant asFound:import qualified PlutusTx as PlutusTxWhy not:import qualified PlutusTx File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs Hidden: no Range: 123:32-123:41 Source: hlint Severity: DsInfo Message: Use headFound:txis !! 0Why not:head txis File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs Hidden: no Range: 128:31-128:40 Source: hlint Severity: DsInfo Message: Use headFound:txos !! 0Why not:head txos File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs Hidden: no Range: 155:1-157:49 Source: hlint Severity: DsInfo Message: Use newtype instead of data Found: data GiveParams = GiveParams {gpAmount :: Integer} deriving (Generic, ToJSON, FromJSON, ToSchema) Why not: newtype GiveParams = GiveParams {gpAmount :: Integer} deriving (Generic, ToJSON, FromJSON, ToSchema) decreases laziness File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter1.hs Hidden: no Range: 222:3-224:39 Source: hlint Severity: DsInfo Message: Use if Found: case Plutus.length auxlst == Plutus.length sorted of True -> return $ Plutus.last sorted _ -> throwError "Invalid datum" Why not: (if Plutus.length auxlst == Plutus.length sorted then return $ Plutus.last sorted else throwError "Invalid datum") 2021-05-20 12:44:09.465754 [ThreadId 188] INFO hls: File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs Hidden: no Range: 30:1-30:50 Source: hlint Severity: DsInfo Message: Redundant asFound:import qualified PlutusTx as PlutusTxWhy not:import qualified PlutusTx File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs Hidden: no Range: 123:32-123:41 Source: hlint Severity: DsInfo Message: Use headFound:txis !! 0Why not:head txis File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs Hidden: no Range: 128:31-128:40 Source: hlint Severity: DsInfo Message: Use headFound:txos !! 0Why not:head txos File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs Hidden: no Range: 155:1-157:49 Source: hlint Severity: DsInfo Message: Use newtype instead of data Found: data GiveParams = GiveParams {gpAmount :: Integer} deriving (Generic, ToJSON, FromJSON, ToSchema) Why not: newtype GiveParams = GiveParams {gpAmount :: Integer} deriving (Generic, ToJSON, FromJSON, ToSchema) decreases laziness File: /Users/tdiesler/git/plutus-pioneer-program/code/proj01/src/Proj01/Counter2.hs Hidden: no Range: 222:3-224:39 Source: hlint Severity: DsInfo Message: Use if Found: case Plutus.length auxlst == Plutus.length sorted of True -> return $ Plutus.last sorted _ -> throwError "Invalid datum" Why not: (if Plutus.length auxlst == Plutus.length sorted then return $ Plutus.last sorted else throwError "Invalid datum")