Skip to content

Instantly share code, notes, and snippets.

@ranjitjhala

ranjitjhala/lh-crash.log

Created November 10, 2020 19:32
Show Gist options
  • Save ranjitjhala/2be66c627475cd2b10dfc38df336f65a to your computer and use it in GitHub Desktop.
Save ranjitjhala/2be66c627475cd2b10dfc38df336f65a to your computer and use it in GitHub Desktop.
Download ZIP
LH server crash
Raw
lh-crash.log
[client] run command: "/Users/rjhala/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-0.5.1-darwin-8.10.2 --lsp"
[client] debug command: "/Users/rjhala/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-0.5.1-darwin-8.10.2 --lsp"
[client] server cwd: undefined
haskell-language-server version: 0.5.1.0 (GHC: 8.10.2) (PATH: /Users/rjhala/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-0.5.1-darwin-8.10.2) (GIT hash: e3fe0e7546aa91e44cc56cfe8ec078a026cf533a)
Starting (haskell-language-server)LSP server...
with arguments: LspArguments {argLSP = True, argsCwd = Nothing, argFiles = [], argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "brittany",PluginId "eval",PluginId "floskell",PluginId "fourmolu",PluginId "ghcide",PluginId "importLens",PluginId "ormolu",PluginId "pragmas",PluginId "retrie",PluginId "stylish-haskell",PluginId "tactic"]
in directory: /Users/rjhala/research/lh-demo
If you are seeing this in a terminal, you probably should have run ghcide WITHOUT the --lsp option!
Started LSP server in 0.00s
2020-11-10 11:17:55.571682 [ThreadId 21] - Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-4339914212265915153) "file:///Users/rjhala/research/lh-demo"], clientSettings = hashed Nothing}
2020-11-10 11:17:55.573002 [ThreadId 21] - Configuration changed: Object (fromList [("haskell",Object (fromList [("logFile",String ""),("updateBehavior",String "keep-up-to-date"),("hlintOn",Bool True),("formatOnImportOn",Bool True),("indentationRules",Object (fromList [("enabled",Bool True)])),("liquidOn",Bool False),("languageServerVariant",String "haskell-language-server"),("serverExecutablePath",String ""),("diagnosticsOnChange",Bool True),("completionSnippetsOn",Bool True),("maxNumberOfProblems",Number 100.0),("formattingProvider",String "ormolu"),("trace",Object (fromList [("server",String "off")]))]))])
2020-11-10 11:17:55.574431 [ThreadId 21] - Opened text document: file:///Users/rjhala/research/lh-demo/src/Demo/Bug.hs
2020-11-10 11:17:55.575606 [ThreadId 81] - Consulting the cradle for "src/Demo/Bug.hs"
Output from setting up the cradle Cradle {cradleRootDir = "/Users/rjhala/research/lh-demo", cradleOptsProg = CradleAction: Stack}
> vector > configure
> vector > Configuring vector-0.12.1.2...
> vector > build
> vector > Preprocessing library for vector-0.12.1.2..
> vector > Building library for vector-0.12.1.2..
> vector > [ 1 of 21] Compiling Data.Vector.Fusion.Util
> vector > [ 2 of 21] Compiling Data.Vector.Fusion.Bundle.Size
> vector > [ 3 of 21] Compiling Data.Vector.Generic.Mutable.Base
> vector > [ 4 of 21] Compiling Data.Vector.Generic.Base
> vector > [ 5 of 21] Compiling Data.Vector.Internal.Check
> vector > [ 6 of 21] Compiling Data.Vector.Fusion.Stream.Monadic
> vector > [ 7 of 21] Compiling Data.Vector.Fusion.Bundle.Monadic
> vector > [ 8 of 21] Compiling Data.Vector.Fusion.Bundle
> vector > [ 9 of 21] Compiling Data.Vector.Generic.Mutable
> vector > [10 of 21] Compiling Data.Vector.Generic.New
> vector > [11 of 21] Compiling Data.Vector.Generic
> vector > [12 of 21] Compiling Data.Vector.Mutable
> vector > [13 of 21] Compiling Data.Vector
> vector > [14 of 21] Compiling Data.Vector.Primitive.Mutable
> vector > [15 of 21] Compiling Data.Vector.Primitive
> vector > [16 of 21] Compiling Data.Vector.Storable.Internal
> vector > [17 of 21] Compiling Data.Vector.Storable.Mutable
> vector > [18 of 21] Compiling Data.Vector.Storable
> vector > [19 of 21] Compiling Data.Vector.Unboxed.Base
> vector > [20 of 21] Compiling Data.Vector.Unboxed
> vector > [21 of 21] Compiling Data.Vector.Unboxed.Mutable
> vector > copy/register
> vector > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/vector-0.12.1.2-AD2sdLNfvz0IXkjWddwcEq
> vector > Registering library for vector-0.12.1.2..
> aeson > configure
> aeson > Configuring aeson-1.4.7.1...
> aeson > build
> optics-extra > configure
> aeson > Preprocessing library for aeson-1.4.7.1..
> aeson > Building library for aeson-1.4.7.1..
> aeson > [ 1 of 24] Compiling Data.Aeson.Internal.Functions
> optics-extra > Configuring optics-extra-0.3...
> aeson > [ 2 of 24] Compiling Data.Aeson.Parser.UnescapePure
> optics-extra > build
> optics-extra > Preprocessing library for optics-extra-0.3..
> optics-extra > Building library for optics-extra-0.3..
> optics-extra > [ 1 of 24] Compiling Data.HashMap.Optics
> aeson > [ 3 of 24] Compiling Data.Aeson.Parser.Unescape
> aeson > [ 4 of 24] Compiling Data.Aeson.Types.Generic
> optics-extra > [ 2 of 24] Compiling Data.HashSet.Optics
> aeson > [ 5 of 24] Compiling Data.Aeson.Types.Internal
> optics-extra > [ 3 of 24] Compiling Data.Text.Lazy.Optics
> optics-extra > [ 4 of 24] Compiling Data.Text.Strict.Optics
> optics-extra > [ 5 of 24] Compiling Data.Text.Optics
> optics-extra > [ 6 of 24] Compiling Optics.At
> optics-extra > [ 7 of 24] Compiling Optics.Cons
> aeson > [ 6 of 24] Compiling Data.Aeson.Parser.Internal
> optics-extra > [ 8 of 24] Compiling Optics.Empty
> optics-extra > [ 9 of 24] Compiling Optics.Extra.Internal.ByteString
> optics-extra > [10 of 24] Compiling Data.ByteString.Strict.Optics
> optics-extra > [11 of 24] Compiling Data.ByteString.Lazy.Optics
> optics-extra > [12 of 24] Compiling Data.ByteString.Optics
> optics-extra > [13 of 24] Compiling Optics.Extra.Internal.Vector
> optics-extra > [14 of 24] Compiling Data.Vector.Generic.Optics
> optics-extra > [15 of 24] Compiling Data.Vector.Optics
> optics-extra > [16 of 24] Compiling Optics.Extra.Internal.Zoom
> optics-extra > [17 of 24] Compiling Optics.Indexed
> optics-extra > [18 of 24] Compiling Optics.Each
> optics-extra > [19 of 24] Compiling Optics.State
> optics-extra > [20 of 24] Compiling Optics.View
> optics-extra > [21 of 24] Compiling Optics.Passthrough
> optics-extra > [22 of 24] Compiling Optics.State.Operators
> optics-extra > [23 of 24] Compiling Optics.Zoom
> optics-extra > [24 of 24] Compiling Optics.Extra
> optics-extra > copy/register
> optics-extra > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/optics-extra-0.3-K90EQb9ThL2L2lnYt13Ydb
> optics-extra > Registering library for optics-extra-0.3..
> optics > configure
> optics > Configuring optics-0.3...
> optics > build
> optics > Preprocessing library for optics-0.3..
> optics > Building library for optics-0.3..
> optics > [1 of 1] Compiling Optics
> optics > copy/register
> optics > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/optics-0.3-Jho0zrIaPpkEE1TfM2NWBf
> optics > Registering library for optics-0.3..
> aeson > [ 7 of 24] Compiling Data.Aeson.Parser
> aeson > [ 8 of 24] Compiling Data.Attoparsec.Time.Internal
> aeson > [ 9 of 24] Compiling Data.Attoparsec.Time
> aeson > [10 of 24] Compiling Data.Aeson.Parser.Time
> aeson > [11 of 24] Compiling Data.Aeson.Types.FromJSON
> aeson >
> aeson > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/aeson-1.4.7.1/Data/Aeson/Types/FromJSON.hs:477:3: warning: [-Winline-rule-shadowing]
> aeson > Rule "FromJSONKeyCoerce: fmap id" may never fire
> aeson > because ‘id’ might inline first
> aeson > Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘id’
> aeson > |
> aeson > 477 | "FromJSONKeyCoerce: fmap id" forall (x :: FromJSONKeyFunction a).
> aeson > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> aeson > [12 of 24] Compiling Data.Aeson.Internal
> aeson > [13 of 24] Compiling Data.Aeson.Internal.Time
> aeson > [14 of 24] Compiling Data.Aeson.Encoding.Builder
> aeson > [15 of 24] Compiling Data.Aeson.Encoding.Internal
> aeson > [16 of 24] Compiling Data.Aeson.Encoding
> aeson > [17 of 24] Compiling Data.Aeson.Types.ToJSON
> aeson > [18 of 24] Compiling Data.Aeson.Types.Class
> aeson > [19 of 24] Compiling Data.Aeson.Types
> aeson > [20 of 24] Compiling Data.Aeson.Text
> aeson > [21 of 24] Compiling Data.Aeson
> aeson > [22 of 24] Compiling Data.Aeson.TH
> aeson > [23 of 24] Compiling Data.Aeson.QQ.Simple
> aeson > [24 of 24] Compiling Data.Aeson.Encode
> aeson > copy/register
> aeson > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/aeson-1.4.7.1-1Pe4IYfLXWy7Tq9y0QzQTm
> aeson > Registering library for aeson-1.4.7.1..
> liquid-fixpoint > configure
> liquid-fixpoint > Configuring liquid-fixpoint-0.8.10.2.1...
> liquid-fixpoint > build
> liquid-fixpoint > Preprocessing library for liquid-fixpoint-0.8.10.2.1..
> liquid-fixpoint > Building library for liquid-fixpoint-0.8.10.2.1..
> liquid-fixpoint > [ 1 of 62] Compiling Language.Fixpoint.Utils.Builder
> liquid-fixpoint > [ 2 of 62] Compiling Language.Fixpoint.Utils.Progress
> liquid-fixpoint > [ 3 of 62] Compiling Paths_liquid_fixpoint
> liquid-fixpoint > [ 4 of 62] Compiling Text.PrettyPrint.HughesPJ.Compat
> liquid-fixpoint > [ 5 of 62] Compiling Language.Fixpoint.Misc
> liquid-fixpoint > [ 6 of 62] Compiling Language.Fixpoint.Utils.Files
> liquid-fixpoint > [ 7 of 62] Compiling Language.Fixpoint.Types.Config
> liquid-fixpoint > [ 8 of 62] Compiling Language.Fixpoint.Types.PrettyPrint
> liquid-fixpoint > [ 9 of 62] Compiling Language.Fixpoint.Utils.Trie
> liquid-fixpoint > [10 of 62] Compiling Language.Fixpoint.Types.Spans
> liquid-fixpoint > [11 of 62] Compiling Language.Fixpoint.Types.Names
> liquid-fixpoint > [12 of 62] Compiling Language.Fixpoint.Types.Sorts
> liquid-fixpoint > [13 of 62] Compiling Language.Fixpoint.Types.Refinements
> liquid-fixpoint > [14 of 62] Compiling Language.Fixpoint.Types.Triggers
> liquid-fixpoint > [15 of 62] Compiling Language.Fixpoint.Types.Templates
> liquid-fixpoint > [16 of 62] Compiling Language.Fixpoint.Types.Substitutions
> liquid-fixpoint > [17 of 62] Compiling Language.Fixpoint.Solver.Stats
> liquid-fixpoint > [18 of 62] Compiling Language.Fixpoint.Types.Errors
> liquid-fixpoint > [19 of 62] Compiling Language.Fixpoint.Types.Environments
> liquid-fixpoint > [20 of 62] Compiling Language.Fixpoint.Types.Theories
> liquid-fixpoint > [21 of 62] Compiling Language.Fixpoint.Types.Constraints
> liquid-fixpoint > [22 of 62] Compiling Language.Fixpoint.Types.Utils
> liquid-fixpoint > [23 of 62] Compiling Language.Fixpoint.Types
> liquid-fixpoint > [24 of 62] Compiling Language.Fixpoint.Types.Visitor
> liquid-fixpoint > [25 of 62] Compiling Language.Fixpoint.Solver.UniqifyKVars
> liquid-fixpoint > [26 of 62] Compiling Language.Fixpoint.Solver.Rewrite
> liquid-fixpoint > [27 of 62] Compiling Language.Fixpoint.Smt.Types
> liquid-fixpoint > [28 of 62] Compiling Language.Fixpoint.Smt.Theories
> liquid-fixpoint > [29 of 62] Compiling Language.Fixpoint.Smt.Bitvector
> liquid-fixpoint > [30 of 62] Compiling Language.Fixpoint.SortCheck
> liquid-fixpoint > [31 of 62] Compiling Language.Fixpoint.Types.Solutions
> liquid-fixpoint > [32 of 62] Compiling Language.Fixpoint.Solver.TrivialSort
> liquid-fixpoint > [33 of 62] Compiling Language.Fixpoint.Smt.Serialize
> liquid-fixpoint > [34 of 62] Compiling Language.Fixpoint.Smt.Interface
> liquid-fixpoint > [35 of 62] Compiling Language.Fixpoint.Parse
> liquid-fixpoint > [36 of 62] Compiling Language.Fixpoint.Graph.Reducible
> liquid-fixpoint > [37 of 62] Compiling Language.Fixpoint.Horn.Types
> liquid-fixpoint > [38 of 62] Compiling Language.Fixpoint.Horn.Parse
> liquid-fixpoint > [39 of 62] Compiling Language.Fixpoint.Horn.Info
> liquid-fixpoint > [40 of 62] Compiling Language.Fixpoint.Graph.Types
> liquid-fixpoint > [41 of 62] Compiling Language.Fixpoint.Graph.Indexed
> liquid-fixpoint > [42 of 62] Compiling Language.Fixpoint.Graph.Deps
> liquid-fixpoint > [43 of 62] Compiling Language.Fixpoint.Graph.Partition
> liquid-fixpoint > [44 of 62] Compiling Language.Fixpoint.Graph
> liquid-fixpoint > [45 of 62] Compiling Language.Fixpoint.Utils.Statistics
> liquid-fixpoint > [46 of 62] Compiling Language.Fixpoint.Solver.Worklist
> liquid-fixpoint > [47 of 62] Compiling Language.Fixpoint.Solver.Sanitize
> liquid-fixpoint > [48 of 62] Compiling Language.Fixpoint.Types.Graduals
> liquid-fixpoint > [49 of 62] Compiling Language.Fixpoint.Solver.UniqifyBinds
> liquid-fixpoint > [50 of 62] Compiling Language.Fixpoint.Solver.Solution
> liquid-fixpoint > [51 of 62] Compiling Language.Fixpoint.Solver.Monad
> liquid-fixpoint > [52 of 62] Compiling Language.Fixpoint.Solver.GradualSolution
> liquid-fixpoint > [53 of 62] Compiling Language.Fixpoint.Solver.Extensionality
> liquid-fixpoint > [54 of 62] Compiling Language.Fixpoint.Defunctionalize
> liquid-fixpoint > [55 of 62] Compiling Language.Fixpoint.Solver.PLE
> liquid-fixpoint > [56 of 62] Compiling Language.Fixpoint.Solver.Instantiate
> liquid-fixpoint > [57 of 62] Compiling Language.Fixpoint.Solver.Eliminate
> liquid-fixpoint > [58 of 62] Compiling Language.Fixpoint.Solver.Solve
> liquid-fixpoint > [59 of 62] Compiling Language.Fixpoint.Minimize
> liquid-fixpoint > [60 of 62] Compiling Language.Fixpoint.Solver
> liquid-fixpoint > [61 of 62] Compiling Language.Fixpoint.Horn.Transformations
> liquid-fixpoint > [62 of 62] Compiling Language.Fixpoint.Horn.Solve
> liquid-fixpoint > Preprocessing executable 'fixpoint' for liquid-fixpoint-0.8.10.2.1..
> liquid-fixpoint > Building executable 'fixpoint' for liquid-fixpoint-0.8.10.2.1..
> liquid-fixpoint > [1 of 1] Compiling Main
> liquid-fixpoint > Linking .stack-work/dist/x86_64-osx/Cabal-3.2.0.0/build/fixpoint/fixpoint ...
> liquid-fixpoint > copy/register
> liquid-fixpoint > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/liquid-fixpoint-0.8.10.2.1-LMDFxUayR1k63pUsmRe8dF
> liquid-fixpoint > Installing executable fixpoint in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/bin
> liquid-fixpoint > Registering library for liquid-fixpoint-0.8.10.2.1..
> liquidhaskell > configure
> liquidhaskell > Configuring liquidhaskell-0.8.10.2.1...
> liquidhaskell > build
> liquidhaskell > Preprocessing library for liquidhaskell-0.8.10.2.1..
> liquidhaskell > Building library for liquidhaskell-0.8.10.2.1..
> liquidhaskell > [ 1 of 102] Compiling Gradual.GUI.Misc
> liquidhaskell > [ 2 of 102] Compiling Gradual.Misc
> liquidhaskell > [ 3 of 102] Compiling Gradual.Trivial
> liquidhaskell > [ 4 of 102] Compiling Language.Haskell.Liquid.Cabal
> liquidhaskell > [ 5 of 102] Compiling Language.Haskell.Liquid.GHC.API.StableModule
> liquidhaskell > [ 6 of 102] Compiling Language.Haskell.Liquid.GHC.API
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/API.hs:121:1: warning: [-Wdodgy-imports]
> liquidhaskell > Module ‘GHC’ does not export ‘dataConInstArgTys’
> liquidhaskell > |
> liquidhaskell > 121 | import GHC as Ghc hiding ( Warning
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/API.hs:184:1: warning: [-Wunused-imports]
> liquidhaskell > The import of ‘TcRnTypes’ is redundant
> liquidhaskell > except perhaps to import instances from ‘TcRnTypes’
> liquidhaskell > To import instances alone, use: import TcRnTypes()
> liquidhaskell > |
> liquidhaskell > 184 | import TcRnTypes as Ghc
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/API.hs:199:1: warning: [-Wunused-imports]
> liquidhaskell > The qualified import of ‘DataCon’ is redundant
> liquidhaskell > except perhaps to import instances from ‘DataCon’
> liquidhaskell > To import instances alone, use: import DataCon()
> liquidhaskell > |
> liquidhaskell > 199 | import qualified DataCon as Ghc
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/API.hs:271:1: warning: [-Wunused-imports]
> liquidhaskell > The import of ‘DynFlags’ is redundant
> liquidhaskell > except perhaps to import instances from ‘DynFlags’
> liquidhaskell > To import instances alone, use: import DynFlags()
> liquidhaskell > |
> liquidhaskell > 271 | import DynFlags as Ghc (targetPlatform)
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquidhaskell > [ 7 of 102] Compiling Language.Haskell.Liquid.GHC.GhcMonadLike
> liquidhaskell > [ 8 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.Tutorial
> liquidhaskell > [ 9 of 102] Compiling Language.Haskell.Liquid.GHC.Types
> liquidhaskell > [ 10 of 102] Compiling Language.Haskell.Liquid.Types.Generics
> liquidhaskell > [ 11 of 102] Compiling Language.Haskell.Liquid.Types.Names
> liquidhaskell > [ 12 of 102] Compiling Language.Haskell.Liquid.Types.Variance
> liquidhaskell > [ 13 of 102] Compiling Language.Haskell.Liquid.UX.Config
> liquidhaskell > [ 14 of 102] Compiling Gradual.Types
> liquidhaskell > [ 15 of 102] Compiling Gradual.Uniquify
> liquidhaskell > [ 16 of 102] Compiling Gradual.Refinements
> liquidhaskell > [ 17 of 102] Compiling Gradual.Concretize
> liquidhaskell > [ 18 of 102] Compiling Paths_liquidhaskell
> liquidhaskell > [ 19 of 102] Compiling Language.Haskell.Liquid.Misc
> liquidhaskell > [ 20 of 102] Compiling Language.Haskell.Liquid.Types.Errors
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Types/Errors.hs:519:1: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘pprSrcSpan’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > SrcLoc.RealSrcSpan _
> liquidhaskell > SrcLoc.UnhelpfulSpan _
> liquidhaskell > |
> liquidhaskell > 519 | pprSrcSpan (UnhelpfulSpan reason) = text $ case reason of
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Types/Errors.hs:714:3: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘toJSON’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > SrcLoc.RealSrcSpan _
> liquidhaskell > SrcLoc.UnhelpfulSpan _
> liquidhaskell > |
> liquidhaskell > 714 | toJSON (RealSrcSpan rsp _) = object [ "realSpan" .= True, "spanInfo" .= rsp ]
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell > [ 21 of 102] Compiling Language.Haskell.Liquid.GHC.Logging
> liquidhaskell > [ 22 of 102] Compiling Language.Haskell.Liquid.GHC.Misc
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/Misc.hs:206:3: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘hashWithSalt’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > _ (SrcLoc.RealSrcSpan _)
> liquidhaskell > _ (SrcLoc.UnhelpfulSpan _)
> liquidhaskell > |
> liquidhaskell > 206 | hashWithSalt i (UnhelpfulSpan reason) = case reason of
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/Misc.hs:242:1: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘srcSpanSourcePos’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > SrcLoc.RealSrcSpan _
> liquidhaskell > SrcLoc.UnhelpfulSpan _
> liquidhaskell > |
> liquidhaskell > 242 | srcSpanSourcePos (UnhelpfulSpan _) = dummyPos "<no source information>"
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/Misc.hs:246:1: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘srcSpanSourcePosE’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > SrcLoc.RealSrcSpan _
> liquidhaskell > SrcLoc.UnhelpfulSpan _
> liquidhaskell > |
> liquidhaskell > 246 | srcSpanSourcePosE (UnhelpfulSpan _) = dummyPos "<no source information>"
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell > [ 23 of 102] Compiling Language.Haskell.Liquid.UX.ACSS
> liquidhaskell > [ 24 of 102] Compiling Language.Haskell.Liquid.Types.Visitors
> liquidhaskell > [ 25 of 102] Compiling Language.Haskell.Liquid.Types.Types
> liquidhaskell > [ 26 of 102] Compiling Language.Haskell.Liquid.Types.PrettyPrint
> liquidhaskell > [ 27 of 102] Compiling Language.Haskell.Liquid.UX.CTags
> liquidhaskell > [ 28 of 102] Compiling Language.Haskell.Liquid.GHC.TypeRep
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/TypeRep.hs:62:1: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘showTy’:
> liquidhaskell > Patterns not matched: TyCoRep.FunTy _ _ _
> liquidhaskell > |
> liquidhaskell > 62 | showTy (TyConApp c ts) = "(RApp " ++ showPpr c ++ " " ++ sep' ", " (showTy <$> ts) ++ ")"
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/TypeRep.hs:90:1: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘substType’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > (Var.TyVar _ _ _) (TyVarTy _) (TyCoRep.FunTy _ _ _)
> liquidhaskell > (Var.TyVar _ _ _) (AppTy _ _) (TyCoRep.FunTy _ _ _)
> liquidhaskell > (Var.TyVar _ _ _) (TyConApp _ _) (TyCoRep.FunTy _ _ _)
> liquidhaskell > (Var.TyVar _ _ _) (ForAllTy _ _) (TyCoRep.FunTy _ _ _)
> liquidhaskell > ...
> liquidhaskell > |
> liquidhaskell > 90 | substType x tx (TyConApp c ts)
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell > [ 29 of 102] Compiling Language.Haskell.Liquid.GHC.SpanStack
> liquidhaskell > [ 30 of 102] Compiling Language.Haskell.Liquid.GHC.Resugar
> liquidhaskell > [ 31 of 102] Compiling Language.Haskell.Liquid.GHC.Play
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/Play.hs:103:1: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘substTysWith’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > unordered-containers-0.2.10.0:Data.HashMap.Base.Empty
> liquidhaskell > (TyCoRep.FunTy _ _ _)
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashMap.Base.BitmapIndexed _ _)
> liquidhaskell > (TyCoRep.FunTy _ _ _)
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashMap.Base.Leaf _ _)
> liquidhaskell > (TyCoRep.FunTy _ _ _)
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashMap.Base.Full _)
> liquidhaskell > (TyCoRep.FunTy _ _ _)
> liquidhaskell > ...
> liquidhaskell > |
> liquidhaskell > 103 | substTysWith s tv@(TyVarTy v) = M.lookupDefault tv v s
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/Play.hs:131:5: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘go’: Patterns not matched: TyCoRep.FunTy _ _ _
> liquidhaskell > |
> liquidhaskell > 131 | go t@(TyVarTy _) = f t
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell > [ 32 of 102] Compiling Language.Haskell.Liquid.Types.RefType
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Types/RefType.hs:1386:5: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘go’: Patterns not matched: TyCoRep.FunTy _ _ _
> liquidhaskell > |
> liquidhaskell > 1386 | go (TyVarTy α)
> liquidhaskell > | ^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Types/RefType.hs:1457:1: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘isBaseTy’:
> liquidhaskell > Patterns not matched: TyCoRep.FunTy _ _ _
> liquidhaskell > |
> liquidhaskell > 1457 | isBaseTy (TyVarTy _) = True
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Types/RefType.hs:1853:5: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘go’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > False (TyCoRep.FunTy _ _ _)
> liquidhaskell > True (TyCoRep.FunTy _ _ _)
> liquidhaskell > |
> liquidhaskell > 1853 | go pos (FunTy _ _ t1 t2) = go (not pos) t1 ++ go pos t2
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Types/RefType.hs:1885:5: warning: [-Wincomplete-patterns]
> liquidhaskell > Pattern match(es) are non-exhaustive
> liquidhaskell > In an equation for ‘go’:
> liquidhaskell > Patterns not matched:
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
> liquidhaskell > unordered-containers-0.2.10.0:Data.HashMap.Base.Empty)
> liquidhaskell > (TyCoRep.FunTy _ _ _)
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashMap.Base.BitmapIndexed _
> liquidhaskell > _))
> liquidhaskell > (TyCoRep.FunTy _ _ _)
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashMap.Base.Leaf _ _))
> liquidhaskell > (TyCoRep.FunTy _ _ _)
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashSet.Base.HashSet
> liquidhaskell > (unordered-containers-0.2.10.0:Data.HashMap.Base.Full _))
> liquidhaskell > (TyCoRep.FunTy _ _ _)
> liquidhaskell > ...
> liquidhaskell > |
> liquidhaskell > 1885 | go vis (FunTy _ _ t1 t2) = go vis t1 `S.union` go vis t2
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell > [ 33 of 102] Compiling Language.Haskell.Liquid.UX.Tidy
> liquidhaskell > [ 34 of 102] Compiling Language.Haskell.Liquid.Types.PredType
> liquidhaskell > [ 35 of 102] Compiling Language.Haskell.Liquid.WiredIn
> liquidhaskell > [ 36 of 102] Compiling Language.Haskell.Liquid.Types.Meet
> liquidhaskell > [ 37 of 102] Compiling Language.Haskell.Liquid.Types.Fresh
> liquidhaskell > [ 38 of 102] Compiling Language.Haskell.Liquid.Types.Dictionaries
> liquidhaskell > [ 39 of 102] Compiling Language.Haskell.Liquid.Types.Bounds
> liquidhaskell > [ 40 of 102] Compiling Language.Haskell.Liquid.Types.Specs
> liquidhaskell > [ 41 of 102] Compiling Language.Haskell.Liquid.Measure
> liquidhaskell > [ 42 of 102] Compiling Language.Haskell.Liquid.Bare.Types
> liquidhaskell > [ 43 of 102] Compiling Language.Haskell.Liquid.Transforms.Rewrite
> liquidhaskell > [ 44 of 102] Compiling Language.Haskell.Liquid.Transforms.Rec
> liquidhaskell > [ 45 of 102] Compiling Language.Haskell.Liquid.Transforms.ANF
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Transforms/ANF.hs:18:1: warning: [-Wunused-imports]
> liquidhaskell > The qualified import of ‘Language.Haskell.Liquid.GHC.API’ is redundant
> liquidhaskell > except perhaps to import instances from ‘Language.Haskell.Liquid.GHC.API’
> liquidhaskell > To import instances alone, use: import Language.Haskell.Liquid.GHC.API()
> liquidhaskell > |
> liquidhaskell > 18 | import qualified Language.Haskell.Liquid.GHC.API as O
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Transforms/ANF.hs:28:1: warning: [-Wunused-imports]
> liquidhaskell > The qualified import of ‘Language.Haskell.Liquid.Types.PrettyPrint’ is redundant
> liquidhaskell > except perhaps to import instances from ‘Language.Haskell.Liquid.Types.PrettyPrint’
> liquidhaskell > To import instances alone, use: import Language.Haskell.Liquid.Types.PrettyPrint()
> liquidhaskell > |
> liquidhaskell > 28 | import qualified Language.Haskell.Liquid.Types.PrettyPrint as F
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquidhaskell > [ 46 of 102] Compiling Language.Haskell.Liquid.Bare.Misc
> liquidhaskell > [ 47 of 102] Compiling Gradual.PrettyPrinting
> liquidhaskell > [ 48 of 102] Compiling Gradual.GUI.Types
> liquidhaskell > [ 49 of 102] Compiling Gradual.GUI.Annotate
> liquidhaskell > [ 50 of 102] Compiling Language.Haskell.Liquid.Bare.Resolve
> liquidhaskell > [ 51 of 102] Compiling Language.Haskell.Liquid.Bare.DataType
> liquidhaskell > [ 52 of 102] Compiling Language.Haskell.Liquid.Transforms.CoreToLogic
> liquidhaskell > [ 53 of 102] Compiling Language.Haskell.Liquid.Types.Literals
> liquidhaskell > [ 54 of 102] Compiling Language.Haskell.Liquid.Types
> liquidhaskell > [ 55 of 102] Compiling Language.Haskell.Liquid.UX.DiffCheck
> liquidhaskell > [ 56 of 102] Compiling Language.Haskell.Liquid.UX.Annotate
> liquidhaskell > [ 57 of 102] Compiling Language.Haskell.Liquid.UX.CmdLine
> liquidhaskell > [ 58 of 102] Compiling Gradual.GUI
> liquidhaskell > [ 59 of 102] Compiling Language.Haskell.Liquid.Types.Equality
> liquidhaskell > [ 60 of 102] Compiling Language.Haskell.Liquid.Transforms.Simplify
> liquidhaskell > [ 61 of 102] Compiling Language.Haskell.Liquid.UX.Errors
> liquidhaskell > [ 62 of 102] Compiling Language.Haskell.Liquid.Transforms.RefSplit
> liquidhaskell > [ 63 of 102] Compiling Language.Haskell.Liquid.Termination.Structural
> liquidhaskell > [ 64 of 102] Compiling Language.Haskell.Liquid.Synthesize.Termination
> liquidhaskell > [ 65 of 102] Compiling Language.Haskell.Liquid.Synthesize.GHC
> liquidhaskell > [ 66 of 102] Compiling Language.Haskell.Liquid.Synthesize.Misc
> liquidhaskell > [ 67 of 102] Compiling Language.Haskell.Liquid.Parse
> liquidhaskell > [ 68 of 102] Compiling Language.Haskell.Liquid.UX.QuasiQuoter
> liquidhaskell > [ 69 of 102] Compiling Language.Haskell.Liquid.LawInstances
> liquidhaskell > [ 70 of 102] Compiling Language.Haskell.Liquid.Constraint.Types
> liquidhaskell > [ 71 of 102] Compiling Language.Haskell.Liquid.Constraint.Qualifier
> liquidhaskell > [ 72 of 102] Compiling Language.Haskell.Liquid.Constraint.ToFixpoint
> liquidhaskell > [ 73 of 102] Compiling Language.Haskell.Liquid.Constraint.Fresh
> liquidhaskell > [ 74 of 102] Compiling Language.Haskell.Liquid.Constraint.Env
> liquidhaskell > [ 75 of 102] Compiling Language.Haskell.Liquid.Synthesize.Monad
> liquidhaskell > [ 76 of 102] Compiling Language.Haskell.Liquid.Synthesize.Env
> liquidhaskell > [ 77 of 102] Compiling Language.Haskell.Liquid.Constraint.Monad
> liquidhaskell > [ 78 of 102] Compiling Language.Haskell.Liquid.Constraint.Init
> liquidhaskell > [ 79 of 102] Compiling Language.Haskell.Liquid.Constraint.Constraint
> liquidhaskell > [ 80 of 102] Compiling Language.Haskell.Liquid.Constraint.Split
> liquidhaskell > [ 81 of 102] Compiling Language.Haskell.Liquid.Bare.ToBare
> liquidhaskell > [ 82 of 102] Compiling Language.Haskell.Liquid.Bare.Plugged
> liquidhaskell > [ 83 of 102] Compiling Language.Haskell.Liquid.Bare.Expand
> liquidhaskell > [ 84 of 102] Compiling Language.Haskell.Liquid.Bare.Laws
> liquidhaskell > [ 85 of 102] Compiling Language.Haskell.Liquid.Bare.Axiom
> liquidhaskell > [ 86 of 102] Compiling Language.Haskell.Liquid.Constraint.Generate
> liquidhaskell > [ 87 of 102] Compiling Language.Haskell.Liquid.Synthesize.Check
> liquidhaskell > [ 88 of 102] Compiling Language.Haskell.Liquid.Synthesize.Generate
> liquidhaskell > [ 89 of 102] Compiling Language.Haskell.Liquid.Synthesize
> liquidhaskell > [ 90 of 102] Compiling Language.Haskell.Liquid.Bare.Measure
> liquidhaskell > [ 91 of 102] Compiling Language.Haskell.Liquid.Bare.Class
> liquidhaskell > [ 92 of 102] Compiling Language.Haskell.Liquid.Bare.Check
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/Bare/Check.hs:14:1: warning: [-Wdodgy-imports]
> liquidhaskell > Module
> liquidhaskell > ‘Language.Haskell.Liquid.GHC.API’
> liquidhaskell > does not export
> liquidhaskell > ‘isWiredIn’
> liquidhaskell > |
> liquidhaskell > 14 | import Language.Haskell.Liquid.GHC.API as Ghc hiding ( Located
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell > [ 93 of 102] Compiling Language.Haskell.Liquid.Bare
> liquidhaskell > [ 94 of 102] Compiling Language.Haskell.Liquid.GHC.Interface
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/Interface.hs:63:1: warning: [-Wdodgy-imports]
> liquidhaskell > Module ‘Language.Haskell.Liquid.GHC.API’ does not export ‘linear’
> liquidhaskell > |
> liquidhaskell > 63 | import Language.Haskell.Liquid.GHC.API as Ghc hiding ( text
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/Interface.hs:63:1: warning: [-Wdodgy-imports]
> liquidhaskell > Module
> liquidhaskell > ‘Language.Haskell.Liquid.GHC.API’
> liquidhaskell > does not export
> liquidhaskell > ‘isHomeModule’
> liquidhaskell > |
> liquidhaskell > 63 | import Language.Haskell.Liquid.GHC.API as Ghc hiding ( text
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
> liquidhaskell > [ 95 of 102] Compiling Language.Haskell.Liquid.Liquid
> liquidhaskell > [ 96 of 102] Compiling Language.Haskell.Liquid.Interactive.Types
> liquidhaskell > [ 97 of 102] Compiling Language.Haskell.Liquid.Interactive.Handler
> liquidhaskell > [ 98 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.Types
> liquidhaskell > [ 99 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.Util
> liquidhaskell > [100 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin.SpecFinder
> liquidhaskell >
> liquidhaskell > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquidhaskell-0.8.10.2.1/src/Language/Haskell/Liquid/GHC/Plugin/SpecFinder.hs:29:1: warning: [-Wdodgy-imports]
> liquidhaskell > Module ‘Language.Haskell.Liquid.GHC.API’ does not export ‘linear’
> liquidhaskell > |
> liquidhaskell > 29 | import Language.Haskell.Liquid.GHC.API as GHC hiding (linear)
> liquidhaskell > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquidhaskell > [101 of 102] Compiling Language.Haskell.Liquid.GHC.Plugin
> liquidhaskell > [102 of 102] Compiling LiquidHaskell
> liquidhaskell > Preprocessing executable 'liquid' for liquidhaskell-0.8.10.2.1..
> liquidhaskell > Building executable 'liquid' for liquidhaskell-0.8.10.2.1..
> liquidhaskell > [1 of 1] Compiling Main
> liquidhaskell > Linking .stack-work/dist/x86_64-osx/Cabal-3.2.0.0/build/liquid/liquid ...
> liquidhaskell > copy/register
> liquidhaskell > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/liquidhaskell-0.8.10.2.1-5JpQQAPtuSYD0Lv7FOBDRN
> liquidhaskell > Installing executable liquid in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/bin
> liquidhaskell > Registering library for liquidhaskell-0.8.10.2.1..
> liquid-ghc-prim > configure
> liquid-ghc-prim > [1 of 2] Compiling Main ( /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-ghc-prim-0.6.1/Setup.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-ghc-prim-0.6.1/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/Main.o )
> liquid-ghc-prim > [2 of 2] Compiling StackSetupShim ( /Users/rjhala/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-ghc-prim-0.6.1/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/StackSetupShim.o )
> liquid-ghc-prim > Linking /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-ghc-prim-0.6.1/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/setup ...
> liquid-ghc-prim > Configuring liquid-ghc-prim-0.6.1...
> liquid-ghc-prim > build
> liquid-ghc-prim > Preprocessing library for liquid-ghc-prim-0.6.1..
> liquid-ghc-prim > Building library for liquid-ghc-prim-0.6.1..
> liquid-ghc-prim > [ 1 of 10] Compiling GHC.Debug
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [ 2 of 10] Compiling GHC.IntWord64
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [ 3 of 10] Compiling GHC.Magic
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [ 4 of 10] Compiling GHC.Prim
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [ 5 of 10] Compiling GHC.Prim.Ext
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [ 6 of 10] Compiling GHC.PrimopWrappers
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [ 7 of 10] Compiling GHC.Tuple
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [ 8 of 10] Compiling GHC.Types
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [ 9 of 10] Compiling GHC.Classes
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > [10 of 10] Compiling GHC.CString
> liquid-ghc-prim > 
> liquid-ghc-prim > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-ghc-prim > 
> liquid-ghc-prim > copy/register
> liquid-ghc-prim > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/liquid-ghc-prim-0.6.1-CqIeyMVWCdUF2YnYxwLHux
> liquid-ghc-prim > Registering library for liquid-ghc-prim-0.6.1..
> liquid-base > configure
> liquid-base > [1 of 2] Compiling Main ( /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/Setup.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/Main.o )
> liquid-base > [2 of 2] Compiling StackSetupShim ( /Users/rjhala/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/StackSetupShim.o )
> liquid-base > Linking /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/setup ...
> liquid-base > Configuring liquid-base-4.14.1.0...
> liquid-base > build
> liquid-base > Preprocessing library for liquid-base-4.14.1.0..
> liquid-base > Building library for liquid-base-4.14.1.0..
> liquid-base > [ 1 of 214] Compiling Control.Arrow
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 2 of 214] Compiling Control.Category
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 3 of 214] Compiling Control.Concurrent
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 4 of 214] Compiling Control.Concurrent.Chan
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 5 of 214] Compiling Control.Concurrent.MVar
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 6 of 214] Compiling Control.Concurrent.QSem
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 7 of 214] Compiling Control.Concurrent.QSemN
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 8 of 214] Compiling Control.Monad.Fail
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 9 of 214] Compiling Control.Monad.Fix
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 10 of 214] Compiling Control.Monad.IO.Class
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 11 of 214] Compiling Control.Monad.Instances
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/Control/Monad/Instances.hs:3:1: warning: [-Wdeprecations]
> liquid-base > Module ‘Control.Monad.Instances’ is deprecated:
> liquid-base > This module now contains no instances and will be removed in the future
> liquid-base > |
> liquid-base > 3 | import "base" Control.Monad.Instances as Exports
> liquid-base > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquid-base > [ 12 of 214] Compiling Control.Monad.ST
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 13 of 214] Compiling Control.Monad.ST.Lazy
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 14 of 214] Compiling Control.Monad.ST.Lazy.Safe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/Control/Monad/ST/Lazy/Safe.hs:3:1: warning: [-Wdeprecations]
> liquid-base > Module ‘Control.Monad.ST.Lazy.Safe’ is deprecated:
> liquid-base > Safe is now the default, please use Control.Monad.ST.Lazy instead
> liquid-base > |
> liquid-base > 3 | import "base" Control.Monad.ST.Lazy.Safe as Exports
> liquid-base > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquid-base > [ 15 of 214] Compiling Control.Monad.ST.Lazy.Unsafe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 16 of 214] Compiling Control.Monad.ST.Safe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/Control/Monad/ST/Safe.hs:3:1: warning: [-Wdeprecations]
> liquid-base > Module ‘Control.Monad.ST.Safe’ is deprecated:
> liquid-base > Safe is now the default, please use Control.Monad.ST instead
> liquid-base > |
> liquid-base > 3 | import "base" Control.Monad.ST.Safe as Exports
> liquid-base > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquid-base > [ 17 of 214] Compiling Control.Monad.ST.Strict
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 18 of 214] Compiling Control.Monad.ST.Unsafe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 19 of 214] Compiling Control.Monad.Zip
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 20 of 214] Compiling Data.Bifoldable
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 21 of 214] Compiling Data.Bifunctor
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 22 of 214] Compiling Data.Bitraversable
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 23 of 214] Compiling Data.Bits
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 24 of 214] Compiling Data.Bool
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 25 of 214] Compiling Data.Coerce
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 26 of 214] Compiling Data.Complex
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 27 of 214] Compiling Data.Data
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 28 of 214] Compiling Data.Dynamic
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 29 of 214] Compiling Data.Eq
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 30 of 214] Compiling Data.Fixed
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 31 of 214] Compiling Data.Foldable
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 32 of 214] Compiling Data.Function
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 33 of 214] Compiling Data.Functor
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 34 of 214] Compiling Data.Functor.Classes
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 35 of 214] Compiling Data.Functor.Compose
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 36 of 214] Compiling Data.Functor.Const
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 37 of 214] Compiling Data.Functor.Contravariant
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 38 of 214] Compiling Data.Functor.Identity
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 39 of 214] Compiling Data.Functor.Product
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 40 of 214] Compiling Data.Functor.Sum
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 41 of 214] Compiling Data.Ix
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 42 of 214] Compiling Data.Kind
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 43 of 214] Compiling Data.Monoid
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 44 of 214] Compiling Data.Ord
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 45 of 214] Compiling Data.Proxy
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 46 of 214] Compiling Data.STRef
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 47 of 214] Compiling Data.STRef.Lazy
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 48 of 214] Compiling Data.STRef.Strict
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 49 of 214] Compiling Data.Semigroup
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 50 of 214] Compiling Data.Traversable
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 51 of 214] Compiling Data.Type.Bool
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 52 of 214] Compiling Data.Type.Coercion
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 53 of 214] Compiling Data.Type.Equality
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 54 of 214] Compiling Data.Typeable
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 55 of 214] Compiling Data.Unique
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 56 of 214] Compiling Data.Version
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 57 of 214] Compiling Data.Void
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 58 of 214] Compiling Data.Word
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 59 of 214] Compiling Debug.Trace
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 60 of 214] Compiling Foreign.C
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 61 of 214] Compiling Foreign.C.Error
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 62 of 214] Compiling Foreign.ForeignPtr.Safe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/Foreign/ForeignPtr/Safe.hs:3:1: warning: [-Wdeprecations]
> liquid-base > Module ‘Foreign.ForeignPtr.Safe’ is deprecated:
> liquid-base > Safe is now the default, please use Foreign.ForeignPtr instead
> liquid-base > |
> liquid-base > 3 | import "base" Foreign.ForeignPtr.Safe as Exports
> liquid-base > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquid-base > [ 63 of 214] Compiling Foreign.ForeignPtr.Unsafe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 64 of 214] Compiling Foreign.Marshal
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 65 of 214] Compiling Foreign.Marshal.Array
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 66 of 214] Compiling Foreign.Marshal.Error
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 67 of 214] Compiling Foreign.Marshal.Pool
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 68 of 214] Compiling Foreign.Marshal.Safe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/Foreign/Marshal/Safe.hs:3:1: warning: [-Wdeprecations]
> liquid-base > Module ‘Foreign.Marshal.Safe’ is deprecated:
> liquid-base > Safe is now the default, please use Foreign.Marshal instead
> liquid-base > |
> liquid-base > 3 | import "base" Foreign.Marshal.Safe as Exports
> liquid-base > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquid-base > [ 69 of 214] Compiling Foreign.Marshal.Unsafe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 70 of 214] Compiling Foreign.Marshal.Utils
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 71 of 214] Compiling Foreign.Safe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/Foreign/Safe.hs:3:1: warning: [-Wdeprecations]
> liquid-base > Module ‘Foreign.Safe’ is deprecated:
> liquid-base > Safe is now the default, please use Foreign instead
> liquid-base > |
> liquid-base > 3 | import "base" Foreign.Safe as Exports
> liquid-base > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquid-base > [ 72 of 214] Compiling Foreign.StablePtr
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 73 of 214] Compiling GHC.Arr
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 74 of 214] Compiling GHC.Base
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 75 of 214] Compiling Data.Tuple
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 76 of 214] Compiling Data.String
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 77 of 214] Compiling Data.Ratio
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 78 of 214] Compiling Data.Maybe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 79 of 214] Compiling Data.IORef
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 80 of 214] Compiling Data.Either
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 81 of 214] Compiling Data.Char
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 82 of 214] Compiling Data.List
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 83 of 214] Compiling Data.List.NonEmpty
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 84 of 214] Compiling Control.Monad
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 85 of 214] Compiling Control.Exception.Base
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 86 of 214] Compiling Control.Exception
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 87 of 214] Compiling Control.Applicative
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 88 of 214] Compiling GHC.ByteOrder
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 89 of 214] Compiling GHC.Char
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 90 of 214] Compiling GHC.Clock
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 91 of 214] Compiling GHC.Conc
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 92 of 214] Compiling GHC.Conc.IO
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 93 of 214] Compiling GHC.Conc.Signal
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 94 of 214] Compiling GHC.Conc.Sync
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 95 of 214] Compiling GHC.ConsoleHandler
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 96 of 214] Compiling GHC.Constants
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 97 of 214] Compiling GHC.Desugar
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 98 of 214] Compiling GHC.Enum
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [ 99 of 214] Compiling GHC.Environment
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [100 of 214] Compiling GHC.Err
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [101 of 214] Compiling GHC.Exception
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [102 of 214] Compiling GHC.Exception.Type
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [103 of 214] Compiling GHC.ExecutionStack
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [104 of 214] Compiling GHC.ExecutionStack.Internal
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [105 of 214] Compiling GHC.Exts
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [106 of 214] Compiling GHC.Fingerprint
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [107 of 214] Compiling GHC.Fingerprint.Type
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [108 of 214] Compiling GHC.Float
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [109 of 214] Compiling GHC.Float.ConversionUtils
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [110 of 214] Compiling GHC.Float.RealFracMethods
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [111 of 214] Compiling GHC.Foreign
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [112 of 214] Compiling GHC.ForeignPtr
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [113 of 214] Compiling GHC.GHCi
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/GHC/GHCi.hs:3:1: warning: [-Wdeprecations]
> liquid-base > Module ‘GHC.GHCi’: This is an unstable interface.
> liquid-base > |
> liquid-base > 3 | import "base" GHC.GHCi as Exports
> liquid-base > | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> liquid-base > [114 of 214] Compiling GHC.GHCi.Helpers
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [115 of 214] Compiling GHC.Generics
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [116 of 214] Compiling GHC.IO
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [117 of 214] Compiling GHC.IO.Buffer
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [118 of 214] Compiling GHC.IO.BufferedIO
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [119 of 214] Compiling GHC.IO.Device
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [120 of 214] Compiling GHC.IO.Encoding
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [121 of 214] Compiling GHC.IO.Encoding.CodePage
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [122 of 214] Compiling GHC.IO.Encoding.Failure
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [123 of 214] Compiling GHC.IO.Encoding.Iconv
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [124 of 214] Compiling GHC.IO.Encoding.Latin1
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [125 of 214] Compiling GHC.IO.Encoding.Types
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [126 of 214] Compiling GHC.IO.Encoding.UTF16
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [127 of 214] Compiling GHC.IO.Encoding.UTF32
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [128 of 214] Compiling GHC.IO.Encoding.UTF8
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [129 of 214] Compiling GHC.IO.Exception
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [130 of 214] Compiling GHC.IO.FD
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [131 of 214] Compiling GHC.IO.Handle
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [132 of 214] Compiling GHC.IO.Handle.FD
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [133 of 214] Compiling GHC.IO.Handle.Internals
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [134 of 214] Compiling GHC.IO.Handle.Lock
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [135 of 214] Compiling GHC.IO.Handle.Text
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [136 of 214] Compiling GHC.IO.Handle.Types
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [137 of 214] Compiling GHC.IO.IOMode
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [138 of 214] Compiling GHC.IO.Unsafe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [139 of 214] Compiling GHC.IOArray
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [140 of 214] Compiling GHC.IORef
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [141 of 214] Compiling GHC.Int
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [142 of 214] Compiling Data.Int
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [143 of 214] Compiling GHC.Ix
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [144 of 214] Compiling GHC.List
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [145 of 214] Compiling GHC.MVar
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [146 of 214] Compiling GHC.Maybe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [147 of 214] Compiling GHC.Natural
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [148 of 214] Compiling GHC.Num
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [149 of 214] Compiling GHC.OldList
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [150 of 214] Compiling GHC.OverloadedLabels
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [151 of 214] Compiling GHC.Pack
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [152 of 214] Compiling GHC.Profiling
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [153 of 214] Compiling GHC.Ptr
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [154 of 214] Compiling Foreign.Ptr
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [155 of 214] Compiling Foreign.Storable
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [156 of 214] Compiling Foreign.C.String
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [157 of 214] Compiling Foreign.Marshal.Alloc
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [158 of 214] Compiling Foreign.Concurrent
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [159 of 214] Compiling Foreign.ForeignPtr
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/Foreign/Concurrent.spec:3:38: warning:
> liquid-base > Assume Overwrites Specifications for Foreign.Concurrent.newForeignPtr
> liquid-base > |
> liquid-base > 3 | Foreign.Concurrent.newForeignPtr :: p:(PtrV a) -> GHC.Types.IO () -> (GHC.Types.IO (ForeignPtrN a (plen p)))
> liquid-base > | ^
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [160 of 214] Compiling Foreign
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [161 of 214] Compiling GHC.RTS.Flags
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [162 of 214] Compiling GHC.Read
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [163 of 214] Compiling GHC.Real
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [164 of 214] Compiling GHC.Records
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [165 of 214] Compiling GHC.ResponseFile
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [166 of 214] Compiling GHC.ST
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [167 of 214] Compiling GHC.STRef
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [168 of 214] Compiling GHC.Show
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [169 of 214] Compiling GHC.Stable
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [170 of 214] Compiling GHC.StableName
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [171 of 214] Compiling GHC.Stack
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [172 of 214] Compiling GHC.Stack.CCS
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [173 of 214] Compiling GHC.Stack.Types
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [174 of 214] Compiling GHC.StaticPtr
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [175 of 214] Compiling GHC.Stats
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [176 of 214] Compiling GHC.Storable
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [177 of 214] Compiling GHC.TopHandler
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [178 of 214] Compiling GHC.TypeLits
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [179 of 214] Compiling GHC.TypeNats
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [180 of 214] Compiling GHC.Unicode
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [181 of 214] Compiling GHC.Weak
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [182 of 214] Compiling GHC.Word
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [183 of 214] Compiling Foreign.C.Types
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [184 of 214] Compiling Liquid.Prelude.NotReal
> liquid-base >
> liquid-base > /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-base-4.14.1.0/src/GHC/Real.spec:10:21: warning:
> liquid-base > Assume Overwrites Specifications for GHC.Real./
> liquid-base > |
> liquid-base > 10 | (GHC.Real./) :: x:a -> y:{v:a | v /= 0} -> {v:a | v == x / y}
> liquid-base > | ^
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [185 of 214] Compiling Liquid.Prelude.Real
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [186 of 214] Compiling Liquid.Prelude.Totality
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [187 of 214] Compiling Numeric
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [188 of 214] Compiling Numeric.Natural
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [189 of 214] Compiling Prelude
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [190 of 214] Compiling System.CPUTime
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [191 of 214] Compiling System.Console.GetOpt
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [192 of 214] Compiling System.Environment
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [193 of 214] Compiling System.Environment.Blank
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [194 of 214] Compiling System.Exit
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [195 of 214] Compiling System.IO
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [196 of 214] Compiling System.IO.Error
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [197 of 214] Compiling System.IO.Unsafe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [198 of 214] Compiling System.Info
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [199 of 214] Compiling System.Mem
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [200 of 214] Compiling System.Mem.StableName
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [201 of 214] Compiling System.Mem.Weak
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [202 of 214] Compiling System.Posix.Internals
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [203 of 214] Compiling System.Posix.Types
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [204 of 214] Compiling System.Timeout
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [205 of 214] Compiling Text.ParserCombinators.ReadP
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [206 of 214] Compiling Text.ParserCombinators.ReadPrec
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [207 of 214] Compiling Text.Printf
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [208 of 214] Compiling Text.Read
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [209 of 214] Compiling Text.Read.Lex
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [210 of 214] Compiling Text.Show
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [211 of 214] Compiling Text.Show.Functions
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [212 of 214] Compiling Type.Reflection
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [213 of 214] Compiling Type.Reflection.Unsafe
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > [214 of 214] Compiling Unsafe.Coerce
> liquid-base > 
> liquid-base > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-base > 
> liquid-base > copy/register
> liquid-base > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/liquid-base-4.14.1.0-IXWWUr9jg0l6rYxoPiq3G9
> liquid-base > Registering library for liquid-base-4.14.1.0..
> liquid-containers> configure
> liquid-containers> [1 of 2] Compiling Main ( /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-containers-0.6.2.1/Setup.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-containers-0.6.2.1/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/Main.o )
> liquid-containers> [2 of 2] Compiling StackSetupShim ( /Users/rjhala/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-containers-0.6.2.1/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/StackSetupShim.o )
> liquid-containers> Linking /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-containers-0.6.2.1/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/setup ...
> liquid-containers> Configuring liquid-containers-0.6.2.1...
> liquid-containers> build
> liquid-prelude > configure
> liquid-containers> Preprocessing library for liquid-containers-0.6.2.1..
> liquid-containers> Building library for liquid-containers-0.6.2.1..
> liquid-prelude > [1 of 2] Compiling Main ( /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-prelude-0.8.10.2/Setup.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-prelude-0.8.10.2/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/Main.o )
> liquid-prelude > [2 of 2] Compiling StackSetupShim ( /Users/rjhala/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-prelude-0.8.10.2/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/StackSetupShim.o )
> liquid-prelude > Linking /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-prelude-0.8.10.2/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/setup ...
> liquid-containers> [ 1 of 29] Compiling Data.Containers.ListUtils
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [ 2 of 29] Compiling Data.Graph
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [ 3 of 29] Compiling Data.IntMap
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [ 4 of 29] Compiling Data.IntMap.Internal
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [ 5 of 29] Compiling Data.IntMap.Internal.Debug
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [ 6 of 29] Compiling Data.IntMap.Lazy
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [ 7 of 29] Compiling Data.IntMap.Merge.Lazy
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [ 8 of 29] Compiling Data.IntMap.Merge.Strict
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [ 9 of 29] Compiling Data.IntMap.Strict
> liquid-prelude > Configuring liquid-prelude-0.8.10.2...
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [10 of 29] Compiling Data.IntMap.Strict.Internal
> liquid-prelude > build
> liquid-vector > configure
> liquid-prelude > Preprocessing library for liquid-prelude-0.8.10.2..
> liquid-prelude > Building library for liquid-prelude-0.8.10.2..
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [1 of 2] Compiling Main ( /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-vector-0.12.1.2/Setup.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-vector-0.12.1.2/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/Main.o )
> liquid-containers> [11 of 29] Compiling Data.IntSet
> liquid-vector > [2 of 2] Compiling StackSetupShim ( /Users/rjhala/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs, /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-vector-0.12.1.2/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/StackSetupShim.o )
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > Linking /private/var/folders/5d/75401zr129xg4_2tpfyhc87r0000gn/T/stack-81dc63279f1b2f97/liquid-vector-0.12.1.2/.stack-work/dist/x86_64-osx/Cabal-3.2.0.0/setup/setup ...
> liquid-containers> [12 of 29] Compiling Data.IntSet.Internal
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [13 of 29] Compiling Data.Map
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > [ 1 of 11] Compiling Language.Haskell.Liquid.Bag
> liquid-containers> [14 of 29] Compiling Data.Map.Internal
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (3 constraints checked) **************************************
> liquid-containers> [15 of 29] Compiling Data.Map.Internal.Debug
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > [ 2 of 11] Compiling Language.Haskell.Liquid.Equational
> liquid-containers> [16 of 29] Compiling Data.Map.Lazy
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (5 constraints checked) **************************************
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > [ 3 of 11] Compiling Language.Haskell.Liquid.Foreign
> liquid-containers> [17 of 29] Compiling Data.Map.Merge.Lazy
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [18 of 29] Compiling Data.Map.Merge.Strict
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [19 of 29] Compiling Data.Map.Strict
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [20 of 29] Compiling Data.Map.Strict.Internal
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (4 constraints checked) **************************************
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > [ 4 of 11] Compiling Language.Haskell.Liquid.List
> liquid-containers> [21 of 29] Compiling Data.Sequence
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > [ 5 of 11] Compiling Language.Haskell.Liquid.Prelude
> liquid-containers> [22 of 29] Compiling Data.Sequence.Internal
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > Configuring liquid-vector-0.12.1.2...
> liquid-containers> [23 of 29] Compiling Data.Sequence.Internal.Sorting
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (52 constraints checked) *************************************
> liquid-containers> [24 of 29] Compiling Data.Set
> liquid-vector > build
> liquid-prelude > [ 6 of 11] Compiling KMeansHelper
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > Preprocessing library for liquid-vector-0.12.1.2..
> liquid-vector > Building library for liquid-vector-0.12.1.2..
> liquid-containers> [25 of 29] Compiling Data.Set.Internal
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (151 constraints checked) ************************************
> liquid-containers> [26 of 29] Compiling Data.Tree
> liquid-prelude > [ 7 of 11] Compiling Language.Haskell.Liquid.ProofCombinators
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [27 of 29] Compiling Utils.Containers.Internal.BitQueue
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (6 constraints checked) **************************************
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > [ 8 of 11] Compiling Language.Haskell.Liquid.RTick
> liquid-vector > [ 1 of 21] Compiling Data.Vector
> liquid-containers> [28 of 29] Compiling Utils.Containers.Internal.BitUtil
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> [29 of 29] Compiling Utils.Containers.Internal.StrictPair
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> 
> liquid-containers> **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [ 2 of 21] Compiling Data.Vector.Fusion.Bundle
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [ 3 of 21] Compiling Data.Vector.Fusion.Bundle.Monadic
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (63 constraints checked) *************************************
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> 
> liquid-containers> copy/register
> liquid-containers> Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/liquid-containers-0.6.2.1-LLKVkSsPtMf1q3ff1TbP9Y
> liquid-vector > [ 4 of 21] Compiling Data.Vector.Fusion.Bundle.Size
> liquid-prelude > [ 9 of 11] Compiling Language.Haskell.Liquid.RTick.Combinators
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [ 5 of 21] Compiling Data.Vector.Fusion.Stream.Monadic
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (37 constraints checked) *************************************
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [ 6 of 21] Compiling Data.Vector.Fusion.Util
> liquid-prelude > [10 of 11] Compiling Language.Haskell.Liquid.String
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-containers> Registering library for liquid-containers-0.6.2.1..
> liquid-vector > [ 7 of 21] Compiling Data.Vector.Generic
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > [11 of 11] Compiling Language.Haskell.Liquid.Synthesize.Error
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > 
> liquid-prelude > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [ 8 of 21] Compiling Data.Vector.Generic.Base
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [ 9 of 21] Compiling Data.Vector.Generic.Mutable
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [10 of 21] Compiling Data.Vector.Generic.Mutable.Base
> liquid-prelude > 
> liquid-prelude > copy/register
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/liquid-prelude-0.8.10.2-7ZekyDH1fxqGZsj3ROydJO
> liquid-vector > [11 of 21] Compiling Data.Vector.Generic.New
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [12 of 21] Compiling Data.Vector.Internal.Check
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-prelude > Registering library for liquid-prelude-0.8.10.2..
> liquid-vector > [13 of 21] Compiling Data.Vector.Mutable
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [14 of 21] Compiling Data.Vector.Primitive
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [15 of 21] Compiling Data.Vector.Primitive.Mutable
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [16 of 21] Compiling Data.Vector.Storable
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [17 of 21] Compiling Data.Vector.Storable.Internal
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [18 of 21] Compiling Data.Vector.Storable.Mutable
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [19 of 21] Compiling Data.Vector.Unboxed
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [20 of 21] Compiling Data.Vector.Unboxed.Base
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > [21 of 21] Compiling Data.Vector.Unboxed.Mutable
> liquid-vector > 
> liquid-vector > **** LIQUID: SAFE (0 constraints checked) **************************************
> liquid-vector > 
> liquid-vector > copy/register
> liquid-vector > Installing library in /Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/lib/x86_64-osx-ghc-8.10.2/liquid-vector-0.12.1.2-6aODdzXLgW0Af6XFCjxQJT
> liquid-vector > Registering library for liquid-vector-0.12.1.2..
> lh-plugin-demo > configure (lib)
> Configuring lh-plugin-demo-0.1.0.0...
> lh-plugin-demo > initial-build-steps (lib)
> Completed 12 action(s).
> Configuring GHCi with the following packages: lh-plugin-demo
> /Users/rjhala/research/lh-demo/.stack-work/install/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/programs/x86_64-osx/ghc-8.10.2/lib/ghc-8.10.2/package.conf.d
2020-11-10 11:28:57.527935 [ThreadId 81] - Using interface files cache dir: /Users/rjhala/.cache/ghcide/main-fac234ccf27dde8d1bea14935e52d198101582da
2020-11-10 11:28:57.528201 [ThreadId 81] - Making new HscEnv[main]
[Info - 11:29:00 AM] Connection to server got closed. Server will restart.
haskell-language-server version: 0.5.1.0 (GHC: 8.10.2) (PATH: /Users/rjhala/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-0.5.1-darwin-8.10.2) (GIT hash: e3fe0e7546aa91e44cc56cfe8ec078a026cf533a)
Starting (haskell-language-server)LSP server...
with arguments: LspArguments {argLSP = True, argsCwd = Nothing, argFiles = [], argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "brittany",PluginId "eval",PluginId "floskell",PluginId "fourmolu",PluginId "ghcide",PluginId "importLens",PluginId "ormolu",PluginId "pragmas",PluginId "retrie",PluginId "stylish-haskell",PluginId "tactic"]
in directory: /Users/rjhala/research/lh-demo
If you are seeing this in a terminal, you probably should have run ghcide WITHOUT the --lsp option!
Started LSP server in 0.00s
2020-11-10 11:29:00.94212 [ThreadId 21] - Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-4339914212265915153) "file:///Users/rjhala/research/lh-demo"], clientSettings = hashed Nothing}
2020-11-10 11:29:00.943174 [ThreadId 21] - Configuration changed: Object (fromList [("haskell",Object (fromList [("logFile",String ""),("updateBehavior",String "keep-up-to-date"),("hlintOn",Bool True),("formatOnImportOn",Bool True),("indentationRules",Object (fromList [("enabled",Bool True)])),("liquidOn",Bool False),("languageServerVariant",String "haskell-language-server"),("serverExecutablePath",String ""),("diagnosticsOnChange",Bool True),("completionSnippetsOn",Bool True),("maxNumberOfProblems",Number 100.0),("formattingProvider",String "ormolu"),("trace",Object (fromList [("server",String "off")]))]))])
2020-11-10 11:29:00.944003 [ThreadId 21] - Opened text document: file:///Users/rjhala/research/lh-demo/src/Demo/Bug.hs
2020-11-10 11:29:00.94545 [ThreadId 73] - Consulting the cradle for "src/Demo/Bug.hs"
Output from setting up the cradle Cradle {cradleRootDir = "/Users/rjhala/research/lh-demo", cradleOptsProg = CradleAction: Stack}
> lh-plugin-demo> configure (lib)
> Configuring lh-plugin-demo-0.1.0.0...
> lh-plugin-demo> initial-build-steps (lib)
> Configuring GHCi with the following packages: lh-plugin-demo
> /Users/rjhala/research/lh-demo/.stack-work/install/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/programs/x86_64-osx/ghc-8.10.2/lib/ghc-8.10.2/package.conf.d
2020-11-10 11:29:04.337077 [ThreadId 73] - Using interface files cache dir: /Users/rjhala/.cache/ghcide/main-fac234ccf27dde8d1bea14935e52d198101582da
2020-11-10 11:29:04.337234 [ThreadId 73] - Making new HscEnv[main]
[Info - 11:29:06 AM] Connection to server got closed. Server will restart.
haskell-language-server version: 0.5.1.0 (GHC: 8.10.2) (PATH: /Users/rjhala/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-0.5.1-darwin-8.10.2) (GIT hash: e3fe0e7546aa91e44cc56cfe8ec078a026cf533a)
Starting (haskell-language-server)LSP server...
with arguments: LspArguments {argLSP = True, argsCwd = Nothing, argFiles = [], argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "brittany",PluginId "eval",PluginId "floskell",PluginId "fourmolu",PluginId "ghcide",PluginId "importLens",PluginId "ormolu",PluginId "pragmas",PluginId "retrie",PluginId "stylish-haskell",PluginId "tactic"]
in directory: /Users/rjhala/research/lh-demo
If you are seeing this in a terminal, you probably should have run ghcide WITHOUT the --lsp option!
Started LSP server in 0.00s
2020-11-10 11:29:07.014379 [ThreadId 21] - Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-4339914212265915153) "file:///Users/rjhala/research/lh-demo"], clientSettings = hashed Nothing}
2020-11-10 11:29:07.015515 [ThreadId 21] - Configuration changed: Object (fromList [("haskell",Object (fromList [("logFile",String ""),("updateBehavior",String "keep-up-to-date"),("hlintOn",Bool True),("formatOnImportOn",Bool True),("indentationRules",Object (fromList [("enabled",Bool True)])),("liquidOn",Bool False),("languageServerVariant",String "haskell-language-server"),("serverExecutablePath",String ""),("diagnosticsOnChange",Bool True),("completionSnippetsOn",Bool True),("maxNumberOfProblems",Number 100.0),("formattingProvider",String "ormolu"),("trace",Object (fromList [("server",String "off")]))]))])
2020-11-10 11:29:07.016779 [ThreadId 21] - Opened text document: file:///Users/rjhala/research/lh-demo/src/Demo/Bug.hs
2020-11-10 11:29:07.01826 [ThreadId 72] - Consulting the cradle for "src/Demo/Bug.hs"
Output from setting up the cradle Cradle {cradleRootDir = "/Users/rjhala/research/lh-demo", cradleOptsProg = CradleAction: Stack}
> lh-plugin-demo> configure (lib)
> Configuring lh-plugin-demo-0.1.0.0...
> lh-plugin-demo> initial-build-steps (lib)
> Configuring GHCi with the following packages: lh-plugin-demo
> /Users/rjhala/research/lh-demo/.stack-work/install/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/programs/x86_64-osx/ghc-8.10.2/lib/ghc-8.10.2/package.conf.d
2020-11-10 11:29:10.660595 [ThreadId 72] - Using interface files cache dir: /Users/rjhala/.cache/ghcide/main-fac234ccf27dde8d1bea14935e52d198101582da
2020-11-10 11:29:10.660755 [ThreadId 72] - Making new HscEnv[main]
[Info - 11:29:12 AM] Connection to server got closed. Server will restart.
haskell-language-server version: 0.5.1.0 (GHC: 8.10.2) (PATH: /Users/rjhala/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-0.5.1-darwin-8.10.2) (GIT hash: e3fe0e7546aa91e44cc56cfe8ec078a026cf533a)
Starting (haskell-language-server)LSP server...
with arguments: LspArguments {argLSP = True, argsCwd = Nothing, argFiles = [], argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "brittany",PluginId "eval",PluginId "floskell",PluginId "fourmolu",PluginId "ghcide",PluginId "importLens",PluginId "ormolu",PluginId "pragmas",PluginId "retrie",PluginId "stylish-haskell",PluginId "tactic"]
in directory: /Users/rjhala/research/lh-demo
If you are seeing this in a terminal, you probably should have run ghcide WITHOUT the --lsp option!
Started LSP server in 0.00s
2020-11-10 11:29:13.274954 [ThreadId 21] - Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-4339914212265915153) "file:///Users/rjhala/research/lh-demo"], clientSettings = hashed Nothing}
2020-11-10 11:29:13.276017 [ThreadId 21] - Configuration changed: Object (fromList [("haskell",Object (fromList [("logFile",String ""),("updateBehavior",String "keep-up-to-date"),("hlintOn",Bool True),("formatOnImportOn",Bool True),("indentationRules",Object (fromList [("enabled",Bool True)])),("liquidOn",Bool False),("languageServerVariant",String "haskell-language-server"),("serverExecutablePath",String ""),("diagnosticsOnChange",Bool True),("completionSnippetsOn",Bool True),("maxNumberOfProblems",Number 100.0),("formattingProvider",String "ormolu"),("trace",Object (fromList [("server",String "off")]))]))])
2020-11-10 11:29:13.276981 [ThreadId 21] - Opened text document: file:///Users/rjhala/research/lh-demo/src/Demo/Bug.hs
2020-11-10 11:29:13.278527 [ThreadId 72] - Consulting the cradle for "src/Demo/Bug.hs"
Output from setting up the cradle Cradle {cradleRootDir = "/Users/rjhala/research/lh-demo", cradleOptsProg = CradleAction: Stack}
> lh-plugin-demo> configure (lib)
> Configuring lh-plugin-demo-0.1.0.0...
> lh-plugin-demo> initial-build-steps (lib)
> Configuring GHCi with the following packages: lh-plugin-demo
> /Users/rjhala/research/lh-demo/.stack-work/install/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/programs/x86_64-osx/ghc-8.10.2/lib/ghc-8.10.2/package.conf.d
2020-11-10 11:29:16.733729 [ThreadId 72] - Using interface files cache dir: /Users/rjhala/.cache/ghcide/main-fac234ccf27dde8d1bea14935e52d198101582da
2020-11-10 11:29:16.733887 [ThreadId 72] - Making new HscEnv[main]
[Info - 11:29:19 AM] Connection to server got closed. Server will restart.
haskell-language-server version: 0.5.1.0 (GHC: 8.10.2) (PATH: /Users/rjhala/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-0.5.1-darwin-8.10.2) (GIT hash: e3fe0e7546aa91e44cc56cfe8ec078a026cf533a)
Starting (haskell-language-server)LSP server...
with arguments: LspArguments {argLSP = True, argsCwd = Nothing, argFiles = [], argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = False, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
with plugins: [PluginId "brittany",PluginId "eval",PluginId "floskell",PluginId "fourmolu",PluginId "ghcide",PluginId "importLens",PluginId "ormolu",PluginId "pragmas",PluginId "retrie",PluginId "stylish-haskell",PluginId "tactic"]
in directory: /Users/rjhala/research/lh-demo
If you are seeing this in a terminal, you probably should have run ghcide WITHOUT the --lsp option!
Started LSP server in 0.00s
2020-11-10 11:29:19.368369 [ThreadId 21] - Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-4339914212265915153) "file:///Users/rjhala/research/lh-demo"], clientSettings = hashed Nothing}
2020-11-10 11:29:19.36939 [ThreadId 21] - Configuration changed: Object (fromList [("haskell",Object (fromList [("logFile",String ""),("updateBehavior",String "keep-up-to-date"),("hlintOn",Bool True),("formatOnImportOn",Bool True),("indentationRules",Object (fromList [("enabled",Bool True)])),("liquidOn",Bool False),("languageServerVariant",String "haskell-language-server"),("serverExecutablePath",String ""),("diagnosticsOnChange",Bool True),("completionSnippetsOn",Bool True),("maxNumberOfProblems",Number 100.0),("formattingProvider",String "ormolu"),("trace",Object (fromList [("server",String "off")]))]))])
2020-11-10 11:29:19.370299 [ThreadId 21] - Opened text document: file:///Users/rjhala/research/lh-demo/src/Demo/Bug.hs
2020-11-10 11:29:19.371446 [ThreadId 72] - Consulting the cradle for "src/Demo/Bug.hs"
Output from setting up the cradle Cradle {cradleRootDir = "/Users/rjhala/research/lh-demo", cradleOptsProg = CradleAction: Stack}
> lh-plugin-demo> configure (lib)
> Configuring lh-plugin-demo-0.1.0.0...
> lh-plugin-demo> initial-build-steps (lib)
> Configuring GHCi with the following packages: lh-plugin-demo
> /Users/rjhala/research/lh-demo/.stack-work/install/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/snapshots/x86_64-osx/f81f1e9495c7d741ccaed25ea940054206e55dd0e1378c2ae0fc436f3d47ab06/8.10.2/pkgdb:/Users/rjhala/.stack/programs/x86_64-osx/ghc-8.10.2/lib/ghc-8.10.2/package.conf.d
2020-11-10 11:29:22.70275 [ThreadId 72] - Using interface files cache dir: /Users/rjhala/.cache/ghcide/main-fac234ccf27dde8d1bea14935e52d198101582da
2020-11-10 11:29:22.702902 [ThreadId 72] - Making new HscEnv[main]
[Error - 11:29:25 AM] Connection to server got closed. Server will not be restarted.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment