haskell / vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server
https://marketplace.visualstudio.com/items?itemName=haskell.haskell
Other
560 stars 90 forks source link

General error using the extension: `TypeError: Cannot read property 'range' of undefined` #445

Closed robrix closed 3 years ago

robrix commented 3 years ago

Your environment

Output of haskell-language-server --probe-tools or haskell-language-server-wrapper --probe-tools:

haskell-language-server version: 1.3.0.0 (GHC: 8.10.4) (PATH: /Users/rob/.ghcup/bin/haskell-language-server-wrapper-1.3.0) (GIT hash: e7c5e90b6df5dff2760d76169eddaea3bdd6a831)
Tool versions found on the $PATH
cabal:      3.4.0.0
stack:      Not found
ghc:        8.10.4

Which OS do you use: macOS Which lsp-client do you use: VS Code Describe your project (alternative: link to the project): N/A (happens in every Haskell project I open)

Steps to reproduce

Given that nobody else has reported it, I’m guessing it’ll be pretty hard to repro.

  1. I updated VS Code. I’m not sure what version I updated it to when this began failing, but it happened no later than 1.59.0 and is still failing on 1.59.1.
  2. Open the outline pane and/or run the “Go to Symbol in Editor…” command.

Expected behaviour

The outline should be populated, the go to symbol in editor list should be populated.

Actual behaviour

The outline is empty (“No symbols found in document ‘….hs’”). The go to symbol in editor list is empty (“No editor symbols”).

Furthermore if you run the “Open Webview Developer Tools” command, you get a standard Chromium web inspector view, and in the console, an error:

  ERR Cannot read property 'range' of undefined: TypeError: Cannot read property 'range' of undefined
    at H (/Users/rob/.vscode/extensions/haskell.haskell-1.6.0/dist/extension.js:247:128185)
    at /Users/rob/.vscode/extensions/haskell.haskell-1.6.0/dist/extension.js:247:133572
    at Array.map (<anonymous>)
    at Object.asSymbolInformations (/Users/rob/.vscode/extensions/haskell.haskell-1.6.0/dist/extension.js:247:133565)
    at /Users/rob/.vscode/extensions/haskell.haskell-1.6.0/dist/extension.js:1:48353
    at async c.provideDocumentSymbols (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/workbench/services/extensions/node/extensionHostProcess.js:85:161482)

With some difficulty I was able to discover in the listed file that the function H is indeed calling e.location.range and thus presumably e.location is undefined. Minified JS is not especially elucidating, I didn’t know where to find source maps, and tbh I need to get on with things, so I stopped there.

Include debug information

Execute in the root of your project the command haskell-language-server --debug . and paste the logs here:

the logs ``` Found "/Users/rob/Projects/facet/hie.yaml" for "/Users/rob/Projects/facet/a" Run entered for haskell-language-server-wrapper(haskell-language-server-wrapper) Version 1.3.0.0, Git revision e7c5e90b6df5dff2760d76169eddaea3bdd6a831 (dirty) x86_64 ghc-8.10.4 Current directory: /Users/rob/Projects/facet Operating system: darwin Arguments: ["--debug","."] Cradle directory: /Users/rob/Projects/facet Cradle type: Cabal Tool versions found on the $PATH cabal: 3.4.0.0 stack: Not found ghc: 8.10.4 Consulting the cradle to get project GHC version... Project GHC version: 8.10.4 haskell-language-server exe candidates: ["haskell-language-server-8.10.4","haskell-language-server"] Launching haskell-language-server exe at:/Users/rob/.ghcup/bin/haskell-language-server-8.10.4 haskell-language-server version: 1.3.0.0 (GHC: 8.10.4) (PATH: /Users/rob/.ghcup/bin/haskell-language-server-8.10.4~1.3.0) (GIT hash: e7c5e90b6df5dff2760d76169eddaea3bdd6a831) ghcide setup tester in /Users/rob/Projects/facet. Report bugs at https://github.com/haskell/haskell-language-server/issues Step 1/4: Finding files to test in /Users/rob/Projects/facet Found 72 files Step 2/4: Looking for hie.yaml files that control setup Found 1 cradle (/Users/rob/Projects/facet/hie.yaml) Step 3/4: Initializing the IDE 2021-08-21 20:35:37.180627 [ThreadId 7] DEBUG hls: Initializing exports map from hiedb Step 4/4: Type checking the files 2021-08-21 20:35:37.523855 [ThreadId 47] INFO hls: Consulting the cradle for "test/Facet/Source/Test.hs" Output from setting up the cradle Cradle {cradleRootDir = "/Users/rob/Projects/facet", cradleOptsProg = CradleAction: Cabal} 2021-08-21 20:35:37.525179 [ThreadId 7] DEBUG hls: Done initializing exports map from hiedb (1083) > Build profile: -w ghc-8.10.4 -O1 > In order, the following will be built (use -v for more details): > - facet-0.0.0.0 (lib) (first run) > - facet-0.0.0.0 (test:test) (configuration changed) > Preprocessing library for facet-0.0.0.0.. > Building library for facet-0.0.0.0.. > [ 1 of 67] Compiling Facet.Carrier.Error.Lens ( src/Facet/Carrier/Error/Lens.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Error/Lens.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Error/Lens.dyn_o ) [Control.Lens changed] > [ 2 of 67] Compiling Facet.Carrier.State.Lens ( src/Facet/Carrier/State/Lens.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/State/Lens.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/State/Lens.dyn_o ) [Control.Lens changed] > [15 of 67] Compiling Facet.Lens ( src/Facet/Lens.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Lens.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Lens.dyn_o ) [Control.Lens changed] > [16 of 67] Compiling Facet.Semialign ( src/Facet/Semialign.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Semialign.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Semialign.dyn_o ) [Data.Semialign changed] > [18 of 67] Compiling Facet.Snoc ( src/Facet/Snoc.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Snoc.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Snoc.dyn_o ) [Data.Semialign changed] > [19 of 67] Compiling Facet.Pretty ( src/Facet/Pretty.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Pretty.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Pretty.dyn_o ) [Facet.Snoc changed] > [20 of 67] Compiling Facet.Snoc.NonEmpty ( src/Facet/Snoc/NonEmpty.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Snoc/NonEmpty.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Snoc/NonEmpty.dyn_o ) [Facet.Snoc changed] > [21 of 67] Compiling Facet.Name ( src/Facet/Name.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Name.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Name.dyn_o ) [Facet.Snoc changed] > [22 of 67] Compiling Facet.Parser.Table ( src/Facet/Parser/Table.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Parser/Table.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Parser/Table.dyn_o ) [Text.Parser.Token changed] > [23 of 67] Compiling Facet.Kind ( src/Facet/Kind.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Kind.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Kind.dyn_o ) [Facet.Name changed] > [24 of 67] Compiling Facet.Interface ( src/Facet/Interface.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Interface.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Interface.dyn_o ) [Facet.Name changed] > [25 of 67] Compiling Facet.Span ( src/Facet/Span.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Span.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Span.dyn_o ) [Control.Lens changed] > [26 of 67] Compiling Facet.Source ( src/Facet/Source.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Source.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Source.dyn_o ) [Control.Lens changed] > [27 of 67] Compiling Facet.Notice ( src/Facet/Notice.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Notice.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Notice.dyn_o ) [Control.Lens changed] > [28 of 67] Compiling Facet.Effect.Parser ( src/Facet/Effect/Parser.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Effect/Parser.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Effect/Parser.dyn_o ) [Facet.Span changed] > [29 of 67] Compiling Facet.REPL.Parser ( src/Facet/REPL/Parser.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/REPL/Parser.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/REPL/Parser.dyn_o ) [Text.Parser.Token changed] > [30 of 67] Compiling Facet.Lexer ( src/Facet/Lexer.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Lexer.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Lexer.dyn_o ) [Text.Parser.Combinators changed] > [31 of 67] Compiling Facet.Carrier.Parser.Church ( src/Facet/Carrier/Parser/Church.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Parser/Church.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Parser/Church.dyn_o ) [Text.Parser.Token changed] > [32 of 67] Compiling Facet.Notice.Parser ( src/Facet/Notice/Parser.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Notice/Parser.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Notice/Parser.dyn_o ) [Facet.Carrier.Parser.Church changed] > [33 of 67] Compiling Facet.Style ( src/Facet/Style.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Style.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Style.dyn_o ) [Facet.Notice changed] > [34 of 67] Compiling Facet.Effect.Readline ( src/Facet/Effect/Readline.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Effect/Readline.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Effect/Readline.dyn_o ) [Facet.Pretty changed] > [35 of 67] Compiling Facet.Carrier.Readline.Haskeline ( src/Facet/Carrier/Readline/Haskeline.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Readline/Haskeline.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Readline/Haskeline.dyn_o ) [System.Console.Haskeline changed] > [36 of 67] Compiling Facet.Carrier.Output.IO ( src/Facet/Carrier/Output/IO.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Output/IO.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Output/IO.dyn_o ) [Facet.Effect.Readline changed] > [37 of 67] Compiling Facet.Syntax ( src/Facet/Syntax.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Syntax.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Syntax.dyn_o ) [Facet.Name changed] > [38 of 67] Compiling Facet.Surface ( src/Facet/Surface.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Surface.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Surface.dyn_o ) [Control.Lens changed] > [39 of 67] Compiling Facet.Subst ( src/Facet/Subst.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Subst.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Subst.dyn_o ) [Facet.Name changed] > [40 of 67] Compiling Facet.Pattern ( src/Facet/Pattern.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Pattern.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Pattern.dyn_o ) [Facet.Name changed] > [41 of 67] Compiling Facet.Parser ( src/Facet/Parser.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Parser.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Parser.dyn_o ) [Text.Parser.Token.Highlight changed] > [42 of 67] Compiling Facet.Env ( src/Facet/Env.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Env.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Env.dyn_o ) [Facet.Name changed] > [43 of 67] Compiling Facet.Term ( src/Facet/Term.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Term.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Term.dyn_o ) [Facet.Name changed] > [44 of 67] Compiling Facet.Norm ( src/Facet/Norm.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Norm.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Norm.dyn_o ) [Facet.Env changed] > [45 of 67] Compiling Facet.Timing ( src/Facet/Timing.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Timing.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Timing.dyn_o ) [Facet.Pretty changed] > [46 of 67] Compiling Facet.Carrier.Profile.Tree ( src/Facet/Carrier/Profile/Tree.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Profile/Tree.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Profile/Tree.dyn_o ) [Facet.Timing changed] > [47 of 67] Compiling Facet.Carrier.Profile.Flat ( src/Facet/Carrier/Profile/Flat.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Profile/Flat.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Carrier/Profile/Flat.dyn_o ) [Facet.Timing changed] > [48 of 67] Compiling Facet.Vars ( src/Facet/Vars.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Vars.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Vars.dyn_o ) [Facet.Name changed] > [49 of 67] Compiling Facet.Usage ( src/Facet/Usage.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Usage.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Usage.dyn_o ) [Facet.Name changed] > [50 of 67] Compiling Facet.Type ( src/Facet/Type.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Type.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Type.dyn_o ) [Facet.Interface changed] > [51 of 67] Compiling Facet.Type.Expr ( src/Facet/Type/Expr.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Type/Expr.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Type/Expr.dyn_o ) [Facet.Interface changed] > [52 of 67] Compiling Facet.Type.Norm ( src/Facet/Type/Norm.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Type/Norm.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Type/Norm.dyn_o ) [Control.Lens changed] > [53 of 67] Compiling Facet.Module ( src/Facet/Module.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Module.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Module.dyn_o ) [Control.Lens changed] > [54 of 67] Compiling Facet.Graph ( src/Facet/Graph.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Graph.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Graph.dyn_o ) [Control.Lens changed] > [55 of 67] Compiling Facet.Eval ( src/Facet/Eval.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Eval.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Eval.dyn_o ) [Facet.Env changed] > [56 of 67] Compiling Facet.Print ( src/Facet/Print.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Print.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Print.dyn_o ) [Facet.Env changed] > [57 of 67] Compiling Facet.Context ( src/Facet/Context.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Context.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Context.dyn_o ) [Facet.Env changed] > [58 of 67] Compiling Facet.Elab ( src/Facet/Elab.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Elab.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Elab.dyn_o ) [Control.Lens changed] > [59 of 67] Compiling Facet.Unify ( src/Facet/Unify.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Unify.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Unify.dyn_o ) [Facet.Elab changed] > [60 of 67] Compiling Facet.Notice.Elab ( src/Facet/Notice/Elab.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Notice/Elab.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Notice/Elab.dyn_o ) [Facet.Context changed] > [61 of 67] Compiling Facet.Elab.Type ( src/Facet/Elab/Type.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Elab/Type.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Elab/Type.dyn_o ) [Facet.Elab changed] > [62 of 67] Compiling Facet.Elab.Term ( src/Facet/Elab/Term.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Elab/Term.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Elab/Term.dyn_o ) [Control.Lens changed] > [63 of 67] Compiling Facet.Driver ( src/Facet/Driver.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Driver.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Driver.dyn_o ) [Text.Parser.Token changed] > [64 of 67] Compiling Facet.Run ( src/Facet/Run.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Run.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/Run.dyn_o ) [Control.Lens changed] > [65 of 67] Compiling Facet.REPL ( src/Facet/REPL.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/REPL.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/REPL.dyn_o ) [Text.Parser.Token changed] > [66 of 67] Compiling Paths_facet ( /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen/Paths_facet.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Paths_facet.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Paths_facet.dyn_o ) [/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen/cabal_macros.h changed] > [67 of 67] Compiling Facet.CLI ( src/Facet/CLI.hs, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/CLI.o, /Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/Facet/CLI.dyn_o ) [Facet.REPL changed] > Configuring test suite 'test' for facet-0.0.0.0.. > Warning: The package has an extraneous version range for a dependency on an > internal library: facet >=0 && ==0.0.0.0, facet >=0 && ==0.0.0.0. This version > range includes the current package but isn't needed as the current package's > library will always be used. > Preprocessing test suite 'test' for facet-0.0.0.0.. 2021-08-21 20:36:21.03247 [ThreadId 47] DEBUG hls: Session loading result: Right (ComponentOptions {componentOptions = ["-fbuilding-cabal-package","-O0","-outputdir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/test-tmp","-odir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/test-tmp","-hidir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/test-tmp","-stubdir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/test-tmp","-i","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/test-tmp","-itest","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/autogen","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/global-autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/global-autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/test-tmp","-optP-include","-optP/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/build/test/autogen/cabal_macros.h","-hide-all-packages","-Wmissing-home-modules","-no-user-package-db","-package-db","/Users/rob/.cabal/store/ghc-8.10.4/package.db","-package-db","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/packagedb/ghc-8.10.4","-package-db","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/t/test/package.conf.inplace","-package-id","base-4.14.1.0","-package-id","containers-0.6.2.1","-package-id","facet-0.0.0.0-inplace","-package-id","hdghg-1.0.5-8cb355c3","-package-id","prsrs-0.12.10-59538443","-XHaskell2010","-XDeriveTraversable","-XDerivingStrategies","-XDerivingVia","-XDisambiguateRecordFields","-XDuplicateRecordFields","-XEmptyCase","-XFlexibleContexts","-XFlexibleInstances","-XGeneralizedNewtypeDeriving","-XKindSignatures","-XLambdaCase","-XMultiParamTypeClasses","-XMultiWayIf","-XNamedFieldPuns","-XRankNTypes","-XStandaloneDeriving","-XTupleSections","-XTypeApplications","-XTypeOperators","-XViewPatterns","test/Test.hs","Facet.Carrier.Parser.Church.Test","Facet.Core.Type.Test","Facet.Source.Test","-Weverything","-Wno-all-missed-specialisations","-Wno-implicit-prelude","-Wno-missed-specialisations","-Wno-missing-import-lists","-Wno-missing-local-signatures","-Wno-monomorphism-restriction","-Wno-name-shadowing","-Wno-safe","-Wno-unsafe","-Wno-missing-deriving-strategies","-Wno-missing-safe-haskell-mode","-Wno-prepositive-qualified-module","-hide-all-packages"], componentRoot = "/Users/rob/Projects/facet", componentDependencies = ["facet.cabal","cabal.project","cabal.project.local"]},"/Users/rob/.ghcup/ghc/8.10.4/lib/ghc-8.10.4") 2021-08-21 20:36:21.133332 [ThreadId 47] INFO hls: Using interface files cache dir: /Users/rob/.cache/ghcide/main-5071f147f014ea030a35c83f73eaab82b9ad4dd2 2021-08-21 20:36:21.133581 [ThreadId 47] INFO hls: Making new HscEnv[main] 2021-08-21 20:36:21.157272 [ThreadId 47] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 5),fromList [("/Users/rob/Projects/facet/hie.yaml",Just 2020-10-08 17:25:10.378415084 UTC),("cabal.project",Just 2020-10-27 11:08:42.814918986 UTC),("cabal.project.local",Nothing),("facet.cabal",Just 2021-06-07 17:52:52.396213008 UTC)]) 2021-08-21 20:36:21.166374 [ThreadId 47] DEBUG hls: Known files updated: fromList [(TargetModule Facet.Carrier.Parser.Church.Test,fromList ["/Users/rob/Projects/facet/test/Facet/Carrier/Parser/Church/Test.hs"]),(TargetFile NormalizedFilePath "/Users/rob/Projects/facet/test/Test.hs",fromList ["/Users/rob/Projects/facet/test/Test.hs"]),(TargetModule Facet.Core.Type.Test,fromList ["/Users/rob/Projects/facet/test/Facet/Core/Type/Test.hs"]),(TargetFile NormalizedFilePath "/Users/rob/Projects/facet/test/Facet/Source/Test.hs",fromList ["/Users/rob/Projects/facet/test/Facet/Source/Test.hs"]),(TargetModule Facet.Source.Test,fromList ["/Users/rob/Projects/facet/test/Facet/Source/Test.hs"])] 2021-08-21 20:36:21.166906 [ThreadId 47] DEBUG hls: Restarting build session for keys [GhcSessionIO; ] (aborting the previous one took 0.00s) 2021-08-21 20:36:21.167046 [ThreadId 26] DEBUG hls: Finishing build session(exception: AsyncCancelled) 2021-08-21 20:36:21.175456 [ThreadId 99] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Error/Lens.hs" 2021-08-21 20:36:21.175448 [ThreadId 98] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Unify.hs" 2021-08-21 20:36:21.175469 [ThreadId 95] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Snoc.hs" 2021-08-21 20:36:21.175474 [ThreadId 100] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Elab/Term.hs" 2021-08-21 20:36:21.175479 [ThreadId 104] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Diff.hs" 2021-08-21 20:36:21.175526 [ThreadId 107] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Time/System.hs" 2021-08-21 20:36:21.175513 [ThreadId 103] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Lens.hs" 2021-08-21 20:36:21.175524 [ThreadId 108] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Notice/Elab.hs" 2021-08-21 20:36:21.175572 [ThreadId 96] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/test/Facet/Source/Test.hs" 2021-08-21 20:36:21.175577 [ThreadId 94] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Tree.hs" 2021-08-21 20:36:21.175584 [ThreadId 102] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Norm.hs" 2021-08-21 20:36:21.175594 [ThreadId 101] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/facetc/Main.hs" 2021-08-21 20:36:21.175622 [ThreadId 106] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Env.hs" 2021-08-21 20:36:21.175643 [ThreadId 109] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/Setup.hs" 2021-08-21 20:36:21.175671 [ThreadId 99] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Time.hs" 2021-08-21 20:36:21.175683 [ThreadId 105] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Surface.hs" 2021-08-21 20:36:21.175697 [ThreadId 98] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Readline.hs" 2021-08-21 20:36:21.175722 [ThreadId 95] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Run.hs" 2021-08-21 20:36:21.17576 [ThreadId 100] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Vars.hs" 2021-08-21 20:36:21.175779 [ThreadId 104] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Pattern.hs" 2021-08-21 20:36:21.175842 [ThreadId 107] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Eval.hs" 2021-08-21 20:36:21.17588 [ThreadId 103] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/State/Lens.hs" 2021-08-21 20:36:21.17591 [ThreadId 108] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/REPL.hs" 2021-08-21 20:36:21.175959 [ThreadId 96] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Graph.hs" 2021-08-21 20:36:21.175988 [ThreadId 94] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Term.hs" 2021-08-21 20:36:21.176006 [ThreadId 102] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Flag.hs" 2021-08-21 20:36:21.176061 [ThreadId 101] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Format.hs" 2021-08-21 20:36:21.176102 [ThreadId 106] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Elab/Type.hs" 2021-08-21 20:36:21.17613 [ThreadId 109] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Subst.hs" 2021-08-21 20:36:21.176144 [ThreadId 99] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/CLI.hs" 2021-08-21 20:36:21.176217 [ThreadId 105] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Throw/Inject.hs" 2021-08-21 20:36:21.176336 [ThreadId 100] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Lexer.hs" 2021-08-21 20:36:21.176348 [ThreadId 104] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Module.hs" 2021-08-21 20:36:21.176345 [ThreadId 95] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Parser/Church.hs" 2021-08-21 20:36:21.176363 [ThreadId 98] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Elab.hs" 2021-08-21 20:36:21.17637 [ThreadId 107] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Span.hs" 2021-08-21 20:36:21.176443 [ThreadId 103] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Output/IO.hs" 2021-08-21 20:36:21.176461 [ThreadId 96] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Readline/Haskeline.hs" 2021-08-21 20:36:21.176469 [ThreadId 108] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/test/Test.hs" 2021-08-21 20:36:21.176516 [ThreadId 94] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Print.hs" 2021-08-21 20:36:21.176558 [ThreadId 101] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/test/Facet/Carrier/Parser/Church/Test.hs" 2021-08-21 20:36:21.176611 [ThreadId 106] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Pretty.hs" 2021-08-21 20:36:21.176638 [ThreadId 109] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Write/General.hs" 2021-08-21 20:36:21.176663 [ThreadId 102] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Parser.hs" 2021-08-21 20:36:21.176698 [ThreadId 105] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Notice/Parser.hs" 2021-08-21 20:36:21.176805 [ThreadId 104] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Context.hs" 2021-08-21 20:36:21.176823 [ThreadId 95] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Syntax.hs" 2021-08-21 20:36:21.176846 [ThreadId 100] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Identity.hs" 2021-08-21 20:36:21.176926 [ThreadId 103] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Write.hs" 2021-08-21 20:36:21.176939 [ThreadId 98] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Interface.hs" 2021-08-21 20:36:21.176949 [ThreadId 96] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Notice.hs" 2021-08-21 20:36:21.176945 [ThreadId 99] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Kind.hs" 2021-08-21 20:36:21.176984 [ThreadId 108] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Semialign.hs" 2021-08-21 20:36:21.177005 [ThreadId 101] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Type/Expr.hs" 2021-08-21 20:36:21.177055 [ThreadId 94] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/test/Facet/Core/Type/Test.hs" 2021-08-21 20:36:21.177064 [ThreadId 107] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Write/Inject.hs" 2021-08-21 20:36:21.177076 [ThreadId 106] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Source.hs" 2021-08-21 20:36:21.177104 [ThreadId 109] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Driver.hs" 2021-08-21 20:36:21.177145 [ThreadId 102] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Semiring.hs" 2021-08-21 20:36:21.177198 [ThreadId 104] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Flat.hs" 2021-08-21 20:36:21.177203 [ThreadId 105] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Parser.hs" 2021-08-21 20:36:21.177405 [ThreadId 100] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Style.hs" 2021-08-21 20:36:21.177432 [ThreadId 98] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Type/Norm.hs" 2021-08-21 20:36:21.177768 [ThreadId 107] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Name.hs" 2021-08-21 20:36:21.178003 [ThreadId 106] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Timing.hs" 2021-08-21 20:36:21.178104 [ThreadId 109] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Time/System.hs" 2021-08-21 20:36:21.178223 [ThreadId 104] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/REPL/Parser.hs" 2021-08-21 20:36:21.178955 [ThreadId 96] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Profile.hs" 2021-08-21 20:36:21.179242 [ThreadId 104] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Snoc/NonEmpty.hs" 2021-08-21 20:36:21.179693 [ThreadId 181] INFO hls: Consulting the cradle for "src/Facet/Run.hs" Output from setting up the cradle Cradle {cradleRootDir = "/Users/rob/Projects/facet", cradleOptsProg = CradleAction: Cabal} > Build profile: -w ghc-8.10.4 -O1 > In order, the following will be built (use -v for more details): > - facet-0.0.0.0 (lib) (ephemeral targets) > Preprocessing library for facet-0.0.0.0.. 2021-08-21 20:36:21.727276 [ThreadId 181] DEBUG hls: Session loading result: Right (ComponentOptions {componentOptions = ["-fbuilding-cabal-package","-O0","-outputdir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-odir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-hidir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-stubdir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-i","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-isrc","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/global-autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/global-autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-optP-include","-optP/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen/cabal_macros.h","-this-unit-id","facet-0.0.0.0-inplace","-hide-all-packages","-Wmissing-home-modules","-no-user-package-db","-package-db","/Users/rob/.cabal/store/ghc-8.10.4/package.db","-package-db","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/packagedb/ghc-8.10.4","-package-db","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/package.conf.inplace","-package-id","ns-trmnl-0.11-d332bb3b","-package-id","base-4.14.1.0","-package-id","chrst-0.3.8-a0e7b049","-package-id","clr-2.3.6-868a862d","-package-id","containers-0.6.2.1","-package-id","directory-1.3.6.0","-package-id","exceptions-0.10.4","-package-id","filepath-1.4.2.1","-package-id","fsd-ffcts-1.1.1.1-c0383f12","-package-id","fsd-ffcts-lns-1.2.0.1-15850af1","-package-id","hskln-0.8.2-1e2f20b0","-package-id","lns-5.0.1-e5270881","-package-id","ptprs-pplctv-0.16.1.0-6e3cf8da","-package-id","prsrs-0.12.10-59538443","-package-id","prttyprntr-1.7.0-25d3904b","-package-id","prfnctrs-5.6.2-017b5f66","-package-id","smlgn-1.2-436beab0","-package-id","slkscrn-0.0.0.3-b6451ae3","-package-id","trmnl-sz-0.3.2.1-4b8e73a3","-package-id","text-1.2.4.1","-package-id","ths-1.1.1.1-5439e81f","-package-id","time-1.9.3","-package-id","transformers-0.5.6.2","-package-id","nrdrd-cntnrs-0.2.14.0-d5af2c74","-XHaskell2010","-XDeriveTraversable","-XDerivingStrategies","-XDerivingVia","-XDisambiguateRecordFields","-XDuplicateRecordFields","-XEmptyCase","-XFlexibleContexts","-XFlexibleInstances","-XGeneralizedNewtypeDeriving","-XKindSignatures","-XLambdaCase","-XMultiParamTypeClasses","-XMultiWayIf","-XNamedFieldPuns","-XRankNTypes","-XStandaloneDeriving","-XTupleSections","-XTypeApplications","-XTypeOperators","-XViewPatterns","Facet.Carrier.Error.Lens","Facet.Carrier.Output.IO","Facet.Carrier.Parser.Church","Facet.Carrier.Profile.Flat","Facet.Carrier.Profile.Identity","Facet.Carrier.Profile.Tree","Facet.Carrier.Readline.Haskeline","Facet.Carrier.State.Lens","Facet.Carrier.Throw.Inject","Facet.Carrier.Time.System","Facet.Carrier.Write.General","Facet.Carrier.Write.Inject","Facet.CLI","Facet.Context","Facet.Diff","Facet.Driver","Facet.Effect.Parser","Facet.Effect.Profile","Facet.Effect.Readline","Facet.Effect.Time","Facet.Effect.Time.System","Facet.Effect.Write","Facet.Elab","Facet.Elab.Term","Facet.Elab.Type","Facet.Env","Facet.Eval","Facet.Flag","Facet.Format","Facet.Graph","Facet.Interface","Facet.Kind","Facet.Lens","Facet.Lexer","Facet.Module","Facet.Name","Facet.Norm","Facet.Notice","Facet.Notice.Elab","Facet.Notice.Parser","Facet.Parser","Facet.Parser.Table","Facet.Pattern","Facet.Pretty","Facet.Print","Facet.REPL","Facet.REPL.Parser","Facet.Run","Facet.Semialign","Facet.Semiring","Facet.Snoc","Facet.Snoc.NonEmpty","Facet.Source","Facet.Span","Facet.Style","Facet.Subst","Facet.Surface","Facet.Syntax","Facet.Term","Facet.Timing","Facet.Type","Facet.Type.Expr","Facet.Type.Norm","Facet.Unify","Facet.Usage","Facet.Vars","Paths_facet","-Weverything","-Wno-all-missed-specialisations","-Wno-implicit-prelude","-Wno-missed-specialisations","-Wno-missing-import-lists","-Wno-missing-local-signatures","-Wno-monomorphism-restriction","-Wno-name-shadowing","-Wno-safe","-Wno-unsafe","-Wno-missing-deriving-strategies","-Wno-missing-safe-haskell-mode","-Wno-prepositive-qualified-module","-hide-all-packages"], componentRoot = "/Users/rob/Projects/facet", componentDependencies = ["facet.cabal","cabal.project","cabal.project.local"]},"/Users/rob/.ghcup/ghc/8.10.4/lib/ghc-8.10.4") 2021-08-21 20:36:21.834855 [ThreadId 181] INFO hls: Using interface files cache dir: /Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7 2021-08-21 20:36:21.835165 [ThreadId 181] INFO hls: Using interface files cache dir: /Users/rob/.cache/ghcide/main-72203b04c02247883891b56c8089177191a18e8d 2021-08-21 20:36:21.835411 [ThreadId 181] INFO hls: Making new HscEnv[facet-0.0.0.0-inplace,main] 2021-08-21 20:36:21.858726 [ThreadId 181] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 7),fromList [("/Users/rob/Projects/facet/hie.yaml",Just 2020-10-08 17:25:10.378415084 UTC),("cabal.project",Just 2020-10-27 11:08:42.814918986 UTC),("cabal.project.local",Nothing),("facet.cabal",Just 2021-06-07 17:52:52.396213008 UTC)]) 2021-08-21 20:36:21.954141 [ThreadId 181] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 8),fromList [("/Users/rob/Projects/facet/hie.yaml",Just 2020-10-08 17:25:10.378415084 UTC),("cabal.project",Just 2020-10-27 11:08:42.814918986 UTC),("cabal.project.local",Nothing),("facet.cabal",Just 2021-06-07 17:52:52.396213008 UTC)]) 2021-08-21 20:36:22.014329 [ThreadId 181] DEBUG hls: Known files updated: fromList [(TargetModule Facet.Type,fromList ["/Users/rob/Projects/facet/src/Facet/Type.hs"]),(TargetModule Facet.Carrier.Profile.Flat,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Flat.hs"]),(TargetModule Facet.Effect.Profile,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Profile.hs"]),(TargetModule Facet.Semiring,fromList ["/Users/rob/Projects/facet/src/Facet/Semiring.hs"]),(TargetModule Facet.Carrier.Write.Inject,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Write/Inject.hs"]),(TargetModule Facet.Span,fromList ["/Users/rob/Projects/facet/src/Facet/Span.hs"]),(TargetModule Facet.Timing,fromList ["/Users/rob/Projects/facet/src/Facet/Timing.hs"]),(TargetFile NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Run.hs",fromList ["/Users/rob/Projects/facet/src/Facet/Run.hs"]),(TargetModule Facet.Carrier.Time.System,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Time/System.hs"]),(TargetModule Facet.REPL.Parser,fromList ["/Users/rob/Projects/facet/src/Facet/REPL/Parser.hs"]),(TargetModule Facet.REPL,fromList ["/Users/rob/Projects/facet/src/Facet/REPL.hs"]),(TargetModule Facet.Parser,fromList ["/Users/rob/Projects/facet/src/Facet/Parser.hs"]),(TargetModule Facet.Parser.Table,fromList ["/Users/rob/Projects/facet/src/Facet/Parser/Table.hs"]),(TargetModule Facet.Carrier.Throw.Inject,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Throw/Inject.hs"]),(TargetModule Facet.Carrier.Parser.Church.Test,fromList ["/Users/rob/Projects/facet/test/Facet/Carrier/Parser/Church/Test.hs"]),(TargetFile NormalizedFilePath "/Users/rob/Projects/facet/test/Test.hs",fromList ["/Users/rob/Projects/facet/test/Test.hs"]),(TargetModule Facet.Pretty,fromList ["/Users/rob/Projects/facet/src/Facet/Pretty.hs"]),(TargetModule Facet.Run,fromList ["/Users/rob/Projects/facet/src/Facet/Run.hs"]),(TargetModule Facet.Effect.Time,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Time.hs"]),(TargetModule Facet.Carrier.Parser.Church,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Parser/Church.hs"]),(TargetModule Facet.Snoc,fromList ["/Users/rob/Projects/facet/src/Facet/Snoc.hs"]),(TargetModule Facet.Type.Expr,fromList ["/Users/rob/Projects/facet/src/Facet/Type/Expr.hs"]),(TargetModule Facet.Surface,fromList ["/Users/rob/Projects/facet/src/Facet/Surface.hs"]),(TargetModule Facet.Env,fromList ["/Users/rob/Projects/facet/src/Facet/Env.hs"]),(TargetModule Facet.Style,fromList ["/Users/rob/Projects/facet/src/Facet/Style.hs"]),(TargetModule Facet.Subst,fromList ["/Users/rob/Projects/facet/src/Facet/Subst.hs"]),(TargetModule Facet.Format,fromList ["/Users/rob/Projects/facet/src/Facet/Format.hs"]),(TargetModule Facet.Carrier.Profile.Identity,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Identity.hs"]),(TargetModule Facet.Effect.Time.System,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Time/System.hs"]),(TargetModule Facet.Vars,fromList ["/Users/rob/Projects/facet/src/Facet/Vars.hs"]),(TargetModule Facet.Notice,fromList ["/Users/rob/Projects/facet/src/Facet/Notice.hs"]),(TargetModule Facet.Print,fromList ["/Users/rob/Projects/facet/src/Facet/Print.hs"]),(TargetModule Facet.Kind,fromList ["/Users/rob/Projects/facet/src/Facet/Kind.hs"]),(TargetModule Facet.Elab,fromList ["/Users/rob/Projects/facet/src/Facet/Elab.hs"]),(TargetModule Facet.Lexer,fromList ["/Users/rob/Projects/facet/src/Facet/Lexer.hs"]),(TargetModule Facet.Effect.Parser,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Parser.hs"]),(TargetModule Facet.Driver,fromList ["/Users/rob/Projects/facet/src/Facet/Driver.hs"]),(TargetModule Facet.Carrier.Error.Lens,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Error/Lens.hs"]),(TargetModule Facet.Notice.Parser,fromList ["/Users/rob/Projects/facet/src/Facet/Notice/Parser.hs"]),(TargetModule Facet.Context,fromList ["/Users/rob/Projects/facet/src/Facet/Context.hs"]),(TargetModule Facet.Effect.Readline,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Readline.hs"]),(TargetModule Facet.Elab.Type,fromList ["/Users/rob/Projects/facet/src/Facet/Elab/Type.hs"]),(TargetModule Facet.Core.Type.Test,fromList ["/Users/rob/Projects/facet/test/Facet/Core/Type/Test.hs"]),(TargetModule Facet.Graph,fromList ["/Users/rob/Projects/facet/src/Facet/Graph.hs"]),(TargetModule Facet.Syntax,fromList ["/Users/rob/Projects/facet/src/Facet/Syntax.hs"]),(TargetModule Facet.Carrier.Readline.Haskeline,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Readline/Haskeline.hs"]),(TargetModule Facet.Module,fromList ["/Users/rob/Projects/facet/src/Facet/Module.hs"]),(TargetFile NormalizedFilePath "/Users/rob/Projects/facet/test/Facet/Source/Test.hs",fromList ["/Users/rob/Projects/facet/test/Facet/Source/Test.hs"]),(TargetModule Facet.Unify,fromList ["/Users/rob/Projects/facet/src/Facet/Unify.hs"]),(TargetModule Facet.Term,fromList ["/Users/rob/Projects/facet/src/Facet/Term.hs"]),(TargetModule Facet.Diff,fromList ["/Users/rob/Projects/facet/src/Facet/Diff.hs"]),(TargetModule Facet.Source,fromList ["/Users/rob/Projects/facet/src/Facet/Source.hs"]),(TargetModule Facet.Name,fromList ["/Users/rob/Projects/facet/src/Facet/Name.hs"]),(TargetModule Facet.Notice.Elab,fromList ["/Users/rob/Projects/facet/src/Facet/Notice/Elab.hs"]),(TargetModule Facet.Elab.Term,fromList ["/Users/rob/Projects/facet/src/Facet/Elab/Term.hs"]),(TargetModule Paths_facet,fromList ["/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen/Paths_facet.hs"]),(TargetModule Facet.Lens,fromList ["/Users/rob/Projects/facet/src/Facet/Lens.hs"]),(TargetModule Facet.Effect.Write,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Write.hs"]),(TargetModule Facet.Carrier.State.Lens,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/State/Lens.hs"]),(TargetModule Facet.CLI,fromList ["/Users/rob/Projects/facet/src/Facet/CLI.hs"]),(TargetModule Facet.Pattern,fromList ["/Users/rob/Projects/facet/src/Facet/Pattern.hs"]),(TargetModule Facet.Type.Norm,fromList ["/Users/rob/Projects/facet/src/Facet/Type/Norm.hs"]),(TargetModule Facet.Source.Test,fromList ["/Users/rob/Projects/facet/test/Facet/Source/Test.hs"]),(TargetModule Facet.Flag,fromList ["/Users/rob/Projects/facet/src/Facet/Flag.hs"]),(TargetModule Facet.Interface,fromList ["/Users/rob/Projects/facet/src/Facet/Interface.hs"]),(TargetModule Facet.Semialign,fromList ["/Users/rob/Projects/facet/src/Facet/Semialign.hs"]),(TargetModule Facet.Carrier.Write.General,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Write/General.hs"]),(TargetModule Facet.Snoc.NonEmpty,fromList ["/Users/rob/Projects/facet/src/Facet/Snoc/NonEmpty.hs"]),(TargetModule Facet.Carrier.Output.IO,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Output/IO.hs"]),(TargetModule Facet.Usage,fromList ["/Users/rob/Projects/facet/src/Facet/Usage.hs"]),(TargetModule Facet.Norm,fromList ["/Users/rob/Projects/facet/src/Facet/Norm.hs"]),(TargetModule Facet.Eval,fromList ["/Users/rob/Projects/facet/src/Facet/Eval.hs"]),(TargetModule Facet.Carrier.Profile.Tree,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Tree.hs"])] 2021-08-21 20:36:22.016017 [ThreadId 75] DEBUG hls: Finishing build session(exception: AsyncCancelled) 2021-08-21 20:36:22.016073 [ThreadId 181] DEBUG hls: Restarting build session for keys [GhcSessionIO; ] (aborting the previous one took 0.00s) 2021-08-21 20:36:22.029282 [ThreadId 265] INFO hls: Consulting the cradle for "facetc/Main.hs" Output from setting up the cradle Cradle {cradleRootDir = "/Users/rob/Projects/facet", cradleOptsProg = CradleAction: Cabal} 2021-08-21 20:36:22.029536 [ThreadId 265] DEBUG hls: Session loading result: Left [CradleError {cradleErrorDependencies = [], cradleErrorExitCode = ExitSuccess, cradleErrorStderr = ["Multi Cradle: No prefixes matched","pwd: /Users/rob/Projects/facet","filepath: /Users/rob/Projects/facet/facetc/Main.hs","prefixes:","(\"./src\",Cabal {component = Just \"lib:facet\"})","(\"./test\",Cabal {component = Just \"test\"})"]}] 2021-08-21 20:36:22.030398 [ThreadId 269] INFO hls: Consulting the cradle for "Setup.hs" Output from setting up the cradle Cradle {cradleRootDir = "/Users/rob/Projects/facet", cradleOptsProg = CradleAction: Cabal} 2021-08-21 20:36:22.030611 [ThreadId 269] DEBUG hls: Session loading result: Left [CradleError {cradleErrorDependencies = [], cradleErrorExitCode = ExitSuccess, cradleErrorStderr = ["Multi Cradle: No prefixes matched","pwd: /Users/rob/Projects/facet","filepath: /Users/rob/Projects/facet/Setup.hs","prefixes:","(\"./src\",Cabal {component = Just \"lib:facet\"})","(\"./test\",Cabal {component = Just \"test\"})"]}] 2021-08-21 20:36:22.044092 [ThreadId 234] INFO hls: File: /Users/rob/Projects/facet/Setup.hs Hidden: no Range: 1:1-2:1 Source: cradle Severity: DsError Message: Multi Cradle: No prefixes matched pwd: /Users/rob/Projects/facet filepath: /Users/rob/Projects/facet/Setup.hs prefixes: ("./src",Cabal {component = Just "lib:facet"}) ("./test",Cabal {component = Just "test"}) 2021-08-21 20:36:22.044887 [ThreadId 236] INFO hls: File: /Users/rob/Projects/facet/facetc/Main.hs Hidden: no Range: 1:1-2:1 Source: cradle Severity: DsError Message: Multi Cradle: No prefixes matched pwd: /Users/rob/Projects/facet filepath: /Users/rob/Projects/facet/facetc/Main.hs prefixes: ("./src",Cabal {component = Just "lib:facet"}) ("./test",Cabal {component = Just "test"}) 2021-08-21 20:36:22.047696 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/CLI.hs" 2021-08-21 20:36:22.047767 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Time/System.hs" 2021-08-21 20:36:22.047816 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Interface.hs" 2021-08-21 20:36:22.04786 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Notice.hs" 2021-08-21 20:36:22.047903 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Elab/Term.hs" 2021-08-21 20:36:22.047946 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Type.hs" 2021-08-21 20:36:22.04794 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Identity.hs" 2021-08-21 20:36:22.047991 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Write/General.hs" 2021-08-21 20:36:22.048013 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Diff.hs" 2021-08-21 20:36:22.048124 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Vars.hs" 2021-08-21 20:36:22.048147 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Type/Expr.hs" 2021-08-21 20:36:22.048185 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Snoc/NonEmpty.hs" 2021-08-21 20:36:22.048203 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/test/Test.hs" 2021-08-21 20:36:22.04823 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Pattern.hs" 2021-08-21 20:36:22.048299 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Output/IO.hs" 2021-08-21 20:36:22.048322 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Write/Inject.hs" 2021-08-21 20:36:22.048344 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Profile.hs" 2021-08-21 20:36:22.048374 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Syntax.hs" 2021-08-21 20:36:22.048466 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Time.hs" 2021-08-21 20:36:22.04851 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/REPL/Parser.hs" 2021-08-21 20:36:22.048549 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Module.hs" 2021-08-21 20:36:22.048545 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Graph.hs" 2021-08-21 20:36:22.04857 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Write.hs" 2021-08-21 20:36:22.048596 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Lens.hs" 2021-08-21 20:36:22.048631 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Surface.hs" 2021-08-21 20:36:22.048648 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Name.hs" 2021-08-21 20:36:22.048688 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Snoc.hs" 2021-08-21 20:36:22.048722 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Norm.hs" 2021-08-21 20:36:22.048741 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Source.hs" 2021-08-21 20:36:22.048783 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Parser/Table.hs" 2021-08-21 20:36:22.048826 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Flag.hs" 2021-08-21 20:36:22.048866 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Flat.hs" 2021-08-21 20:36:22.048879 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/State/Lens.hs" 2021-08-21 20:36:22.048895 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Readline.hs" 2021-08-21 20:36:22.048946 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Eval.hs" 2021-08-21 20:36:22.048968 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Parser.hs" 2021-08-21 20:36:22.04906 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Elab/Type.hs" 2021-08-21 20:36:22.049082 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Kind.hs" 2021-08-21 20:36:22.049111 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Error/Lens.hs" 2021-08-21 20:36:22.049132 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/REPL.hs" 2021-08-21 20:36:22.049285 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Notice/Parser.hs" 2021-08-21 20:36:22.049289 [ThreadId 233] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Readline/Haskeline.hs" 2021-08-21 20:36:22.049316 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Term.hs" 2021-08-21 20:36:22.049539 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Format.hs" 2021-08-21 20:36:22.049586 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Env.hs" 2021-08-21 20:36:22.049612 [ThreadId 233] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Span.hs" 2021-08-21 20:36:22.049627 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/Setup.hs" 2021-08-21 20:36:22.049672 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Timing.hs" 2021-08-21 20:36:22.049687 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Type/Norm.hs" 2021-08-21 20:36:22.04974 [ThreadId 233] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Print.hs" 2021-08-21 20:36:22.049752 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Unify.hs" 2021-08-21 20:36:22.04982 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/facetc/Main.hs" 2021-08-21 20:36:22.049879 [ThreadId 233] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Elab.hs" 2021-08-21 20:36:22.049892 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Style.hs" 2021-08-21 20:36:22.049933 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/test/Facet/Core/Type/Test.hs" 2021-08-21 20:36:22.049926 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Subst.hs" 2021-08-21 20:36:22.049956 [ThreadId 233] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Parser/Church.hs" 2021-08-21 20:36:22.050021 [ThreadId 232] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Driver.hs" 2021-08-21 20:36:22.050046 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Semialign.hs" 2021-08-21 20:36:22.050071 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Parser.hs" 2021-08-21 20:36:22.050084 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Lexer.hs" 2021-08-21 20:36:22.050107 [ThreadId 233] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Pretty.hs" 2021-08-21 20:36:22.050182 [ThreadId 232] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Semiring.hs" 2021-08-21 20:36:22.050232 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Throw/Inject.hs" 2021-08-21 20:36:22.050259 [ThreadId 230] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Effect/Time/System.hs" 2021-08-21 20:36:22.050311 [ThreadId 243] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/test/Facet/Carrier/Parser/Church/Test.hs" 2021-08-21 20:36:22.050331 [ThreadId 233] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Run.hs" 2021-08-21 20:36:22.050407 [ThreadId 232] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Notice/Elab.hs" 2021-08-21 20:36:22.050434 [ThreadId 244] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/test/Facet/Source/Test.hs" 2021-08-21 20:36:22.05265 [ThreadId 228] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Usage.hs" 2021-08-21 20:36:22.05267 [ThreadId 233] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Context.hs" 2021-08-21 20:36:22.052763 [ThreadId 234] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Tree.hs" 2021-08-21 20:36:24.679365 [ThreadId 2069] INFO hls: finish: User TypeCheck (took 2.66s) 2021-08-21 20:36:24.698732 [ThreadId 2080] INFO hls: finish: GetHie (took 0.02s) 2021-08-21 20:36:24.720288 [ThreadId 2085] INFO hls: finish: GenerateCore (took 0.02s) Files that failed: * /Users/rob/Projects/facet/Setup.hs * /Users/rob/Projects/facet/facetc/Main.hs Completed (70 files worked, 2 files failed) ```

Paste the logs from the lsp-client, e.g. for VS Code

LSP logs: ``` [client][INFO] Searching for server executables haskell-language-server-wrapper,haskell-language-server in $PATH [client][INFO] Found server executable in $PATH: haskell-language-server-wrapper [client][INFO] Activating the language server in the workspace folder: /Users/rob/Projects/facet [client][INFO] run command: haskell-language-server-wrapper --lsp -d [client][INFO] debug command: haskell-language-server-wrapper --lsp -d [client][INFO] document selector patten: /Users/rob/Projects/facet/**/* [client][INFO] Starting language server Found "/Users/rob/Projects/facet/hie.yaml" for "/Users/rob/Projects/facet/a" Run entered for haskell-language-server-wrapper(haskell-language-server-wrapper) Version 1.3.0.0, Git revision e7c5e90b6df5dff2760d76169eddaea3bdd6a831 (dirty) x86_64 ghc-8.10.4 Current directory: /Users/rob/Projects/facet Operating system: darwin Arguments: ["--lsp","-d"] Cradle directory: /Users/rob/Projects/facet Cradle type: Cabal Tool versions found on the $PATH cabal: 3.4.0.0 stack: Not found ghc: 8.10.4 Consulting the cradle to get project GHC version... Project GHC version: 8.10.4 haskell-language-server exe candidates: ["haskell-language-server-8.10.4","haskell-language-server"] Launching haskell-language-server exe at:/Users/rob/.ghcup/bin/haskell-language-server-8.10.4 haskell-language-server version: 1.3.0.0 (GHC: 8.10.4) (PATH: /Users/rob/.ghcup/bin/haskell-language-server-8.10.4~1.3.0) (GIT hash: e7c5e90b6df5dff2760d76169eddaea3bdd6a831) Starting (haskell-language-server)LSP server... with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = True, 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: /Users/rob/Projects/facet Starting LSP server... If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option! Started LSP server in 0.00s setInitialDynFlags cradle: Cradle {cradleRootDir = "/Users/rob/Projects/facet", cradleOptsProg = CradleAction: Cabal} 2021-08-21 20:39:05.694965 [ThreadId 11] DEBUG hls: Initializing exports map from hiedb 2021-08-21 20:39:06.035212 [ThreadId 5] INFO hls: Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri 7683684524495176439 "file:///Users/rob/Projects/facet"], clientSettings = hashed Nothing} 2021-08-21 20:39:06.046673 [ThreadId 29] DEBUG hls: Configuration changed: Object (fromList [("haskell",Object (fromList [("diagnosticsOnChange",Bool True),("formatOnImportOn",Bool True),("formattingProvider",String "stylish-haskell"),("hlint",Object (fromList [("logLevel",String "warn"),("run",String "onSave")])),("indentationRules",Object (fromList [("enabled",Bool True)])),("logFile",String ""),("plugin",Object (fromList [("class",Object (fromList [("globalOn",Bool True)])),("eval",Object (fromList [("globalOn",Bool True)])),("ghcide-completions",Object (fromList [("config",Object (fromList [("autoExtendOn",Bool True),("snippetsOn",Bool True)]))])),("ghcide-type-lenses",Object (fromList [("config",Object (fromList [("mode",Bool True)])),("globalOn",Bool True)])),("haddockComments",Object (fromList [("globalOn",Bool True)])),("hlint",Object (fromList [("codeActionsOn",Bool True),("config",Object (fromList [("flags",Array [])])),("diagnosticsOn",Bool True)])),("importLens",Object (fromList [("codeActionsOn",Bool True),("codeLensOn",Bool True)])),("moduleName",Object (fromList [("globalOn",Bool True)])),("pragmas",Object (fromList [("codeActionsOn",Bool True),("completionOn",Bool True)])),("retrie",Object (fromList [("globalOn",Bool True)])),("splice",Object (fromList [("globalOn",Bool True)])),("tactics",Object (fromList [("config",Object (fromList [("auto_gas",Number 4.0),("hole_severity",Null),("max_use_ctor_actions",Number 5.0),("proofstate_styling",Bool True),("timeout_duration",Number 2.0)])),("globalOn",Bool True)]))])),("releasesURL",String ""),("serverExecutablePath",String ""),("trace",Object (fromList [("client",String "debug"),("server",String "messages")])),("updateBehavior",String "keep-up-to-date")]))]) 2021-08-21 20:39:06.047252 [ThreadId 32] DEBUG hls: Finishing build session(exception: AsyncCancelled) 2021-08-21 20:39:06.047759 [ThreadId 29] DEBUG hls: Restarting build session for keys [GetClientSettings; ] (aborting the previous one took 0.00s) 2021-08-21 20:39:06.04933 [ThreadId 29] DEBUG hls: Set files of interest to: fromList [] 2021-08-21 20:39:06.049452 [ThreadId 44] DEBUG hls: Finishing build session(exception: AsyncCancelled) 2021-08-21 20:39:06.049501 [ThreadId 29] DEBUG hls: Restarting build session for keys [IsFileOfInterest; /Users/rob/Projects/facet/src/Facet/Semiring.hs,GetModificationTime_ {missingFileDiagnostics = True}; /Users/rob/Projects/facet/src/Facet/Semiring.hs,GetClientSettings; ] (aborting the previous one took 0.00s) 2021-08-21 20:39:06.049609 [ThreadId 29] DEBUG hls: Opened text document: file:///Users/rob/Projects/facet/src/Facet/Semiring.hs 2021-08-21 20:39:06.050349 [ThreadId 111] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Semiring.hs" 2021-08-21 20:39:06.050783 [ThreadId 112] INFO hls: Consulting the cradle for "src/Facet/Semiring.hs" Output from setting up the cradle Cradle {cradleRootDir = "/Users/rob/Projects/facet", cradleOptsProg = CradleAction: Cabal} 2021-08-21 20:39:06.057061 [ThreadId 11] DEBUG hls: Done initializing exports map from hiedb (1087) > Build profile: -w ghc-8.10.4 -O1 > In order, the following will be built (use -v for more details): > - facet-0.0.0.0 (lib) (ephemeral targets) > Preprocessing library for facet-0.0.0.0.. 2021-08-21 20:39:06.294416 [ThreadId 130] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "fp" "/Users/rob/Projects/facet/src/Facet/Semiring.hs" 2021-08-21 20:39:06.597209 [ThreadId 112] DEBUG hls: Session loading result: Right (ComponentOptions {componentOptions = ["-fbuilding-cabal-package","-O0","-outputdir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-odir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-hidir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-stubdir","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-i","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-isrc","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen","-i/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/global-autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/global-autogen","-I/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build","-optP-include","-optP/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen/cabal_macros.h","-this-unit-id","facet-0.0.0.0-inplace","-hide-all-packages","-Wmissing-home-modules","-no-user-package-db","-package-db","/Users/rob/.cabal/store/ghc-8.10.4/package.db","-package-db","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/packagedb/ghc-8.10.4","-package-db","/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/package.conf.inplace","-package-id","ns-trmnl-0.11-d332bb3b","-package-id","base-4.14.1.0","-package-id","chrst-0.3.8-a0e7b049","-package-id","clr-2.3.6-868a862d","-package-id","containers-0.6.2.1","-package-id","directory-1.3.6.0","-package-id","exceptions-0.10.4","-package-id","filepath-1.4.2.1","-package-id","fsd-ffcts-1.1.1.1-c0383f12","-package-id","fsd-ffcts-lns-1.2.0.1-15850af1","-package-id","hskln-0.8.2-1e2f20b0","-package-id","lns-5.0.1-e5270881","-package-id","ptprs-pplctv-0.16.1.0-6e3cf8da","-package-id","prsrs-0.12.10-59538443","-package-id","prttyprntr-1.7.0-25d3904b","-package-id","prfnctrs-5.6.2-017b5f66","-package-id","smlgn-1.2-436beab0","-package-id","slkscrn-0.0.0.3-b6451ae3","-package-id","trmnl-sz-0.3.2.1-4b8e73a3","-package-id","text-1.2.4.1","-package-id","ths-1.1.1.1-5439e81f","-package-id","time-1.9.3","-package-id","transformers-0.5.6.2","-package-id","nrdrd-cntnrs-0.2.14.0-d5af2c74","-XHaskell2010","-XDeriveTraversable","-XDerivingStrategies","-XDerivingVia","-XDisambiguateRecordFields","-XDuplicateRecordFields","-XEmptyCase","-XFlexibleContexts","-XFlexibleInstances","-XGeneralizedNewtypeDeriving","-XKindSignatures","-XLambdaCase","-XMultiParamTypeClasses","-XMultiWayIf","-XNamedFieldPuns","-XRankNTypes","-XStandaloneDeriving","-XTupleSections","-XTypeApplications","-XTypeOperators","-XViewPatterns","Facet.Carrier.Error.Lens","Facet.Carrier.Output.IO","Facet.Carrier.Parser.Church","Facet.Carrier.Profile.Flat","Facet.Carrier.Profile.Identity","Facet.Carrier.Profile.Tree","Facet.Carrier.Readline.Haskeline","Facet.Carrier.State.Lens","Facet.Carrier.Throw.Inject","Facet.Carrier.Time.System","Facet.Carrier.Write.General","Facet.Carrier.Write.Inject","Facet.CLI","Facet.Context","Facet.Diff","Facet.Driver","Facet.Effect.Parser","Facet.Effect.Profile","Facet.Effect.Readline","Facet.Effect.Time","Facet.Effect.Time.System","Facet.Effect.Write","Facet.Elab","Facet.Elab.Term","Facet.Elab.Type","Facet.Env","Facet.Eval","Facet.Flag","Facet.Format","Facet.Graph","Facet.Interface","Facet.Kind","Facet.Lens","Facet.Lexer","Facet.Module","Facet.Name","Facet.Norm","Facet.Notice","Facet.Notice.Elab","Facet.Notice.Parser","Facet.Parser","Facet.Parser.Table","Facet.Pattern","Facet.Pretty","Facet.Print","Facet.REPL","Facet.REPL.Parser","Facet.Run","Facet.Semialign","Facet.Semiring","Facet.Snoc","Facet.Snoc.NonEmpty","Facet.Source","Facet.Span","Facet.Style","Facet.Subst","Facet.Surface","Facet.Syntax","Facet.Term","Facet.Timing","Facet.Type","Facet.Type.Expr","Facet.Type.Norm","Facet.Unify","Facet.Usage","Facet.Vars","Paths_facet","-Weverything","-Wno-all-missed-specialisations","-Wno-implicit-prelude","-Wno-missed-specialisations","-Wno-missing-import-lists","-Wno-missing-local-signatures","-Wno-monomorphism-restriction","-Wno-name-shadowing","-Wno-safe","-Wno-unsafe","-Wno-missing-deriving-strategies","-Wno-missing-safe-haskell-mode","-Wno-prepositive-qualified-module","-hide-all-packages"], componentRoot = "/Users/rob/Projects/facet", componentDependencies = ["facet.cabal","cabal.project","cabal.project.local"]},"/Users/rob/.ghcup/ghc/8.10.4/lib/ghc-8.10.4") 2021-08-21 20:39:06.699064 [ThreadId 112] INFO hls: Using interface files cache dir: /Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7 2021-08-21 20:39:06.699545 [ThreadId 112] INFO hls: Making new HscEnv[facet-0.0.0.0-inplace] 2021-08-21 20:39:06.723608 [ThreadId 112] DEBUG hls: New Component Cache HscEnvEq: (([],Just HscEnvEq 22),fromList [("/Users/rob/Projects/facet/hie.yaml",Just 2020-10-08 17:25:10.378415084 UTC),("cabal.project",Just 2020-10-27 11:08:42.814918986 UTC),("cabal.project.local",Nothing),("facet.cabal",Just 2021-06-07 17:52:52.396213008 UTC)]) 2021-08-21 20:39:06.88033 [ThreadId 112] DEBUG hls: Known files updated: fromList [(TargetModule Facet.Type,fromList ["/Users/rob/Projects/facet/src/Facet/Type.hs"]),(TargetModule Facet.Carrier.Profile.Flat,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Flat.hs"]),(TargetModule Facet.Effect.Profile,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Profile.hs"]),(TargetModule Facet.Semiring,fromList ["/Users/rob/Projects/facet/src/Facet/Semiring.hs"]),(TargetModule Facet.Carrier.Write.Inject,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Write/Inject.hs"]),(TargetModule Facet.Span,fromList ["/Users/rob/Projects/facet/src/Facet/Span.hs"]),(TargetModule Facet.Timing,fromList ["/Users/rob/Projects/facet/src/Facet/Timing.hs"]),(TargetModule Facet.Carrier.Time.System,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Time/System.hs"]),(TargetModule Facet.REPL.Parser,fromList ["/Users/rob/Projects/facet/src/Facet/REPL/Parser.hs"]),(TargetModule Facet.REPL,fromList ["/Users/rob/Projects/facet/src/Facet/REPL.hs"]),(TargetModule Facet.Parser,fromList ["/Users/rob/Projects/facet/src/Facet/Parser.hs"]),(TargetModule Facet.Parser.Table,fromList ["/Users/rob/Projects/facet/src/Facet/Parser/Table.hs"]),(TargetModule Facet.Carrier.Throw.Inject,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Throw/Inject.hs"]),(TargetModule Facet.Pretty,fromList ["/Users/rob/Projects/facet/src/Facet/Pretty.hs"]),(TargetFile NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Semiring.hs",fromList ["/Users/rob/Projects/facet/src/Facet/Semiring.hs"]),(TargetModule Facet.Run,fromList ["/Users/rob/Projects/facet/src/Facet/Run.hs"]),(TargetModule Facet.Effect.Time,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Time.hs"]),(TargetModule Facet.Carrier.Parser.Church,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Parser/Church.hs"]),(TargetModule Facet.Snoc,fromList ["/Users/rob/Projects/facet/src/Facet/Snoc.hs"]),(TargetModule Facet.Type.Expr,fromList ["/Users/rob/Projects/facet/src/Facet/Type/Expr.hs"]),(TargetModule Facet.Surface,fromList ["/Users/rob/Projects/facet/src/Facet/Surface.hs"]),(TargetModule Facet.Env,fromList ["/Users/rob/Projects/facet/src/Facet/Env.hs"]),(TargetModule Facet.Style,fromList ["/Users/rob/Projects/facet/src/Facet/Style.hs"]),(TargetModule Facet.Subst,fromList ["/Users/rob/Projects/facet/src/Facet/Subst.hs"]),(TargetModule Facet.Format,fromList ["/Users/rob/Projects/facet/src/Facet/Format.hs"]),(TargetModule Facet.Carrier.Profile.Identity,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Identity.hs"]),(TargetModule Facet.Effect.Time.System,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Time/System.hs"]),(TargetModule Facet.Vars,fromList ["/Users/rob/Projects/facet/src/Facet/Vars.hs"]),(TargetModule Facet.Notice,fromList ["/Users/rob/Projects/facet/src/Facet/Notice.hs"]),(TargetModule Facet.Print,fromList ["/Users/rob/Projects/facet/src/Facet/Print.hs"]),(TargetModule Facet.Kind,fromList ["/Users/rob/Projects/facet/src/Facet/Kind.hs"]),(TargetModule Facet.Elab,fromList ["/Users/rob/Projects/facet/src/Facet/Elab.hs"]),(TargetModule Facet.Lexer,fromList ["/Users/rob/Projects/facet/src/Facet/Lexer.hs"]),(TargetModule Facet.Effect.Parser,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Parser.hs"]),(TargetModule Facet.Driver,fromList ["/Users/rob/Projects/facet/src/Facet/Driver.hs"]),(TargetModule Facet.Carrier.Error.Lens,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Error/Lens.hs"]),(TargetModule Facet.Notice.Parser,fromList ["/Users/rob/Projects/facet/src/Facet/Notice/Parser.hs"]),(TargetModule Facet.Context,fromList ["/Users/rob/Projects/facet/src/Facet/Context.hs"]),(TargetModule Facet.Effect.Readline,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Readline.hs"]),(TargetModule Facet.Elab.Type,fromList ["/Users/rob/Projects/facet/src/Facet/Elab/Type.hs"]),(TargetModule Facet.Graph,fromList ["/Users/rob/Projects/facet/src/Facet/Graph.hs"]),(TargetModule Facet.Syntax,fromList ["/Users/rob/Projects/facet/src/Facet/Syntax.hs"]),(TargetModule Facet.Carrier.Readline.Haskeline,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Readline/Haskeline.hs"]),(TargetModule Facet.Module,fromList ["/Users/rob/Projects/facet/src/Facet/Module.hs"]),(TargetModule Facet.Unify,fromList ["/Users/rob/Projects/facet/src/Facet/Unify.hs"]),(TargetModule Facet.Term,fromList ["/Users/rob/Projects/facet/src/Facet/Term.hs"]),(TargetModule Facet.Diff,fromList ["/Users/rob/Projects/facet/src/Facet/Diff.hs"]),(TargetModule Facet.Source,fromList ["/Users/rob/Projects/facet/src/Facet/Source.hs"]),(TargetModule Facet.Name,fromList ["/Users/rob/Projects/facet/src/Facet/Name.hs"]),(TargetModule Facet.Notice.Elab,fromList ["/Users/rob/Projects/facet/src/Facet/Notice/Elab.hs"]),(TargetModule Facet.Elab.Term,fromList ["/Users/rob/Projects/facet/src/Facet/Elab/Term.hs"]),(TargetModule Paths_facet,fromList ["/Users/rob/.cache/hie-bios/dist-facet-c18917619c9216bd9d343de3e7c3769b/build/x86_64-osx/ghc-8.10.4/facet-0.0.0.0/build/autogen/Paths_facet.hs"]),(TargetModule Facet.Lens,fromList ["/Users/rob/Projects/facet/src/Facet/Lens.hs"]),(TargetModule Facet.Effect.Write,fromList ["/Users/rob/Projects/facet/src/Facet/Effect/Write.hs"]),(TargetModule Facet.Carrier.State.Lens,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/State/Lens.hs"]),(TargetModule Facet.CLI,fromList ["/Users/rob/Projects/facet/src/Facet/CLI.hs"]),(TargetModule Facet.Pattern,fromList ["/Users/rob/Projects/facet/src/Facet/Pattern.hs"]),(TargetModule Facet.Type.Norm,fromList ["/Users/rob/Projects/facet/src/Facet/Type/Norm.hs"]),(TargetModule Facet.Flag,fromList ["/Users/rob/Projects/facet/src/Facet/Flag.hs"]),(TargetModule Facet.Interface,fromList ["/Users/rob/Projects/facet/src/Facet/Interface.hs"]),(TargetModule Facet.Semialign,fromList ["/Users/rob/Projects/facet/src/Facet/Semialign.hs"]),(TargetModule Facet.Carrier.Write.General,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Write/General.hs"]),(TargetModule Facet.Snoc.NonEmpty,fromList ["/Users/rob/Projects/facet/src/Facet/Snoc/NonEmpty.hs"]),(TargetModule Facet.Carrier.Output.IO,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Output/IO.hs"]),(TargetModule Facet.Usage,fromList ["/Users/rob/Projects/facet/src/Facet/Usage.hs"]),(TargetModule Facet.Norm,fromList ["/Users/rob/Projects/facet/src/Facet/Norm.hs"]),(TargetModule Facet.Eval,fromList ["/Users/rob/Projects/facet/src/Facet/Eval.hs"]),(TargetModule Facet.Carrier.Profile.Tree,fromList ["/Users/rob/Projects/facet/src/Facet/Carrier/Profile/Tree.hs"])] 2021-08-21 20:39:06.881152 [ThreadId 68] DEBUG hls: Finishing build session(exception: AsyncCancelled) 2021-08-21 20:39:06.881209 [ThreadId 112] DEBUG hls: Restarting build session for keys [IsFileOfInterest; /Users/rob/Projects/facet/src/Facet/Semiring.hs,GetModificationTime_ {missingFileDiagnostics = True}; /Users/rob/Projects/facet/src/Facet/Semiring.hs,GhcSessionIO; ] (aborting the previous one took 0.00s) 2021-08-21 20:39:06.882289 [ThreadId 231] DEBUG hls: hlint:getIdeas:file:NormalizedFilePath "/Users/rob/Projects/facet/src/Facet/Semiring.hs" 2021-08-21 20:39:06.898738 [ThreadId 362] INFO hls: finish: ModuleName.ghcSession (took 0.02s) 2021-08-21 20:39:06.902625 [ThreadId 352] INFO hls: finish: Wingman.getIdeDynflags.GetModSummaryWithoutTimestamps (took 0.02s) 2021-08-21 20:39:06.904415 [ThreadId 371] INFO hls: finish: eval.GetParsedModuleWithComments (took 0.02s) 2021-08-21 20:39:06.904444 [ThreadId 364] INFO hls: finish: HaddockComments.GetAnnotatedParsedSource (took 0.02s) 2021-08-21 20:39:06.904527 [ThreadId 366] INFO hls: finish: Outline (took 0.02s) 2021-08-21 20:39:06.904557 [ThreadId 371] INFO hls: finish: Pragmas.GetParsedModule (took 0.02s) 2021-08-21 20:39:06.904562 [ThreadId 364] INFO hls: finish: splice.codeAction.GitHieAst (took 0.02s) 2021-08-21 20:39:06.904596 [ThreadId 366] INFO hls: finish: GhcideCodeActions.getParsedModule (took 0.02s) 2021-08-21 20:39:06.904647 [ThreadId 371] INFO hls: finish: RefineImports (took 0.02s) 2021-08-21 20:39:06.904671 [ThreadId 364] INFO hls: finish: importLens (took 0.02s) 2021-08-21 20:39:06.904702 [ThreadId 366] INFO hls: finish: ModuleName.GetParsedModule (took 0.01s) 2021-08-21 20:39:06.904758 [ThreadId 371] INFO hls: finish: Wingman.codeLensProvider.GetAnnotatedParsedSource (took 0.00s) 2021-08-21 20:39:06.904809 [ThreadId 364] INFO hls: finish: Pragmas.GetFileContents (took 0.00s) 2021-08-21 20:39:06.90442 [ThreadId 130] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "excluded comments" "[]" 2021-08-21 20:39:06.909973 [ThreadId 130] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 2, _character = 2}, _end = Position {_line = 2, _character = 23}},RawLineComment {getRawLineComment = \"-- * Semiring classes\"}),(Range {_start = Position {_line = 6, _character = 2}, _end = Position {_line = 6, _character = 21}},RawLineComment {getRawLineComment = \"-- * Module classes\"}),(Range {_start = Position {_line = 9, _character = 2}, _end = Position {_line = 9, _character = 25}},RawLineComment {getRawLineComment = \"-- * Semiring datatypes\"}),(Range {_start = Position {_line = 14, _character = 0}, _end = Position {_line = 14, _character = 19}},RawLineComment {getRawLineComment = \"-- Semiring classes\"}),(Range {_start = Position {_line = 16, _character = 0}, _end = Position {_line = 16, _character = 86}},RawLineComment {getRawLineComment = \"-- | Semirings extend 'Semigroup's with an '><' (multiplication) operation satisfying:\"}),(Range {_start = Position {_line = 17, _character = 0}, _end = Position {_line = 17, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 17}},RawLineComment {getRawLineComment = \"-- Associativity:\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 20, _character = 0}, _end = Position {_line = 20, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 32}},RawLineComment {getRawLineComment = \"-- a >< (b >< c) \\8801 (a >< b) >< c\"}),(Range {_start = Position {_line = 22, _character = 0}, _end = Position {_line = 22, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 23, _character = 0}, _end = Position {_line = 23, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 23}},RawLineComment {getRawLineComment = \"-- Left-distributivity:\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 27, _character = 0}, _end = Position {_line = 27, _character = 39}},RawLineComment {getRawLineComment = \"-- a >< (b <> c) \\8801 (a >< b) <> (a >< c)\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 30, _character = 0}, _end = Position {_line = 30, _character = 24}},RawLineComment {getRawLineComment = \"-- Right-distributivity:\"}),(Range {_start = Position {_line = 31, _character = 0}, _end = Position {_line = 31, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 32, _character = 0}, _end = Position {_line = 32, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 39}},RawLineComment {getRawLineComment = \"-- (a <> b) >< c \\8801 (a >< c) <> (b >< c)\"}),(Range {_start = Position {_line = 34, _character = 0}, _end = Position {_line = 34, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 35, _character = 0}, _end = Position {_line = 35, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 36, _character = 0}, _end = Position {_line = 36, _character = 199}},RawLineComment {getRawLineComment = \"-- Contrary to many presentations, we do not require '<>' (addition) to be commutative, or for the type to be a 'Monoid'. However, if it /is/ a 'Monoid', then we additionally require '><' to satisfy:\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 38, _character = 0}, _end = Position {_line = 38, _character = 21}},RawLineComment {getRawLineComment = \"-- Left-annihilation:\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 40, _character = 0}, _end = Position {_line = 40, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 41, _character = 0}, _end = Position {_line = 41, _character = 19}},RawLineComment {getRawLineComment = \"-- zero >< a \\8801 zero\"}),(Range {_start = Position {_line = 42, _character = 0}, _end = Position {_line = 42, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 44, _character = 0}, _end = Position {_line = 44, _character = 22}},RawLineComment {getRawLineComment = \"-- Right-annihilation:\"}),(Range {_start = Position {_line = 45, _character = 0}, _end = Position {_line = 45, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 46, _character = 0}, _end = Position {_line = 46, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 19}},RawLineComment {getRawLineComment = \"-- a >< zero \\8801 zero\"}),(Range {_start = Position {_line = 48, _character = 0}, _end = Position {_line = 48, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 49, _character = 0}, _end = Position {_line = 49, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 50, _character = 0}, _end = Position {_line = 50, _character = 57}},RawLineComment {getRawLineComment = \"-- where 'zero' is a synonym for 'mempty', defined below.\"}),(Range {_start = Position {_line = 65, _character = 0}, _end = Position {_line = 65, _character = 88}},RawLineComment {getRawLineComment = \"-- | Unital semirings extend 'Semiring's with a multiplicative unit, 'one', satisfyiing:\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 67, _character = 0}, _end = Position {_line = 67, _character = 17}},RawLineComment {getRawLineComment = \"-- Left-identity:\"}),(Range {_start = Position {_line = 68, _character = 0}, _end = Position {_line = 68, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 69, _character = 0}, _end = Position {_line = 69, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 70, _character = 0}, _end = Position {_line = 70, _character = 15}},RawLineComment {getRawLineComment = \"-- one >< a \\8801 a\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 72, _character = 0}, _end = Position {_line = 72, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 73, _character = 0}, _end = Position {_line = 73, _character = 18}},RawLineComment {getRawLineComment = \"-- Right-identity:\"}),(Range {_start = Position {_line = 74, _character = 0}, _end = Position {_line = 74, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 75, _character = 0}, _end = Position {_line = 75, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 76, _character = 0}, _end = Position {_line = 76, _character = 15}},RawLineComment {getRawLineComment = \"-- a >< one \\8801 a\"}),(Range {_start = Position {_line = 77, _character = 0}, _end = Position {_line = 77, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 95, _character = 0}, _end = Position {_line = 95, _character = 17}},RawLineComment {getRawLineComment = \"-- Module classes\"}),(Range {_start = Position {_line = 97, _character = 0}, _end = Position {_line = 97, _character = 134}},RawLineComment {getRawLineComment = \"-- | A left /R/-module /M/ (for a 'Semiring' /R/) is a 'Semigroup' extended with a '><<' (scalar multiplication) operation satisfying:\"}),(Range {_start = Position {_line = 98, _character = 0}, _end = Position {_line = 98, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 47}},RawLineComment {getRawLineComment = \"-- Left-distributivity of ><< over <> (on /M/):\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 101, _character = 0}, _end = Position {_line = 101, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 102, _character = 0}, _end = Position {_line = 102, _character = 38}},RawLineComment {getRawLineComment = \"-- r ><< (m <> n) \\8801 r ><< m <> r ><< n\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 104, _character = 0}, _end = Position {_line = 104, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 105, _character = 0}, _end = Position {_line = 105, _character = 47}},RawLineComment {getRawLineComment = \"-- Left-distributivity of <> (on /R/) over ><<:\"}),(Range {_start = Position {_line = 106, _character = 0}, _end = Position {_line = 106, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 107, _character = 0}, _end = Position {_line = 107, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 108, _character = 0}, _end = Position {_line = 108, _character = 38}},RawLineComment {getRawLineComment = \"-- (r <> s) ><< m \\8801 r ><< m <> s ><< m\"}),(Range {_start = Position {_line = 109, _character = 0}, _end = Position {_line = 109, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 110, _character = 0}, _end = Position {_line = 110, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 111, _character = 0}, _end = Position {_line = 111, _character = 17}},RawLineComment {getRawLineComment = \"-- Associativity:\"}),(Range {_start = Position {_line = 112, _character = 0}, _end = Position {_line = 112, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 113, _character = 0}, _end = Position {_line = 113, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 114, _character = 0}, _end = Position {_line = 114, _character = 35}},RawLineComment {getRawLineComment = \"-- (r >< s) ><< m \\8801 r ><< (s ><< m)\"}),(Range {_start = Position {_line = 115, _character = 0}, _end = Position {_line = 115, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 127, _character = 0}, _end = Position {_line = 127, _character = 21}},RawLineComment {getRawLineComment = \"-- Semiring datatypes\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"})]}" 2021-08-21 20:39:06.912848 [ThreadId 130] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "Tests" "0 tests in 7 sections 0 setups 0 lenses." 2021-08-21 20:39:06.913493 [ThreadId 130] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "tests" "0.00s" 2021-08-21 20:39:06.913557 [ThreadId 130] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "codeLens" "0.62s" 2021-08-21 20:39:07.175981 [ThreadId 1154] INFO hls: finish: codeLens.TypeCheck (took 0.29s) 2021-08-21 20:39:07.176008 [ThreadId 1155] INFO hls: finish: retrie (took 0.29s) 2021-08-21 20:39:07.176533 [ThreadId 1156] INFO hls: finish: (took 0.29s) 2021-08-21 20:39:07.176827 [ThreadId 1160] INFO hls: finish: RefineImports (took 0.30s) 2021-08-21 20:39:07.190735 [ThreadId 1192] DEBUG hls: SUCCEEDED LOADING HIE FILE FOR:"/Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7/Facet/Span.hie" 2021-08-21 20:39:07.190881 [ThreadId 1192] DEBUG hls: Re-indexing hie file for/Users/rob/Projects/facet/src/Facet/Span.hs 2021-08-21 20:39:07.192613 [ThreadId 1212] INFO hls: finish: Wingman.judgementForHole.GetHieAst (took 0.31s) 2021-08-21 20:39:07.192694 [ThreadId 1213] INFO hls: finish: codeLens.GetBindings (took 0.02s) 2021-08-21 20:39:07.192739 [ThreadId 1217] INFO hls: finish: Wingman.judgementForHole.GetBindings (took 0.00s) 2021-08-21 20:39:07.192836 [ThreadId 1212] INFO hls: finish: Wingman.codeLensProvider.GetBindings (took 0.29s) 2021-08-21 20:39:07.192951 [ThreadId 1211] INFO hls: finish: Wingman.judgementForHole.TypeCheck (took 0.00s) 2021-08-21 20:39:07.192997 [ThreadId 375] INFO hls: finish: Wingman.emptyCaseScrutinees.TypeCheck (took 0.00s) 2021-08-21 20:39:07.193075 [ThreadId 1213] INFO hls: finish: Wingman.judgementForHole.GhcSessionDeps (took 0.00s) 2021-08-21 20:39:07.193236 [ThreadId 1211] INFO hls: finish: Wingman.emptyCaseScrutinees.GhcSessionDeps (took 0.00s) 2021-08-21 20:39:07.196698 [ThreadId 1221] INFO hls: finish: codeLens.GetGlobalBindingTypeSigs (took 0.00s) 2021-08-21 20:39:07.301674 [ThreadId 1292] DEBUG hls: SUCCEEDED LOADING HIE FILE FOR:"/Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7/Facet/Snoc.hie" 2021-08-21 20:39:07.301744 [ThreadId 1292] DEBUG hls: Re-indexing hie file for/Users/rob/Projects/facet/src/Facet/Snoc.hs 2021-08-21 20:39:07.307828 [ThreadId 1315] DEBUG hls: SUCCEEDED LOADING HIE FILE FOR:"/Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7/Facet/Source.hie" 2021-08-21 20:39:07.307901 [ThreadId 1315] DEBUG hls: Re-indexing hie file for/Users/rob/Projects/facet/src/Facet/Source.hs 2021-08-21 20:39:07.318477 [ThreadId 1338] DEBUG hls: SUCCEEDED LOADING HIE FILE FOR:"/Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7/Facet/REPL/Parser.hie" 2021-08-21 20:39:07.318559 [ThreadId 1338] DEBUG hls: Re-indexing hie file for/Users/rob/Projects/facet/src/Facet/REPL/Parser.hs 2021-08-21 20:39:07.326132 [ThreadId 1348] DEBUG hls: SUCCEEDED LOADING HIE FILE FOR:"/Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7/Facet/Snoc/NonEmpty.hie" 2021-08-21 20:39:07.326207 [ThreadId 1348] DEBUG hls: Re-indexing hie file for/Users/rob/Projects/facet/src/Facet/Snoc/NonEmpty.hs 2021-08-21 20:39:07.396042 [ThreadId 1418] DEBUG hls: SUCCEEDED LOADING HIE FILE FOR:"/Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7/Facet/Name.hie" 2021-08-21 20:39:07.396128 [ThreadId 1418] DEBUG hls: Re-indexing hie file for/Users/rob/Projects/facet/src/Facet/Name.hs 2021-08-21 20:39:07.613765 [ThreadId 1696] DEBUG hls: SUCCEEDED LOADING HIE FILE FOR:"/Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7/Facet/Surface.hie" 2021-08-21 20:39:07.613838 [ThreadId 1696] DEBUG hls: Re-indexing hie file for/Users/rob/Projects/facet/src/Facet/Surface.hs 2021-08-21 20:39:07.734767 [ThreadId 1789] DEBUG hls: SUCCEEDED LOADING HIE FILE FOR:"/Users/rob/.cache/ghcide/facet-0.0.0.0-inplace-dd456dcf4f73719d82b348220552ca209ef131e7/Facet/Print.hie" 2021-08-21 20:39:07.734843 [ThreadId 1789] DEBUG hls: Re-indexing hie file for/Users/rob/Projects/facet/src/Facet/Print.hs 2021-08-21 20:39:08.268683 [ThreadId 1920] DEBUG hls: finish: InitialLoad (took 1.38s) 2021-08-21 20:39:11.2276 [ThreadId 1925] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "fp" "/Users/rob/Projects/facet/src/Facet/Semiring.hs" 2021-08-21 20:39:11.227729 [ThreadId 1930] INFO hls: finish: codeLens.TypeCheck (took 0.00s) 2021-08-21 20:39:11.227802 [ThreadId 1932] INFO hls: finish: RefineImports (took 0.00s) 2021-08-21 20:39:11.227817 [ThreadId 1934] INFO hls: finish: Wingman.getIdeDynflags.GetModSummaryWithoutTimestamps (took 0.00s) 2021-08-21 20:39:11.227856 [ThreadId 1936] INFO hls: finish: (took 0.00s) 2021-08-21 20:39:11.227875 [ThreadId 1938] INFO hls: finish: ModuleName.ghcSession (took 0.00s) 2021-08-21 20:39:11.227939 [ThreadId 1940] INFO hls: finish: eval.GetParsedModuleWithComments (took 0.00s) 2021-08-21 20:39:11.227964 [ThreadId 1942] INFO hls: finish: codeLens.GetBindings (took 0.00s) 2021-08-21 20:39:11.228118 [ThreadId 1944] INFO hls: finish: Wingman.codeLensProvider.GetAnnotatedParsedSource (took 0.00s) 2021-08-21 20:39:11.228098 [ThreadId 1925] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "excluded comments" "[]" 2021-08-21 20:39:11.228132 [ThreadId 1946] INFO hls: finish: codeLens.GetGlobalBindingTypeSigs (took 0.00s) 2021-08-21 20:39:11.228222 [ThreadId 1948] INFO hls: finish: Wingman.codeLensProvider.GetBindings (took 0.00s) 2021-08-21 20:39:11.228426 [ThreadId 1950] INFO hls: finish: Wingman.emptyCaseScrutinees.TypeCheck (took 0.00s) 2021-08-21 20:39:11.228591 [ThreadId 1952] INFO hls: finish: Wingman.emptyCaseScrutinees.GhcSessionDeps (took 0.00s) 2021-08-21 20:39:11.22887 [ThreadId 1954] INFO hls: finish: ModuleName.GetParsedModule (took 0.00s) 2021-08-21 20:39:11.228273 [ThreadId 1925] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 2, _character = 2}, _end = Position {_line = 2, _character = 23}},RawLineComment {getRawLineComment = \"-- * Semiring classes\"}),(Range {_start = Position {_line = 6, _character = 2}, _end = Position {_line = 6, _character = 21}},RawLineComment {getRawLineComment = \"-- * Module classes\"}),(Range {_start = Position {_line = 9, _character = 2}, _end = Position {_line = 9, _character = 25}},RawLineComment {getRawLineComment = \"-- * Semiring datatypes\"}),(Range {_start = Position {_line = 14, _character = 0}, _end = Position {_line = 14, _character = 19}},RawLineComment {getRawLineComment = \"-- Semiring classes\"}),(Range {_start = Position {_line = 16, _character = 0}, _end = Position {_line = 16, _character = 86}},RawLineComment {getRawLineComment = \"-- | Semirings extend 'Semigroup's with an '><' (multiplication) operation satisfying:\"}),(Range {_start = Position {_line = 17, _character = 0}, _end = Position {_line = 17, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 17}},RawLineComment {getRawLineComment = \"-- Associativity:\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 20, _character = 0}, _end = Position {_line = 20, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 32}},RawLineComment {getRawLineComment = \"-- a >< (b >< c) \\8801 (a >< b) >< c\"}),(Range {_start = Position {_line = 22, _character = 0}, _end = Position {_line = 22, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 23, _character = 0}, _end = Position {_line = 23, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 23}},RawLineComment {getRawLineComment = \"-- Left-distributivity:\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 27, _character = 0}, _end = Position {_line = 27, _character = 39}},RawLineComment {getRawLineComment = \"-- a >< (b <> c) \\8801 (a >< b) <> (a >< c)\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 30, _character = 0}, _end = Position {_line = 30, _character = 24}},RawLineComment {getRawLineComment = \"-- Right-distributivity:\"}),(Range {_start = Position {_line = 31, _character = 0}, _end = Position {_line = 31, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 32, _character = 0}, _end = Position {_line = 32, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 39}},RawLineComment {getRawLineComment = \"-- (a <> b) >< c \\8801 (a >< c) <> (b >< c)\"}),(Range {_start = Position {_line = 34, _character = 0}, _end = Position {_line = 34, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 35, _character = 0}, _end = Position {_line = 35, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 36, _character = 0}, _end = Position {_line = 36, _character = 199}},RawLineComment {getRawLineComment = \"-- Contrary to many presentations, we do not require '<>' (addition) to be commutative, or for the type to be a 'Monoid'. However, if it /is/ a 'Monoid', then we additionally require '><' to satisfy:\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 38, _character = 0}, _end = Position {_line = 38, _character = 21}},RawLineComment {getRawLineComment = \"-- Left-annihilation:\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 40, _character = 0}, _end = Position {_line = 40, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 41, _character = 0}, _end = Position {_line = 41, _character = 19}},RawLineComment {getRawLineComment = \"-- zero >< a \\8801 zero\"}),(Range {_start = Position {_line = 42, _character = 0}, _end = Position {_line = 42, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 44, _character = 0}, _end = Position {_line = 44, _character = 22}},RawLineComment {getRawLineComment = \"-- Right-annihilation:\"}),(Range {_start = Position {_line = 45, _character = 0}, _end = Position {_line = 45, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 46, _character = 0}, _end = Position {_line = 46, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 19}},RawLineComment {getRawLineComment = \"-- a >< zero \\8801 zero\"}),(Range {_start = Position {_line = 48, _character = 0}, _end = Position {_line = 48, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 49, _character = 0}, _end = Position {_line = 49, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 50, _character = 0}, _end = Position {_line = 50, _character = 57}},RawLineComment {getRawLineComment = \"-- where 'zero' is a synonym for 'mempty', defined below.\"}),(Range {_start = Position {_line = 65, _character = 0}, _end = Position {_line = 65, _character = 88}},RawLineComment {getRawLineComment = \"-- | Unital semirings extend 'Semiring's with a multiplicative unit, 'one', satisfyiing:\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 67, _character = 0}, _end = Position {_line = 67, _character = 17}},RawLineComment {getRawLineComment = \"-- Left-identity:\"}),(Range {_start = Position {_line = 68, _character = 0}, _end = Position {_line = 68, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 69, _character = 0}, _end = Position {_line = 69, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 70, _character = 0}, _end = Position {_line = 70, _character = 15}},RawLineComment {getRawLineComment = \"-- one >< a \\8801 a\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 72, _character = 0}, _end = Position {_line = 72, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 73, _character = 0}, _end = Position {_line = 73, _character = 18}},RawLineComment {getRawLineComment = \"-- Right-identity:\"}),(Range {_start = Position {_line = 74, _character = 0}, _end = Position {_line = 74, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 75, _character = 0}, _end = Position {_line = 75, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 76, _character = 0}, _end = Position {_line = 76, _character = 15}},RawLineComment {getRawLineComment = \"-- a >< one \\8801 a\"}),(Range {_start = Position {_line = 77, _character = 0}, _end = Position {_line = 77, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 95, _character = 0}, _end = Position {_line = 95, _character = 17}},RawLineComment {getRawLineComment = \"-- Module classes\"}),(Range {_start = Position {_line = 97, _character = 0}, _end = Position {_line = 97, _character = 134}},RawLineComment {getRawLineComment = \"-- | A left /R/-module /M/ (for a 'Semiring' /R/) is a 'Semigroup' extended with a '><<' (scalar multiplication) operation satisfying:\"}),(Range {_start = Position {_line = 98, _character = 0}, _end = Position {_line = 98, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 47}},RawLineComment {getRawLineComment = \"-- Left-distributivity of ><< over <> (on /M/):\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 101, _character = 0}, _end = Position {_line = 101, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 102, _character = 0}, _end = Position {_line = 102, _character = 38}},RawLineComment {getRawLineComment = \"-- r ><< (m <> n) \\8801 r ><< m <> r ><< n\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 104, _character = 0}, _end = Position {_line = 104, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 105, _character = 0}, _end = Position {_line = 105, _character = 47}},RawLineComment {getRawLineComment = \"-- Left-distributivity of <> (on /R/) over ><<:\"}),(Range {_start = Position {_line = 106, _character = 0}, _end = Position {_line = 106, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 107, _character = 0}, _end = Position {_line = 107, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 108, _character = 0}, _end = Position {_line = 108, _character = 38}},RawLineComment {getRawLineComment = \"-- (r <> s) ><< m \\8801 r ><< m <> s ><< m\"}),(Range {_start = Position {_line = 109, _character = 0}, _end = Position {_line = 109, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 110, _character = 0}, _end = Position {_line = 110, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 111, _character = 0}, _end = Position {_line = 111, _character = 17}},RawLineComment {getRawLineComment = \"-- Associativity:\"}),(Range {_start = Position {_line = 112, _character = 0}, _end = Position {_line = 112, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 113, _character = 0}, _end = Position {_line = 113, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 114, _character = 0}, _end = Position {_line = 114, _character = 35}},RawLineComment {getRawLineComment = \"-- (r >< s) ><< m \\8801 r ><< (s ><< m)\"}),(Range {_start = Position {_line = 115, _character = 0}, _end = Position {_line = 115, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 127, _character = 0}, _end = Position {_line = 127, _character = 21}},RawLineComment {getRawLineComment = \"-- Semiring datatypes\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"})]}" 2021-08-21 20:39:11.229592 [ThreadId 1925] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "Tests" "0 tests in 7 sections 0 setups 0 lenses." 2021-08-21 20:39:11.229822 [ThreadId 1925] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "tests" "0.00s" 2021-08-21 20:39:11.229872 [ThreadId 1925] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "codeLens" "0.00s" 2021-08-21 20:39:20.144356 [ThreadId 1961] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "fp" "/Users/rob/Projects/facet/src/Facet/Semiring.hs" 2021-08-21 20:39:20.144436 [ThreadId 1966] INFO hls: finish: codeLens.TypeCheck (took 0.00s) 2021-08-21 20:39:20.144528 [ThreadId 1968] INFO hls: finish: (took 0.00s) 2021-08-21 20:39:20.144569 [ThreadId 1970] INFO hls: finish: Wingman.getIdeDynflags.GetModSummaryWithoutTimestamps (took 0.00s) 2021-08-21 20:39:20.144627 [ThreadId 1972] INFO hls: finish: RefineImports (took 0.00s) 2021-08-21 20:39:20.144706 [ThreadId 1974] INFO hls: finish: ModuleName.ghcSession (took 0.00s) 2021-08-21 20:39:20.144722 [ThreadId 1976] INFO hls: finish: codeLens.GetBindings (took 0.00s) 2021-08-21 20:39:20.144792 [ThreadId 1980] INFO hls: finish: Wingman.codeLensProvider.GetAnnotatedParsedSource (took 0.00s) 2021-08-21 20:39:20.144852 [ThreadId 1978] INFO hls: finish: eval.GetParsedModuleWithComments (took 0.00s) 2021-08-21 20:39:20.144919 [ThreadId 1982] INFO hls: finish: codeLens.GetGlobalBindingTypeSigs (took 0.00s) 2021-08-21 20:39:20.144955 [ThreadId 1984] INFO hls: finish: Wingman.codeLensProvider.GetBindings (took 0.00s) 2021-08-21 20:39:20.14495 [ThreadId 1961] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "excluded comments" "[]" 2021-08-21 20:39:20.145001 [ThreadId 1986] INFO hls: finish: Wingman.emptyCaseScrutinees.TypeCheck (took 0.00s) 2021-08-21 20:39:20.145101 [ThreadId 1988] INFO hls: finish: Wingman.emptyCaseScrutinees.GhcSessionDeps (took 0.00s) 2021-08-21 20:39:20.145483 [ThreadId 1990] INFO hls: finish: ModuleName.GetParsedModule (took 0.00s) 2021-08-21 20:39:20.145113 [ThreadId 1961] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "comments" "Comments {lineComments = fromList [(Range {_start = Position {_line = 2, _character = 2}, _end = Position {_line = 2, _character = 23}},RawLineComment {getRawLineComment = \"-- * Semiring classes\"}),(Range {_start = Position {_line = 6, _character = 2}, _end = Position {_line = 6, _character = 21}},RawLineComment {getRawLineComment = \"-- * Module classes\"}),(Range {_start = Position {_line = 9, _character = 2}, _end = Position {_line = 9, _character = 25}},RawLineComment {getRawLineComment = \"-- * Semiring datatypes\"}),(Range {_start = Position {_line = 14, _character = 0}, _end = Position {_line = 14, _character = 19}},RawLineComment {getRawLineComment = \"-- Semiring classes\"}),(Range {_start = Position {_line = 16, _character = 0}, _end = Position {_line = 16, _character = 86}},RawLineComment {getRawLineComment = \"-- | Semirings extend 'Semigroup's with an '><' (multiplication) operation satisfying:\"}),(Range {_start = Position {_line = 17, _character = 0}, _end = Position {_line = 17, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 18, _character = 0}, _end = Position {_line = 18, _character = 17}},RawLineComment {getRawLineComment = \"-- Associativity:\"}),(Range {_start = Position {_line = 19, _character = 0}, _end = Position {_line = 19, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 20, _character = 0}, _end = Position {_line = 20, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 21, _character = 0}, _end = Position {_line = 21, _character = 32}},RawLineComment {getRawLineComment = \"-- a >< (b >< c) \\8801 (a >< b) >< c\"}),(Range {_start = Position {_line = 22, _character = 0}, _end = Position {_line = 22, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 23, _character = 0}, _end = Position {_line = 23, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 24, _character = 0}, _end = Position {_line = 24, _character = 23}},RawLineComment {getRawLineComment = \"-- Left-distributivity:\"}),(Range {_start = Position {_line = 25, _character = 0}, _end = Position {_line = 25, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 26, _character = 0}, _end = Position {_line = 26, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 27, _character = 0}, _end = Position {_line = 27, _character = 39}},RawLineComment {getRawLineComment = \"-- a >< (b <> c) \\8801 (a >< b) <> (a >< c)\"}),(Range {_start = Position {_line = 28, _character = 0}, _end = Position {_line = 28, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 29, _character = 0}, _end = Position {_line = 29, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 30, _character = 0}, _end = Position {_line = 30, _character = 24}},RawLineComment {getRawLineComment = \"-- Right-distributivity:\"}),(Range {_start = Position {_line = 31, _character = 0}, _end = Position {_line = 31, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 32, _character = 0}, _end = Position {_line = 32, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 33, _character = 0}, _end = Position {_line = 33, _character = 39}},RawLineComment {getRawLineComment = \"-- (a <> b) >< c \\8801 (a >< c) <> (b >< c)\"}),(Range {_start = Position {_line = 34, _character = 0}, _end = Position {_line = 34, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 35, _character = 0}, _end = Position {_line = 35, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 36, _character = 0}, _end = Position {_line = 36, _character = 199}},RawLineComment {getRawLineComment = \"-- Contrary to many presentations, we do not require '<>' (addition) to be commutative, or for the type to be a 'Monoid'. However, if it /is/ a 'Monoid', then we additionally require '><' to satisfy:\"}),(Range {_start = Position {_line = 37, _character = 0}, _end = Position {_line = 37, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 38, _character = 0}, _end = Position {_line = 38, _character = 21}},RawLineComment {getRawLineComment = \"-- Left-annihilation:\"}),(Range {_start = Position {_line = 39, _character = 0}, _end = Position {_line = 39, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 40, _character = 0}, _end = Position {_line = 40, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 41, _character = 0}, _end = Position {_line = 41, _character = 19}},RawLineComment {getRawLineComment = \"-- zero >< a \\8801 zero\"}),(Range {_start = Position {_line = 42, _character = 0}, _end = Position {_line = 42, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 43, _character = 0}, _end = Position {_line = 43, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 44, _character = 0}, _end = Position {_line = 44, _character = 22}},RawLineComment {getRawLineComment = \"-- Right-annihilation:\"}),(Range {_start = Position {_line = 45, _character = 0}, _end = Position {_line = 45, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 46, _character = 0}, _end = Position {_line = 46, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 47, _character = 0}, _end = Position {_line = 47, _character = 19}},RawLineComment {getRawLineComment = \"-- a >< zero \\8801 zero\"}),(Range {_start = Position {_line = 48, _character = 0}, _end = Position {_line = 48, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 49, _character = 0}, _end = Position {_line = 49, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 50, _character = 0}, _end = Position {_line = 50, _character = 57}},RawLineComment {getRawLineComment = \"-- where 'zero' is a synonym for 'mempty', defined below.\"}),(Range {_start = Position {_line = 65, _character = 0}, _end = Position {_line = 65, _character = 88}},RawLineComment {getRawLineComment = \"-- | Unital semirings extend 'Semiring's with a multiplicative unit, 'one', satisfyiing:\"}),(Range {_start = Position {_line = 66, _character = 0}, _end = Position {_line = 66, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 67, _character = 0}, _end = Position {_line = 67, _character = 17}},RawLineComment {getRawLineComment = \"-- Left-identity:\"}),(Range {_start = Position {_line = 68, _character = 0}, _end = Position {_line = 68, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 69, _character = 0}, _end = Position {_line = 69, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 70, _character = 0}, _end = Position {_line = 70, _character = 15}},RawLineComment {getRawLineComment = \"-- one >< a \\8801 a\"}),(Range {_start = Position {_line = 71, _character = 0}, _end = Position {_line = 71, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 72, _character = 0}, _end = Position {_line = 72, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 73, _character = 0}, _end = Position {_line = 73, _character = 18}},RawLineComment {getRawLineComment = \"-- Right-identity:\"}),(Range {_start = Position {_line = 74, _character = 0}, _end = Position {_line = 74, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 75, _character = 0}, _end = Position {_line = 75, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 76, _character = 0}, _end = Position {_line = 76, _character = 15}},RawLineComment {getRawLineComment = \"-- a >< one \\8801 a\"}),(Range {_start = Position {_line = 77, _character = 0}, _end = Position {_line = 77, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 95, _character = 0}, _end = Position {_line = 95, _character = 17}},RawLineComment {getRawLineComment = \"-- Module classes\"}),(Range {_start = Position {_line = 97, _character = 0}, _end = Position {_line = 97, _character = 134}},RawLineComment {getRawLineComment = \"-- | A left /R/-module /M/ (for a 'Semiring' /R/) is a 'Semigroup' extended with a '><<' (scalar multiplication) operation satisfying:\"}),(Range {_start = Position {_line = 98, _character = 0}, _end = Position {_line = 98, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 99, _character = 0}, _end = Position {_line = 99, _character = 47}},RawLineComment {getRawLineComment = \"-- Left-distributivity of ><< over <> (on /M/):\"}),(Range {_start = Position {_line = 100, _character = 0}, _end = Position {_line = 100, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 101, _character = 0}, _end = Position {_line = 101, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 102, _character = 0}, _end = Position {_line = 102, _character = 38}},RawLineComment {getRawLineComment = \"-- r ><< (m <> n) \\8801 r ><< m <> r ><< n\"}),(Range {_start = Position {_line = 103, _character = 0}, _end = Position {_line = 103, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 104, _character = 0}, _end = Position {_line = 104, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 105, _character = 0}, _end = Position {_line = 105, _character = 47}},RawLineComment {getRawLineComment = \"-- Left-distributivity of <> (on /R/) over ><<:\"}),(Range {_start = Position {_line = 106, _character = 0}, _end = Position {_line = 106, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 107, _character = 0}, _end = Position {_line = 107, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 108, _character = 0}, _end = Position {_line = 108, _character = 38}},RawLineComment {getRawLineComment = \"-- (r <> s) ><< m \\8801 r ><< m <> s ><< m\"}),(Range {_start = Position {_line = 109, _character = 0}, _end = Position {_line = 109, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 110, _character = 0}, _end = Position {_line = 110, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 111, _character = 0}, _end = Position {_line = 111, _character = 17}},RawLineComment {getRawLineComment = \"-- Associativity:\"}),(Range {_start = Position {_line = 112, _character = 0}, _end = Position {_line = 112, _character = 2}},RawLineComment {getRawLineComment = \"--\"}),(Range {_start = Position {_line = 113, _character = 0}, _end = Position {_line = 113, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 114, _character = 0}, _end = Position {_line = 114, _character = 35}},RawLineComment {getRawLineComment = \"-- (r >< s) ><< m \\8801 r ><< (s ><< m)\"}),(Range {_start = Position {_line = 115, _character = 0}, _end = Position {_line = 115, _character = 4}},RawLineComment {getRawLineComment = \"-- @\"}),(Range {_start = Position {_line = 127, _character = 0}, _end = Position {_line = 127, _character = 21}},RawLineComment {getRawLineComment = \"-- Semiring datatypes\"})], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 39}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE FunctionalDependencies #-}\"})]}" 2021-08-21 20:39:20.14697 [ThreadId 1961] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "Tests" "0 tests in 7 sections 0 setups 0 lenses." 2021-08-21 20:39:20.147211 [ThreadId 1961] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "tests" "0.00s" 2021-08-21 20:39:20.147268 [ThreadId 1961] DEBUG hls: src/Ide/Plugin/Eval/CodeLens.hs:189:15 "codeLens" "0.00s" 2021-08-21 20:39:25.852958 [ThreadId 1997] DEBUG hls: GhcIde.hover entered (ideLogger) 2021-08-21 20:39:25.853046 [ThreadId 1997] DEBUG hls: Hover request at position 46:3 in file: /Users/rob/Projects/facet/src/Facet/Semiring.hs 2021-08-21 20:39:25.853146 [ThreadId 1998] INFO hls: finish: Wingman.getMetaprogramsAtSpan.TypeCheck (took 0.00s) 2021-08-21 20:39:25.853157 [ThreadId 2000] DEBUG hls: finish: C:GetHieAst (took 0.00s) 2021-08-21 20:39:25.85318 [ThreadId 1997] DEBUG hls: LOOKUP UP PERSISTENT FOR: GetDocMap 2021-08-21 20:39:25.853211 [ThreadId 2002] DEBUG hls: finish: C:GhcSession (took 0.00s) 2021-08-21 20:39:25.856824 [ThreadId 2009] DEBUG hls: finish: C:GetDocMap (took 0.00s) ```
jneira commented 3 years ago

