Build Liquid Haskell with ghc-9.8.1 #765
facundominguezAnnotations
1 error and 3 warnings
|
hlint
HLint failed with status: 1. Warning (2)
|
|
hlint
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, haskell/actions/hlint-setup@v2, haskell/actions/hlint-run@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
hlint:
liquidhaskell-boot/src-ghc/Liquid/GHC/API.hs#L452
Warning in module Liquid.GHC.API: Use fewer imports ▫︎ Found: "import GHC.Iface.Load as Ghc ( WhereFrom(ImportBySystem) )\nimport GHC.Iface.Load as Ghc ( cannotFindModule, loadInterface )\n" ▫︎ Perhaps: "import GHC.Iface.Load as Ghc\n ( WhereFrom(ImportBySystem), cannotFindModule, loadInterface )\n"
|
|
hlint:
liquidhaskell-boot/src-ghc/Liquid/GHC/API.hs#L557
Warning in module Liquid.GHC.API: Use fewer imports ▫︎ Found: "import GHC.Types.Error as Ghc\n ( Messages(getMessages),\n MessageClass(MCDiagnostic),\n Diagnostic,\n DiagnosticReason(WarningWithoutFlag),\n MsgEnvelope(errMsgSpan),\n defaultDiagnosticOpts,\n errorsOrFatalWarningsFound,\n mkPlainError )\nimport GHC.Types.Error as Ghc\n ( ResolvedDiagnosticReason(ResolvedDiagnosticReason) )\n" ▫︎ Perhaps: "import GHC.Types.Error as Ghc\n ( Messages(getMessages),\n MessageClass(MCDiagnostic),\n Diagnostic,\n DiagnosticReason(WarningWithoutFlag),\n MsgEnvelope(errMsgSpan),\n defaultDiagnosticOpts,\n errorsOrFatalWarningsFound,\n mkPlainError,\n ResolvedDiagnosticReason(ResolvedDiagnosticReason) )\n"
|