Skip to content
Snippets Groups Projects

Add a patch to build liquidhaskell with ghc HEAD from 2024-02-04

Compare and
8 files
+ 512
2
Compare changes
  • Side-by-side
  • Inline
Files
8
+ 6
2
@@ -11,7 +11,7 @@ module TestPatches
import Control.Monad
import Data.Foldable
import Data.List (intercalate)
import Data.List (intercalate, partition)
import Data.Maybe
import Data.Text (Text)
import GHC.Generics
@@ -247,6 +247,9 @@ resultSummary broken runResult = (ok, msg)
msg = vcat
[ "Total packages built:" <+> pshow (length allUnits)
, ""
, pshow (length expectedPlanningErrs) <+> "had no valid install plan (expected):"
, PP.indent 4 $ vcat $ map (uncurry prettyPkgVer) expectedPlanningErrs
, ""
, pshow (length planningErrs) <+> "had no valid install plan:"
, PP.indent 4 $ vcat $ map (uncurry prettyPkgVer) planningErrs
, ""
@@ -273,7 +276,8 @@ resultSummary broken runResult = (ok, msg)
[ prettyPkgName pkg_name | pkg_name <- failedTests ]
]
allUnits = runResultUnits runResult
planningErrs = planningErrors runResult
(expectedPlanningErrs, planningErrs) =
partition (failureExpected broken . fst) (planningErrors runResult)
failedTests = [ pkg_name | (TestedPatch pkg_name ver (PackageResult (PackageBuildSucceeded PackageTestsFailed) _)) <- testedTests runResult ]
Loading