Thanks for reporting it, i've moved it to the vscode haskell extension project, as it seems specific to it. The concrete stacktrace has been observed in https://github.com/haskell/vscode-haskell/pull/439#issuecomment-902610963

July541 commented 3 years ago

I met the same issue with master branch hls

[2021-08-27 18:14:17.681] [exthost] [error] TypeError: Cannot read property 'range' of undefined
    at H (/home/treee/.vscode-server/extensions/haskell.haskell-1.6.1/dist/extension.js:247:128185)
    at /home/treee/.vscode-server/extensions/haskell.haskell-1.6.1/dist/extension.js:247:133572
    at Array.map (<anonymous>)
    at Object.asSymbolInformations (/home/treee/.vscode-server/extensions/haskell.haskell-1.6.1/dist/extension.js:247:133565)
    at /home/treee/.vscode-server/extensions/haskell.haskell-1.6.1/dist/extension.js:1:48291
    at async c.provideDocumentSymbols (/home/treee/.vscode-server/bin/3866c3553be8b268c8a7f8c0482c0c0177aa8bfa/out/vs/server/remoteExtensionHostProcess.js:85:161482)

Maybe a reference: I met a similar error, it is caused by the previous return value, so I changed it. https://github.com/haskell/haskell-language-server/pull/2129

jneira commented 3 years ago

Fixed by https://github.com/haskell/haskell-language-server/pull/2169, it will be available in the next hls release (1.4.0)