build devShells.x86_64-linux.ghc9122
1427.41 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edges1 ============
1427.41 s
[algebraic-graphs] OK: edges1 [(x,y)] == edge x y
1427.41 s
[algebraic-graphs] OK: edges1 == overlays1 . fmap (uncurry edge)
1427.41 s
[algebraic-graphs] OK: edgeCount . edges1 == length . nub
1427.41 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.overlays1 ============
1430.15 s
[algebraic-graphs] OK: overlays1 [x] == x
1430.15 s
[algebraic-graphs] OK: overlays1 [x,y] == overlay x y
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.connects1 ============
1430.15 s
[algebraic-graphs] OK: connects1 [x] == x
1430.15 s
[algebraic-graphs] OK: connects1 [x,y] == connect x y
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.isSubgraphOf ============
1430.15 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1430.15 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1430.15 s
[algebraic-graphs] OK: isSubgraphOf (path1 xs) (circuit1 xs) == True
1430.15 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.hasVertex ============
1430.15 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.hasEdge ============
1430.15 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1430.15 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1430.15 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1430.15 s
[algebraic-graphs] OK: hasEdge x y == elem (x,y) . edgeList
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.vertexCount ============
1430.15 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1430.15 s
[algebraic-graphs] OK: vertexCount x >= 1
1430.15 s
[algebraic-graphs] OK: vertexCount == length . vertexList1
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edgeCount ============
1430.15 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1430.15 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1430.15 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.vertexList1 ============
1430.15 s
[algebraic-graphs] OK: vertexList1 (vertex x) == [x]
1430.15 s
[algebraic-graphs] OK: vertexList1 . vertices1 == nub . sort
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edgeList ============
1430.15 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1430.15 s
[algebraic-graphs] OK: edgeList (edge x y) == [(x,y)]
1430.15 s
[algebraic-graphs] OK: edgeList (star 2 [3,1]) == [(2,1), (2,3)]
1430.15 s
[algebraic-graphs] OK: edgeList . edges1 == nub . sort . toList
1430.15 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.vertexSet ============
1430.15 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1430.15 s
[algebraic-graphs] OK: vertexSet . vertices1 == Set.fromList . toList
1430.15 s
[algebraic-graphs] OK: vertexSet . clique1 == Set.fromList . toList
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edgeSet ============
1430.15 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1430.15 s
[algebraic-graphs] OK: edgeSet (edge x y) == Set.singleton (x,y)
1430.15 s
[algebraic-graphs] OK: edgeSet . edges1 == Set.fromList . toList
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.preSet ============
1430.15 s
[algebraic-graphs] OK: preSet x (vertex x) == Set.empty
1430.15 s
[algebraic-graphs] OK: preSet 1 (edge 1 2) == Set.empty
1430.15 s
[algebraic-graphs] OK: preSet y (edge x y) == Set.fromList [x]
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.postSet ============
1430.15 s
[algebraic-graphs] OK: postSet x (vertex x) == Set.empty
1430.15 s
[algebraic-graphs] OK: postSet x (edge x y) == Set.fromList [y]
1430.15 s
[algebraic-graphs] OK: postSet 2 (edge 1 2) == Set.empty
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.path1 ============
1430.15 s
[algebraic-graphs] OK: path1 [x] == vertex x
1430.15 s
[algebraic-graphs] OK: path1 [x,y] == edge x y
1430.15 s
[algebraic-graphs] OK: path1 . reverse == transpose . path1
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.circuit1 ============
1430.15 s
[algebraic-graphs] OK: circuit1 [x] == edge x x
1430.15 s
[algebraic-graphs] OK: circuit1 [x,y] == edges1 [(x,y), (y,x)]
1430.15 s
[algebraic-graphs] OK: circuit1 . reverse == transpose . circuit1
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.clique1 ============
1430.15 s
[algebraic-graphs] OK: clique1 [x] == vertex x
1430.15 s
[algebraic-graphs] OK: clique1 [x,y] == edge x y
1430.15 s
[algebraic-graphs] OK: clique1 [x,y,z] == edges1 [(x,y), (x,z), (y,z)]
1430.15 s
[algebraic-graphs] OK: clique1 (xs <> ys) == connect (clique1 xs) (clique1 ys)
1430.15 s
[algebraic-graphs] OK: clique1 . reverse == transpose . clique1
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.biclique1 ============
1430.15 s
[algebraic-graphs] OK: biclique1 [x1,x2] [y1,y2] == edges1 [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1430.15 s
[algebraic-graphs] OK: biclique1 xs ys == connect (vertices1 xs) (vertices1 ys)
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.star ============
1430.15 s
[algebraic-graphs] OK: star x [] == vertex x
1430.15 s
[algebraic-graphs] OK: star x [y] == edge x y
1430.15 s
[algebraic-graphs] OK: star x [y,z] == edges1 [(x,y), (x,z)]
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.stars1 ============
1430.15 s
[algebraic-graphs] OK: stars1 [(x, [] )] == vertex x
1430.15 s
[algebraic-graphs] OK: stars1 [(x, [y])] == edge x y
1430.15 s
[algebraic-graphs] OK: stars1 [(x, ys )] == star x ys
1430.15 s
[algebraic-graphs] OK: stars1 == overlays1 . fmap (uncurry star)
1430.15 s
[algebraic-graphs] OK: overlay (stars1 xs) (stars1 ys) == stars1 (xs <> ys)
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.tree ============
1430.15 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1430.15 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path1 [x,y,z]
1430.15 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1430.15 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges1 [(1,2), (1,3), (3,4), (3,5)]
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.removeVertex1 ============
1430.15 s
[algebraic-graphs] OK: removeVertex1 x (vertex x) == Nothing
1430.15 s
[algebraic-graphs] OK: removeVertex1 1 (vertex 2) == Just (vertex 2)
1430.15 s
[algebraic-graphs] OK: removeVertex1 x (edge x x) == Nothing
1430.15 s
[algebraic-graphs] OK: removeVertex1 1 (edge 1 2) == Just (vertex 2)
1430.15 s
[algebraic-graphs] OK: removeVertex1 x >=> removeVertex1 x == removeVertex1 x
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.removeEdge ============
1430.15 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices1 [x,y]
1430.15 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1430.15 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1430.15 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.replaceVertex ============
1430.15 s
[algebraic-graphs] OK: replaceVertex x x == id
1430.15 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1430.15 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.mergeVertices ============
1430.15 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1430.15 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1430.15 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1430.15 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.transpose ============
1430.15 s
[algebraic-graphs] OK: transpose (vertex x) == vertex x
1430.15 s
[algebraic-graphs] OK: transpose (edge x y) == edge y x
1430.15 s
[algebraic-graphs] OK: transpose . transpose == id
1430.15 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.gmap ============
1430.15 s
[algebraic-graphs] OK: gmap f (vertex x) == vertex (f x)
1430.15 s
[algebraic-graphs] OK: gmap f (edge x y) == edge (f x) (f y)
1430.15 s
[algebraic-graphs] OK: gmap id == id
1430.15 s
[algebraic-graphs] OK: gmap f . gmap g == gmap (f . g)
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.induce1 ============
1430.15 s
[algebraic-graphs] OK: induce1 (const True ) x == Just x
1430.15 s
[algebraic-graphs] OK: induce1 (const False) x == Nothing
1430.15 s
[algebraic-graphs] OK: induce1 (/= x) == removeVertex1 x
1430.15 s
[algebraic-graphs] OK: induce1 p >=> induce1 q == induce1 (\x -> p x && q x)
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.induceJust1 ============
1430.15 s
[algebraic-graphs] OK: induceJust1 (vertex Nothing) == Nothing
1430.15 s
[algebraic-graphs] OK: induceJust1 (edge (Just x) Nothing) == Just (vertex x)
1430.15 s
[algebraic-graphs] OK: induceJust1 . gmap Just == Just
1430.15 s
[algebraic-graphs] OK: induceJust1 . gmap (\x -> if p x then Just x else Nothing) == induce1 p
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.closure ============
1430.15 s
[algebraic-graphs] OK: closure (vertex x) == edge x x
1430.15 s
[algebraic-graphs] OK: closure (edge x x) == edge x x
1430.15 s
[algebraic-graphs] OK: closure (edge x y) == edges1 [(x,x), (x,y), (y,y)]
1430.15 s
[algebraic-graphs] OK: closure (path1 $ nub xs) == reflexiveClosure (clique1 $ nub xs)
1430.15 s
[algebraic-graphs] OK: closure == reflexiveClosure . transitiveClosure
1430.15 s
[algebraic-graphs] OK: closure == transitiveClosure . reflexiveClosure
1430.15 s
[algebraic-graphs] OK: closure . closure == closure
1430.15 s
[algebraic-graphs] OK: postSet x (closure y) == Set.fromList (reachable y x)
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.reflexiveClosure ============
1430.15 s
[algebraic-graphs] OK: reflexiveClosure (vertex x) == edge x x
1430.15 s
[algebraic-graphs] OK: reflexiveClosure (edge x x) == edge x x
1430.15 s
[algebraic-graphs] OK: reflexiveClosure (edge x y) == edges1 [(x,x), (x,y), (y,y)]
1430.15 s
[algebraic-graphs] OK: reflexiveClosure . reflexiveClosure == reflexiveClosure
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.symmetricClosure ============
1430.15 s
[algebraic-graphs] OK: symmetricClosure (vertex x) == vertex x
1430.15 s
[algebraic-graphs] OK: symmetricClosure (edge x y) == edges1 [(x,y), (y,x)]
1430.15 s
[algebraic-graphs] OK: symmetricClosure x == overlay x (transpose x)
1430.15 s
[algebraic-graphs] OK: symmetricClosure . symmetricClosure == symmetricClosure
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.transitiveClosure ============
1430.15 s
[algebraic-graphs] OK: transitiveClosure (vertex x) == vertex x
1430.15 s
[algebraic-graphs] OK: transitiveClosure (edge x y) == edge x y
1430.15 s
[algebraic-graphs] OK: transitiveClosure (path1 $ nub xs) == clique1 (nub $ xs)
1430.15 s
[algebraic-graphs] OK: transitiveClosure . transitiveClosure == transitiveClosure
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ NonEmpty.Graph.============
1430.15 s
[algebraic-graphs] OK: Axioms of non-empty graphs
1430.15 s
[algebraic-graphs] OK: Theorems of non-empty graphs
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ Ord (NonEmpty.Graph a) ============
1430.15 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1430.15 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1430.15 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1430.15 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1430.15 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1430.15 s
[algebraic-graphs] OK: edge 1 2 < edge 1 3
1430.15 s
[algebraic-graphs] OK: x <= x + y
1430.15 s
[algebraic-graphs] OK: x + y <= x * y
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ Functor (NonEmpty.Graph a) ============
1430.15 s
[algebraic-graphs] OK: fmap f (vertex x) == vertex (f x)
1430.15 s
[algebraic-graphs] OK: fmap f (edge x y) == edge (f x) (f y)
1430.15 s
[algebraic-graphs] OK: fmap id == id
1430.15 s
[algebraic-graphs] OK: fmap f . fmap g == fmap (f . g)
1430.15 s
[algebraic-graphs]
1430.15 s
[algebraic-graphs] ============ Monad (NonEmpty.Graph a) ============
1430.15 s
[algebraic-graphs] OK: (vertex x >>= f) == f x
1431.38 s
[algebraic-graphs] OK: (edge x y >>= f) == connect (f x) (f y)
1431.38 s
[algebraic-graphs] OK: (vertices1 xs >>= f) == overlays1 (fmap f xs)
1431.38 s
[algebraic-graphs] OK: (x >>= vertex) == x
1431.38 s
[algebraic-graphs] OK: ((x >>= f) >>= g) == (x >>= (\y -> (f y) >>= g))
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.toNonEmpty ============
1431.38 s
[algebraic-graphs] OK: toNonEmpty empty == Nothing
1431.38 s
[algebraic-graphs] OK: toNonEmpty (toGraph x) == Just (x :: NonEmpty.Graph a)
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.vertex ============
1431.38 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1431.38 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1431.38 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1431.38 s
[algebraic-graphs] OK: size (vertex x) == 1
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.edge ============
1431.38 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1431.38 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1431.38 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1431.38 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1431.38 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.overlay ============
1431.38 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1431.38 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1431.38 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1431.38 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1431.38 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1431.38 s
[algebraic-graphs] OK: size (overlay x y) == size x + size y
1431.38 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1431.38 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.overlay1 ============
1431.38 s
[algebraic-graphs] OK: overlay1 empty x == x
1431.38 s
[algebraic-graphs] OK: x /= empty ==> overlay1 x y == overlay (fromJust $ toNonEmpty x) y
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.connect ============
1431.38 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1431.38 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1431.38 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1431.38 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1431.38 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1431.38 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y
1431.38 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1431.38 s
[algebraic-graphs] OK: size (connect x y) == size x + size y
1431.38 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1431.38 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.vertices1 ============
1431.38 s
[algebraic-graphs] OK: vertices1 [x] == vertex x
1431.38 s
[algebraic-graphs] OK: hasVertex x . vertices1 == elem x
1431.38 s
[algebraic-graphs] OK: vertexCount . vertices1 == length . nub
1431.38 s
[algebraic-graphs] OK: vertexSet . vertices1 == Set.fromList . toList
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.edges1 ============
1431.38 s
[algebraic-graphs] OK: edges1 [(x,y)] == edge x y
1431.38 s
[algebraic-graphs] OK: edges1 == overlays1 . fmap (uncurry edge)
1431.38 s
[algebraic-graphs] OK: edgeCount . edges1 == length . nub
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.overlays1 ============
1431.38 s
[algebraic-graphs] OK: overlays1 [x] == x
1431.38 s
[algebraic-graphs] OK: overlays1 [x,y] == overlay x y
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.connects1 ============
1431.38 s
[algebraic-graphs] OK: connects1 [x] == x
1431.38 s
[algebraic-graphs] OK: connects1 [x,y] == connect x y
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.foldg1 ============
1431.38 s
[algebraic-graphs] OK: foldg1 vertex overlay connect == id
1431.38 s
[algebraic-graphs] OK: foldg1 vertex overlay (flip connect) == transpose
1431.38 s
[algebraic-graphs] OK: foldg1 (const 1) (+) (+) == size
1431.38 s
[algebraic-graphs] OK: foldg1 (== x) (||) (||) == hasVertex x
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.isSubgraphOf ============
1431.38 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1431.38 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1431.38 s
[algebraic-graphs] OK: isSubgraphOf (path1 xs) (circuit1 xs) == True
1431.38 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.(===) ============
1431.38 s
[algebraic-graphs] OK: x === x == True
1431.38 s
[algebraic-graphs] OK: x + y === x + y == True
1431.38 s
[algebraic-graphs] OK: 1 + 2 === 2 + 1 == False
1431.38 s
[algebraic-graphs] OK: x + y === x * y == False
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.size ============
1431.38 s
[algebraic-graphs] OK: size (vertex x) == 1
1431.38 s
[algebraic-graphs] OK: size (overlay x y) == size x + size y
1431.38 s
[algebraic-graphs] OK: size (connect x y) == size x + size y
1431.38 s
[algebraic-graphs] OK: size x >= 1
1431.38 s
[algebraic-graphs] OK: size x >= vertexCount x
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.hasVertex ============
1431.38 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.hasEdge ============
1431.38 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1431.38 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1431.38 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1431.38 s
[algebraic-graphs] OK: hasEdge x y == elem (x,y) . edgeList
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.vertexCount ============
1431.38 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1431.38 s
[algebraic-graphs] OK: vertexCount x >= 1
1431.38 s
[algebraic-graphs] OK: vertexCount == length . vertexList1
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.edgeCount ============
1431.38 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1431.38 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1431.38 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.vertexList1 ============
1431.38 s
[algebraic-graphs] OK: vertexList1 (vertex x) == [x]
1431.38 s
[algebraic-graphs] OK: vertexList1 . vertices1 == nub . sort
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.edgeList ============
1431.38 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1431.38 s
[algebraic-graphs] OK: edgeList (edge x y) == [(x,y)]
1431.38 s
[algebraic-graphs] OK: edgeList (star 2 [3,1]) == [(2,1), (2,3)]
1431.38 s
[algebraic-graphs] OK: edgeList . edges1 == nub . sort . toList
1431.38 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.vertexSet ============
1431.38 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1431.38 s
[algebraic-graphs] OK: vertexSet . vertices1 == Set.fromList . toList
1431.38 s
[algebraic-graphs] OK: vertexSet . clique1 == Set.fromList . toList
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.edgeSet ============
1431.38 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1431.38 s
[algebraic-graphs] OK: edgeSet (edge x y) == Set.singleton (x,y)
1431.38 s
[algebraic-graphs] OK: edgeSet . edges1 == Set.fromList . toList
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.path1 ============
1431.38 s
[algebraic-graphs] OK: path1 [x] == vertex x
1431.38 s
[algebraic-graphs] OK: path1 [x,y] == edge x y
1431.38 s
[algebraic-graphs] OK: path1 . reverse == transpose . path1
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.circuit1 ============
1431.38 s
[algebraic-graphs] OK: circuit1 [x] == edge x x
1431.38 s
[algebraic-graphs] OK: circuit1 [x,y] == edges1 [(x,y), (y,x)]
1431.38 s
[algebraic-graphs] OK: circuit1 . reverse == transpose . circuit1
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.clique1 ============
1431.38 s
[algebraic-graphs] OK: clique1 [x] == vertex x
1431.38 s
[algebraic-graphs] OK: clique1 [x,y] == edge x y
1431.38 s
[algebraic-graphs] OK: clique1 [x,y,z] == edges1 [(x,y), (x,z), (y,z)]
1431.38 s
[algebraic-graphs] OK: clique1 (xs <> ys) == connect (clique1 xs) (clique1 ys)
1431.38 s
[algebraic-graphs] OK: clique1 . reverse == transpose . clique1
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.biclique1 ============
1431.38 s
[algebraic-graphs] OK: biclique1 [x1,x2] [y1,y2] == edges1 [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1431.38 s
[algebraic-graphs] OK: biclique1 xs ys == connect (vertices1 xs) (vertices1 ys)
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.star ============
1431.38 s
[algebraic-graphs] OK: star x [] == vertex x
1431.38 s
[algebraic-graphs] OK: star x [y] == edge x y
1431.38 s
[algebraic-graphs] OK: star x [y,z] == edges1 [(x,y), (x,z)]
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.stars1 ============
1431.38 s
[algebraic-graphs] OK: stars1 [(x, [] )] == vertex x
1431.38 s
[algebraic-graphs] OK: stars1 [(x, [y])] == edge x y
1431.38 s
[algebraic-graphs] OK: stars1 [(x, ys )] == star x ys
1431.38 s
[algebraic-graphs] OK: stars1 == overlays1 . fmap (uncurry star)
1431.38 s
[algebraic-graphs] OK: overlay (stars1 xs) (stars1 ys) == stars1 (xs <> ys)
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.tree ============
1431.38 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1431.38 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path1 [x,y,z]
1431.38 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1431.38 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges1 [(1,2), (1,3), (3,4), (3,5)]
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.mesh1 ============
1431.38 s
[algebraic-graphs] OK: mesh1 [x] [y] == vertex (x, y)
1431.38 s
[algebraic-graphs] OK: mesh1 xs ys == box (path1 xs) (path1 ys)
1431.38 s
[algebraic-graphs] OK: mesh1 [1,2,3] ['a', 'b'] == <correct result>
1431.38 s
[algebraic-graphs] OK: size (mesh xs ys) == max 1 (3 * length xs * length ys - length xs - length ys -1)
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.torus1 ============
1431.38 s
[algebraic-graphs] OK: torus1 [x] [y] == edge (x,y) (x,y)
1431.38 s
[algebraic-graphs] OK: torus1 xs ys == box (circuit1 xs) (circuit1 ys)
1431.38 s
[algebraic-graphs] OK: torus1 [1,2] ['a', 'b'] == <correct result>
1431.38 s
[algebraic-graphs] OK: size (torus1 xs ys) == max 1 (3 * length xs * length ys)
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.removeVertex1 ============
1431.38 s
[algebraic-graphs] OK: removeVertex1 x (vertex x) == Nothing
1431.38 s
[algebraic-graphs] OK: removeVertex1 1 (vertex 2) == Just (vertex 2)
1431.38 s
[algebraic-graphs] OK: removeVertex1 x (edge x x) == Nothing
1431.38 s
[algebraic-graphs] OK: removeVertex1 1 (edge 1 2) == Just (vertex 2)
1431.38 s
[algebraic-graphs] OK: removeVertex1 x >=> removeVertex1 x == removeVertex1 x
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.removeEdge ============
1431.38 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices1 [x,y]
1431.38 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1431.38 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1431.38 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1431.38 s
[algebraic-graphs] OK: size (removeEdge x y z) <= 3 * size z
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.replaceVertex ============
1431.38 s
[algebraic-graphs] OK: replaceVertex x x == id
1431.38 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1431.38 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1431.38 s
[algebraic-graphs]
1431.38 s
[algebraic-graphs] ============ NonEmpty.Graph.mergeVertices ============
1431.38 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1432.67 s
[haskell-language-server] Preprocessing library 'hls-alternate-number-format-plugin' for haskell-language-server-2.12.0.0...
1432.67 s
[haskell-language-server] Building library 'hls-alternate-number-format-plugin' for haskell-language-server-2.12.0.0...
1432.80 s
[haskell-language-server] [1 of 3] Compiling Ide.Plugin.Literals ( plugins/hls-alternate-number-format-plugin/src/Ide/Plugin/Literals.hs, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/Literals.o, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/Literals.dyn_o )
1434.10 s
[haskell-language-server] [2 of 3] Compiling Ide.Plugin.Conversion ( plugins/hls-alternate-number-format-plugin/src/Ide/Plugin/Conversion.hs, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/Conversion.o, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/Conversion.dyn_o )
1434.52 s
[haskell-language-server] [3 of 3] Compiling Ide.Plugin.AlternateNumberFormat ( plugins/hls-alternate-number-format-plugin/src/Ide/Plugin/AlternateNumberFormat.hs, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/AlternateNumberFormat.o, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/AlternateNumberFormat.dyn_o )
1435.68 s
[haskell-language-server] [1 of 3] Compiling Ide.Plugin.Literals ( plugins/hls-alternate-number-format-plugin/src/Ide/Plugin/Literals.hs, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/Literals.p_o )
1436.71 s
[haskell-language-server] [2 of 3] Compiling Ide.Plugin.Conversion ( plugins/hls-alternate-number-format-plugin/src/Ide/Plugin/Conversion.hs, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/Conversion.p_o )
1437.00 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1437.00 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1437.00 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ NonEmpty.Graph.splitVertex1 ============
1437.00 s
[algebraic-graphs] OK: splitVertex1 x [x] == id
1437.00 s
[algebraic-graphs] OK: splitVertex1 x [y] == replaceVertex x y
1437.00 s
[algebraic-graphs] OK: splitVertex1 1 [0,1] $ 1 * (2 + 3) == (0 + 1) * (2 + 3)
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ NonEmpty.Graph.transpose ============
1437.00 s
[algebraic-graphs] OK: transpose (vertex x) == vertex x
1437.00 s
[algebraic-graphs] OK: transpose (edge x y) == edge y x
1437.00 s
[algebraic-graphs] OK: transpose . transpose == id
1437.00 s
[algebraic-graphs] OK: transpose (box x y) == box (transpose x) (transpose y)
1437.00 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ NonEmpty.Graph.induce1 ============
1437.00 s
[algebraic-graphs] OK: induce1 (const True ) x == Just x
1437.00 s
[algebraic-graphs] OK: induce1 (const False) x == Nothing
1437.00 s
[algebraic-graphs] OK: induce1 (/= x) == removeVertex1 x
1437.00 s
[algebraic-graphs] OK: induce1 p >=> induce1 q == induce1 (\x -> p x && q x)
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ NonEmpty.Graph.induceJust1 ============
1437.00 s
[algebraic-graphs] OK: induceJust1 (vertex Nothing) == Nothing
1437.00 s
[algebraic-graphs] OK: induceJust1 (edge (Just x) Nothing) == Just (vertex x)
1437.00 s
[algebraic-graphs] OK: induceJust1 . fmap Just == Just
1437.00 s
[algebraic-graphs] OK: induceJust1 . fmap (\x -> if p x then Just x else Nothing) == induce1 p
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ NonEmpty.Graph.simplify ============
1437.00 s
[algebraic-graphs] OK: simplify == id
1437.00 s
[algebraic-graphs] OK: size (simplify x) <= size x
1437.00 s
[algebraic-graphs] OK: simplify 1 === 1
1437.00 s
[algebraic-graphs] OK: simplify (1 + 1) === 1
1437.00 s
[algebraic-graphs] OK: simplify (1 + 2 + 1) === 1 + 2
1437.00 s
[algebraic-graphs] OK: simplify (1 * 1 * 1) === 1 * 1
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ NonEmpty.Graph.sparsify ============
1437.00 s
[algebraic-graphs] OK: sort . reachable x == sort . rights . reachable (sparsify x) . Right
1437.00 s
[algebraic-graphs] OK: vertexCount (sparsify x) <= vertexCount x + size x + 1
1437.00 s
[algebraic-graphs] OK: edgeCount (sparsify x) <= 3 * size x
1437.00 s
[algebraic-graphs] OK: size (sparsify x) <= 3 * size x
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ NonEmpty.Graph.sparsifyKL ============
1437.00 s
[algebraic-graphs] OK: sort . reachable x == sort . filter (<= n) . reachable (sparsifyKL n x)
1437.00 s
[algebraic-graphs] OK: length (vertices $ sparsifyKL n x) <= vertexCount x + size x + 1
1437.00 s
[algebraic-graphs] OK: length (edges $ sparsifyKL n x) <= 3 * size x
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ NonEmpty.Graph.box ============
1437.00 s
[algebraic-graphs] OK: box (path1 [0,1]) (path1 ['a','b']) == <correct result>
1437.00 s
[algebraic-graphs] OK: box x y ~~ box y x
1437.00 s
[algebraic-graphs] OK: box x (overlay y z) == overlay (box x y) (box x z)
1437.00 s
[algebraic-graphs] OK: box x (vertex ()) ~~ x
1437.00 s
[algebraic-graphs] OK: box x (box y z) ~~ box (box x y) z
1437.00 s
[algebraic-graphs] OK: transpose (box x y) == box (transpose x) (transpose y)
1437.00 s
[algebraic-graphs] OK: vertexCount (box x y) == vertexCount x * vertexCount y
1437.00 s
[algebraic-graphs] OK: edgeCount (box x y) <= vertexCount x * edgeCount y + edgeCount x * vertexCount y
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation ============
1437.00 s
[algebraic-graphs] OK: Axioms of graphs
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.consistent ============
1437.00 s
[algebraic-graphs] OK: Consistency of the Arbitrary instance
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] OK: consistent empty == True
1437.00 s
[algebraic-graphs] OK: consistent (vertex x) == True
1437.00 s
[algebraic-graphs] OK: consistent (overlay x y) == True
1437.00 s
[algebraic-graphs] OK: consistent (connect x y) == True
1437.00 s
[algebraic-graphs] OK: consistent (edge x y) == True
1437.00 s
[algebraic-graphs] OK: consistent (edges xs) == True
1437.00 s
[algebraic-graphs] OK: consistent (stars xs) == True
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.Show ============
1437.00 s
[algebraic-graphs] OK: show (empty ) == "empty"
1437.00 s
[algebraic-graphs] OK: show (1 ) == "vertex 1"
1437.00 s
[algebraic-graphs] OK: show (1 + 2 ) == "vertices [1,2]"
1437.00 s
[algebraic-graphs] OK: show (1 * 2 ) == "edge 1 2"
1437.00 s
[algebraic-graphs] OK: show (1 * 2 * 3) == "edges [(1,2),(1,3),(2,3)]"
1437.00 s
[algebraic-graphs] OK: show (1 * 2 + 3) == "overlay (vertex 3) (edge 1 2)"
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] OK: show (vertex (-1) ) == "vertex (-1)"
1437.00 s
[algebraic-graphs] OK: show (vertex (-1) + vertex (-2) ) == "vertices [-2,-1]"
1437.00 s
[algebraic-graphs] OK: show (vertex (-2) * vertex (-1) ) == "edge (-2) (-1)"
1437.00 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) * vertex (-1)) == "edges [(-3,-2),(-3,-1),(-2,-1)]"
1437.00 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) + vertex (-1)) == "overlay (vertex (-1)) (edge (-3) (-2))"
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.Ord ============
1437.00 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1437.00 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1437.00 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1437.00 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1437.00 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1437.00 s
[algebraic-graphs] OK: edge 1 2 < edge 1 3
1437.00 s
[algebraic-graphs] OK: x <= x + y
1437.00 s
[algebraic-graphs] OK: x + y <= x * y
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.empty ============
1437.00 s
[algebraic-graphs] OK: isEmpty empty == True
1437.00 s
[algebraic-graphs] OK: hasVertex x empty == False
1437.00 s
[algebraic-graphs] OK: vertexCount empty == 0
1437.00 s
[algebraic-graphs] OK: edgeCount empty == 0
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.vertex ============
1437.00 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1437.00 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1437.00 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1437.00 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.edge ============
1437.00 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1437.00 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1437.00 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1437.00 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1437.00 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.overlay ============
1437.00 s
[algebraic-graphs] OK: isEmpty (overlay x y) == isEmpty x && isEmpty y
1437.00 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1437.00 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1437.00 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1437.00 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1437.00 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1437.00 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1437.00 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.connect ============
1437.00 s
[algebraic-graphs] OK: isEmpty (connect x y) == isEmpty x && isEmpty y
1437.00 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1437.00 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1437.00 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1437.00 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1437.00 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1437.00 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y
1437.00 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1437.00 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1437.00 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.vertices ============
1437.00 s
[algebraic-graphs] OK: vertices [] == empty
1437.00 s
[algebraic-graphs] OK: vertices [x] == vertex x
1437.00 s
[algebraic-graphs] OK: vertices == overlays . map vertex
1437.00 s
[algebraic-graphs] OK: hasVertex x . vertices == elem x
1437.00 s
[algebraic-graphs] OK: vertexCount . vertices == length . nub
1437.00 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.edges ============
1437.00 s
[algebraic-graphs] OK: edges [] == empty
1437.00 s
[algebraic-graphs] OK: edges [(x,y)] == edge x y
1437.00 s
[algebraic-graphs] OK: edges == overlays . map (uncurry edge)
1437.00 s
[algebraic-graphs] OK: edgeCount . edges == length . nub
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.overlays ============
1437.00 s
[algebraic-graphs] OK: overlays [] == empty
1437.00 s
[algebraic-graphs] OK: overlays [x] == x
1437.00 s
[algebraic-graphs] OK: overlays [x,y] == overlay x y
1437.00 s
[algebraic-graphs] OK: overlays == foldr overlay empty
1437.00 s
[algebraic-graphs] OK: isEmpty . overlays == all isEmpty
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.connects ============
1437.00 s
[algebraic-graphs] OK: connects [] == empty
1437.00 s
[algebraic-graphs] OK: connects [x] == x
1437.00 s
[algebraic-graphs] OK: connects [x,y] == connect x y
1437.00 s
[algebraic-graphs] OK: connects == foldr connect empty
1437.00 s
[algebraic-graphs] OK: isEmpty . connects == all isEmpty
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.isSubgraphOf ============
1437.00 s
[algebraic-graphs] OK: isSubgraphOf empty x == True
1437.00 s
[algebraic-graphs] OK: isSubgraphOf (vertex x) empty == False
1437.00 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1437.00 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1437.00 s
[algebraic-graphs] OK: isSubgraphOf (path xs) (circuit xs) == True
1437.00 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1437.00 s
[algebraic-graphs]
1437.00 s
[algebraic-graphs] ============ Relation.toGraph et al. ============
1437.00 s
[algebraic-graphs] OK: toGraph == foldg Empty Vertex Overlay Connect
1437.00 s
[algebraic-graphs] OK: foldg == Algebra.Graph.foldg . toGraph
1437.00 s
[algebraic-graphs] OK: isEmpty == foldg True (const False) (&&) (&&)
1437.00 s
[algebraic-graphs] OK: size == foldg 1 (const 1) (+) (+)
1437.00 s
[algebraic-graphs] OK: hasVertex x == foldg False (==x) (||) (||)
1437.00 s
[algebraic-graphs] OK: hasEdge x y == Algebra.Graph.hasEdge x y . toGraph
1437.00 s
[algebraic-graphs] OK: vertexCount == Set.size . vertexSet
1437.00 s
[algebraic-graphs] OK: edgeCount == Set.size . edgeSet
1437.00 s
[algebraic-graphs] OK: vertexList == Set.toAscList . vertexSet
1437.00 s
[algebraic-graphs] OK: edgeList == Set.toAscList . edgeSet
1437.00 s
[algebraic-graphs] OK: vertexSet == foldg Set.empty Set.singleton Set.union Set.union
1437.00 s
[algebraic-graphs] OK: vertexIntSet == foldg IntSet.empty IntSet.singleton IntSet.union IntSet.union
1437.00 s
[algebraic-graphs] OK: edgeSet == Algebra.Graph.AdjacencyMap.edgeSet . foldg empty vertex overlay connect
1437.00 s
[algebraic-graphs] OK: preSet x == Algebra.Graph.AdjacencyMap.preSet x . toAdjacencyMap
1437.00 s
[algebraic-graphs] OK: preIntSet x == Algebra.Graph.AdjacencyIntMap.preIntSet x . toAdjacencyIntMap
1437.00 s
[algebraic-graphs] OK: postSet x == Algebra.Graph.AdjacencyMap.postSet x . toAdjacencyMap
1437.00 s
[algebraic-graphs] OK: postIntSet x == Algebra.Graph.AdjacencyIntMap.postIntSet x . toAdjacencyIntMap
1437.23 s
[haskell-language-server] [3 of 3] Compiling Ide.Plugin.AlternateNumberFormat ( plugins/hls-alternate-number-format-plugin/src/Ide/Plugin/AlternateNumberFormat.hs, dist/build/hls-alternate-number-format-plugin/Ide/Plugin/AlternateNumberFormat.p_o )
1440.15 s
[algebraic-graphs] OK: adjacencyList == Algebra.Graph.AdjacencyMap.adjacencyList . toAdjacencyMap
1440.15 s
[algebraic-graphs] OK: adjacencyMap == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: adjacencyIntMap == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMap
1440.18 s
[algebraic-graphs] OK: adjacencyMapTranspose == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMapTranspose
1440.18 s
[algebraic-graphs] OK: adjacencyIntMapTranspose == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMapTranspose
1440.18 s
[algebraic-graphs] OK: dfsForest == Algebra.Graph.AdjacencyMap.dfsForest . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: dfsForestFrom == Algebra.Graph.AdjacencyMap.dfsForestFrom . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: dfs == Algebra.Graph.AdjacencyMap.dfs . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: reachable == Algebra.Graph.AdjacencyMap.reachable . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: topSort == Algebra.Graph.AdjacencyMap.topSort . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: isAcyclic == Algebra.Graph.AdjacencyMap.isAcyclic . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: isTopSortOf vs == Algebra.Graph.AdjacencyMap.isTopSortOf vs . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: toAdjacencyMap == foldg empty vertex overlay connect
1440.18 s
[algebraic-graphs] OK: toAdjacencyMapTranspose == foldg empty vertex overlay (flip connect)
1440.18 s
[algebraic-graphs] OK: toAdjacencyIntMap == foldg empty vertex overlay connect
1440.18 s
[algebraic-graphs] OK: toAdjacencyIntMapTranspose == foldg empty vertex overlay (flip connect)
1440.18 s
[algebraic-graphs] OK: isDfsForestOf f == Algebra.Graph.AdjacencyMap.isDfsForestOf f . toAdjacencyMap
1440.18 s
[algebraic-graphs] OK: isTopSortOf vs == Algebra.Graph.AdjacencyMap.isTopSortOf vs . toAdjacencyMap
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.foldg ============
1440.18 s
[algebraic-graphs] OK: foldg empty vertex overlay connect == id
1440.18 s
[algebraic-graphs] OK: foldg empty vertex overlay (flip connect) == transpose
1440.18 s
[algebraic-graphs] OK: foldg 1 (const 1) (+) (+) == size
1440.18 s
[algebraic-graphs] OK: foldg True (const False) (&&) (&&) == isEmpty
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.isEmpty ============
1440.18 s
[algebraic-graphs] OK: isEmpty empty == True
1440.18 s
[algebraic-graphs] OK: isEmpty (overlay empty empty) == True
1440.18 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1440.18 s
[algebraic-graphs] OK: isEmpty (removeVertex x $ vertex x) == True
1440.18 s
[algebraic-graphs] OK: isEmpty (removeEdge x y $ edge x y) == False
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.hasVertex ============
1440.18 s
[algebraic-graphs] OK: hasVertex x empty == False
1440.18 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1440.18 s
[algebraic-graphs] OK: hasVertex x . removeVertex x == const False
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.hasEdge ============
1440.18 s
[algebraic-graphs] OK: hasEdge x y empty == False
1440.18 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1440.18 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1440.18 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1440.18 s
[algebraic-graphs] OK: hasEdge x y == elem (x,y) . edgeList
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.vertexCount ============
1440.18 s
[algebraic-graphs] OK: vertexCount empty == 0
1440.18 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1440.18 s
[algebraic-graphs] OK: vertexCount == length . vertexList
1440.18 s
[algebraic-graphs] OK: vertexCount x < vertexCount y ==> x < y
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.edgeCount ============
1440.18 s
[algebraic-graphs] OK: edgeCount empty == 0
1440.18 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1440.18 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1440.18 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.vertexList ============
1440.18 s
[algebraic-graphs] OK: vertexList empty == []
1440.18 s
[algebraic-graphs] OK: vertexList (vertex x) == [x]
1440.18 s
[algebraic-graphs] OK: vertexList . vertices == nub . sort
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.vertexSet ============
1440.18 s
[algebraic-graphs] OK: vertexSet empty == Set.empty
1440.18 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1440.18 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.vertexIntSet ============
1440.18 s
[algebraic-graphs] OK: vertexIntSet empty == IntSet.empty
1440.18 s
[algebraic-graphs] OK: vertexIntSet . vertex == IntSet.singleton
1440.18 s
[algebraic-graphs] OK: vertexIntSet . vertices == IntSet.fromList
1440.18 s
[algebraic-graphs] OK: vertexIntSet . clique == IntSet.fromList
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.edgeList ============
1440.18 s
[algebraic-graphs] OK: edgeList empty == []
1440.18 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1440.18 s
[algebraic-graphs] OK: edgeList (edge x y) == [(x,y)]
1440.18 s
[algebraic-graphs] OK: edgeList (star 2 [3,1]) == [(2,1), (2,3)]
1440.18 s
[algebraic-graphs] OK: edgeList . edges == nub . sort
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.edgeSet ============
1440.18 s
[algebraic-graphs] OK: edgeSet empty == Set.empty
1440.18 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1440.18 s
[algebraic-graphs] OK: edgeSet (edge x y) == Set.singleton (x,y)
1440.18 s
[algebraic-graphs] OK: edgeSet . edges == Set.fromList
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.adjacencyList ============
1440.18 s
[algebraic-graphs] OK: adjacencyList empty == []
1440.18 s
[algebraic-graphs] OK: adjacencyList (vertex x) == [(x, [])]
1440.18 s
[algebraic-graphs] OK: adjacencyList (edge 1 2) == [(1, [2]), (2, [])]
1440.18 s
[algebraic-graphs] OK: adjacencyList (star 2 [3,1]) == [(1, []), (2, [1,3]), (3, [])]
1440.18 s
[algebraic-graphs]
1440.18 s
[algebraic-graphs] ============ Relation.preSet ============
1440.18 s
[algebraic-graphs] OK: preSet x empty == Set.empty
1440.18 s
[algebraic-graphs] OK: preSet x (vertex x) == Set.empty
1440.18 s
[algebraic-graphs] OK: preSet 1 (edge 1 2) == Set.empty
1440.19 s
[algebraic-graphs] OK: preSet y (edge x y) == Set.fromList [x]
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.preIntSet ============
1440.19 s
[algebraic-graphs] OK: preIntSet x empty == IntSet.empty
1440.19 s
[algebraic-graphs] OK: preIntSet x (vertex x) == IntSet.empty
1440.19 s
[algebraic-graphs] OK: preIntSet 1 (edge 1 2) == IntSet.empty
1440.19 s
[algebraic-graphs] OK: preIntSet y (edge x y) == IntSet.fromList [x]
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.postSet ============
1440.19 s
[algebraic-graphs] OK: postSet x empty == Set.empty
1440.19 s
[algebraic-graphs] OK: postSet x (vertex x) == Set.empty
1440.19 s
[algebraic-graphs] OK: postSet x (edge x y) == Set.fromList [y]
1440.19 s
[algebraic-graphs] OK: postSet 2 (edge 1 2) == Set.empty
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.postIntSet ============
1440.19 s
[algebraic-graphs] OK: postIntSet x empty == IntSet.empty
1440.19 s
[algebraic-graphs] OK: postIntSet x (vertex x) == IntSet.empty
1440.19 s
[algebraic-graphs] OK: postIntSet 2 (edge 1 2) == IntSet.empty
1440.19 s
[algebraic-graphs] OK: postIntSet x (edge x y) == IntSet.fromList [y]
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.path ============
1440.19 s
[algebraic-graphs] OK: path [] == empty
1440.19 s
[algebraic-graphs] OK: path [x] == vertex x
1440.19 s
[algebraic-graphs] OK: path [x,y] == edge x y
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.circuit ============
1440.19 s
[algebraic-graphs] OK: circuit [] == empty
1440.19 s
[algebraic-graphs] OK: circuit [x] == edge x x
1440.19 s
[algebraic-graphs] OK: circuit [x,y] == edges [(x,y), (y,x)]
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.clique ============
1440.19 s
[algebraic-graphs] OK: clique [] == empty
1440.19 s
[algebraic-graphs] OK: clique [x] == vertex x
1440.19 s
[algebraic-graphs] OK: clique [x,y] == edge x y
1440.19 s
[algebraic-graphs] OK: clique [x,y,z] == edges [(x,y), (x,z), (y,z)]
1440.19 s
[algebraic-graphs] OK: clique (xs ++ ys) == connect (clique xs) (clique ys)
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.biclique ============
1440.19 s
[algebraic-graphs] OK: biclique [] [] == empty
1440.19 s
[algebraic-graphs] OK: biclique [x] [] == vertex x
1440.19 s
[algebraic-graphs] OK: biclique [] [y] == vertex y
1440.19 s
[algebraic-graphs] OK: biclique [x1,x2] [y1,y2] == edges [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1440.19 s
[algebraic-graphs] OK: biclique xs ys == connect (vertices xs) (vertices ys)
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.star ============
1440.19 s
[algebraic-graphs] OK: star x [] == vertex x
1440.19 s
[algebraic-graphs] OK: star x [y] == edge x y
1440.19 s
[algebraic-graphs] OK: star x [y,z] == edges [(x,y), (x,z)]
1440.19 s
[algebraic-graphs] OK: star x ys == connect (vertex x) (vertices ys)
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.stars ============
1440.19 s
[algebraic-graphs] OK: stars [] == empty
1440.19 s
[algebraic-graphs] OK: stars [(x, [])] == vertex x
1440.19 s
[algebraic-graphs] OK: stars [(x, [y])] == edge x y
1440.19 s
[algebraic-graphs] OK: stars [(x, ys)] == star x ys
1440.19 s
[algebraic-graphs] OK: stars == overlays . map (uncurry star)
1440.19 s
[algebraic-graphs] OK: stars . adjacencyList == id
1440.19 s
[algebraic-graphs] OK: overlay (stars xs) (stars ys) == stars (xs ++ ys)
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.tree ============
1440.19 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1440.19 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path [x,y,z]
1440.19 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1440.19 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges [(1,2), (1,3), (3,4), (3,5)]
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.forest ============
1440.19 s
[algebraic-graphs] OK: forest [] == empty
1440.19 s
[algebraic-graphs] OK: forest [x] == tree x
1440.19 s
[algebraic-graphs] OK: forest [Node 1 [Node 2 [], Node 3 []], Node 4 [Node 5 []]] == edges [(1,2), (1,3), (4,5)]
1440.19 s
[algebraic-graphs] OK: forest == overlays . map tree
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.removeVertex ============
1440.19 s
[algebraic-graphs] OK: removeVertex x (vertex x) == empty
1440.19 s
[algebraic-graphs] OK: removeVertex 1 (vertex 2) == vertex 2
1440.19 s
[algebraic-graphs] OK: removeVertex x (edge x x) == empty
1440.19 s
[algebraic-graphs] OK: removeVertex 1 (edge 1 2) == vertex 2
1440.19 s
[algebraic-graphs] OK: removeVertex x . removeVertex x == removeVertex x
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.removeEdge ============
1440.19 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices [x,y]
1440.19 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1440.19 s
[algebraic-graphs] OK: removeEdge x y . removeVertex x == removeVertex x
1440.19 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1440.19 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.replaceVertex ============
1440.19 s
[algebraic-graphs] OK: replaceVertex x x == id
1440.19 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1440.19 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1440.19 s
[algebraic-graphs]
1440.19 s
[algebraic-graphs] ============ Relation.mergeVertices ============
1440.19 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1443.66 s
[haskell-language-server] Preprocessing library 'hls-fourmolu-plugin' for haskell-language-server-2.12.0.0...
1443.66 s
[haskell-language-server] Building library 'hls-fourmolu-plugin' for haskell-language-server-2.12.0.0...
1443.76 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.Fourmolu ( plugins/hls-fourmolu-plugin/src/Ide/Plugin/Fourmolu.hs, dist/build/hls-fourmolu-plugin/Ide/Plugin/Fourmolu.o, dist/build/hls-fourmolu-plugin/Ide/Plugin/Fourmolu.dyn_o )
1446.81 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.Fourmolu ( plugins/hls-fourmolu-plugin/src/Ide/Plugin/Fourmolu.hs, dist/build/hls-fourmolu-plugin/Ide/Plugin/Fourmolu.p_o )
1457.08 s
[haskell-language-server] Preprocessing library 'hls-stylish-haskell-plugin' for haskell-language-server-2.12.0.0...
1457.08 s
[haskell-language-server] Building library 'hls-stylish-haskell-plugin' for haskell-language-server-2.12.0.0...
1457.18 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.StylishHaskell ( plugins/hls-stylish-haskell-plugin/src/Ide/Plugin/StylishHaskell.hs, dist/build/hls-stylish-haskell-plugin/Ide/Plugin/StylishHaskell.o, dist/build/hls-stylish-haskell-plugin/Ide/Plugin/StylishHaskell.dyn_o )
1458.73 s
[haskell-language-server] plugins/hls-stylish-haskell-plugin/src/Ide/Plugin/StylishHaskell.hs:28:1: warning : [ GHC-66111 ] [ -Wunused-imports ]
1458.73 s
[haskell-language-server] The import of ‘System.Directory’ is redundant
1458.73 s
[haskell-language-server] except perhaps to import instances from ‘System.Directory’
1458.73 s
[haskell-language-server] To import instances alone, use: import System.Directory()
1458.73 s
[haskell-language-server] |
1458.73 s
[haskell-language-server] 28 | import System.Directory
1458.73 s
[haskell-language-server] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1458.73 s
[haskell-language-server]
1459.38 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.StylishHaskell ( plugins/hls-stylish-haskell-plugin/src/Ide/Plugin/StylishHaskell.hs, dist/build/hls-stylish-haskell-plugin/Ide/Plugin/StylishHaskell.p_o )
1459.87 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1459.87 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1459.87 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.transpose ============
1459.87 s
[algebraic-graphs] OK: transpose empty == empty
1459.87 s
[algebraic-graphs] OK: transpose (vertex x) == vertex x
1459.87 s
[algebraic-graphs] OK: transpose (edge x y) == edge y x
1459.87 s
[algebraic-graphs] OK: transpose . transpose == id
1459.87 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.gmap ============
1459.87 s
[algebraic-graphs] OK: gmap f empty == empty
1459.87 s
[algebraic-graphs] OK: gmap f (vertex x) == vertex (f x)
1459.87 s
[algebraic-graphs] OK: gmap f (edge x y) == edge (f x) (f y)
1459.87 s
[algebraic-graphs] OK: gmap id == id
1459.87 s
[algebraic-graphs] OK: gmap f . gmap g == gmap (f . g)
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.induce ============
1459.87 s
[algebraic-graphs] OK: induce (const True ) x == x
1459.87 s
[algebraic-graphs] OK: induce (const False) x == empty
1459.87 s
[algebraic-graphs] OK: induce (/= x) == removeVertex x
1459.87 s
[algebraic-graphs] OK: induce p . induce q == induce (\x -> p x && q x)
1459.87 s
[algebraic-graphs] OK: isSubgraphOf (induce p x) x == True
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.compose ============
1459.87 s
[algebraic-graphs] OK: compose empty x == empty
1459.87 s
[algebraic-graphs] OK: compose x empty == empty
1459.87 s
[algebraic-graphs] OK: compose (vertex x) y == empty
1459.87 s
[algebraic-graphs] OK: compose x (vertex y) == empty
1459.87 s
[algebraic-graphs] OK: compose x (compose y z) == compose (compose x y) z
1459.87 s
[algebraic-graphs] OK: compose x (overlay y z) == overlay (compose x y) (compose x z)
1459.87 s
[algebraic-graphs] OK: compose (overlay x y) z == overlay (compose x z) (compose y z)
1459.87 s
[algebraic-graphs] OK: compose (edge x y) (edge y z) == edge x z
1459.87 s
[algebraic-graphs] OK: compose (path [1..5]) (path [1..5]) == edges [(1,3),(2,4),(3,5)]
1459.87 s
[algebraic-graphs] OK: compose (circuit [1..5]) (circuit [1..5]) == circuit [1,3,5,2,4]
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.closure ============
1459.87 s
[algebraic-graphs] OK: closure empty == empty
1459.87 s
[algebraic-graphs] OK: closure (vertex x) == edge x x
1459.87 s
[algebraic-graphs] OK: closure (edge x x) == edge x x
1459.87 s
[algebraic-graphs] OK: closure (edge x y) == edges [(x,x), (x,y), (y,y)]
1459.87 s
[algebraic-graphs] OK: closure (path $ nub xs) == reflexiveClosure (clique $ nub xs)
1459.87 s
[algebraic-graphs] OK: closure == reflexiveClosure . transitiveClosure
1459.87 s
[algebraic-graphs] OK: closure == transitiveClosure . reflexiveClosure
1459.87 s
[algebraic-graphs] OK: closure . closure == closure
1459.87 s
[algebraic-graphs] OK: postSet x (closure y) == Set.fromList (reachable y x)
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.reflexiveClosure ============
1459.87 s
[algebraic-graphs] OK: reflexiveClosure empty == empty
1459.87 s
[algebraic-graphs] OK: reflexiveClosure (vertex x) == edge x x
1459.87 s
[algebraic-graphs] OK: reflexiveClosure (edge x x) == edge x x
1459.87 s
[algebraic-graphs] OK: reflexiveClosure (edge x y) == edges [(x,x), (x,y), (y,y)]
1459.87 s
[algebraic-graphs] OK: reflexiveClosure . reflexiveClosure == reflexiveClosure
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.symmetricClosure ============
1459.87 s
[algebraic-graphs] OK: symmetricClosure empty == empty
1459.87 s
[algebraic-graphs] OK: symmetricClosure (vertex x) == vertex x
1459.87 s
[algebraic-graphs] OK: symmetricClosure (edge x y) == edges [(x,y), (y,x)]
1459.87 s
[algebraic-graphs] OK: symmetricClosure x == overlay x (transpose x)
1459.87 s
[algebraic-graphs] OK: symmetricClosure . symmetricClosure == symmetricClosure
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.transitiveClosure ============
1459.87 s
[algebraic-graphs] OK: transitiveClosure empty == empty
1459.87 s
[algebraic-graphs] OK: transitiveClosure (vertex x) == vertex x
1459.87 s
[algebraic-graphs] OK: transitiveClosure (edge x y) == edge x y
1459.87 s
[algebraic-graphs] OK: transitiveClosure (path $ nub xs) == clique (nub $ xs)
1459.87 s
[algebraic-graphs] OK: transitiveClosure . transitiveClosure == transitiveClosure
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Relation.induceJust ============
1459.87 s
[algebraic-graphs] OK: induceJust (vertex Nothing) == empty
1459.87 s
[algebraic-graphs] OK: induceJust (edge (Just x) Nothing) == vertex x
1459.87 s
[algebraic-graphs] OK: induceJust . gmap Just == id
1459.87 s
[algebraic-graphs] OK: induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ ReflexiveRelation ============
1459.87 s
[algebraic-graphs] OK: Axioms of reflexive graphs
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ TransitiveRelation ============
1459.87 s
[algebraic-graphs] OK: Axioms of transitive graphs
1459.87 s
[algebraic-graphs] OK: path xs == (clique xs :: TransitiveRelation Int)
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ PreorderRelation ============
1459.87 s
[algebraic-graphs] OK: Axioms of preorder graphs
1459.87 s
[algebraic-graphs] OK: path xs == (clique xs :: PreorderRelation Int)
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation ============
1459.87 s
[algebraic-graphs] OK: Axioms of undirected graphs
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.consistent ============
1459.87 s
[algebraic-graphs] OK: Consistency of the Arbitrary instance
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] OK: consistent empty == True
1459.87 s
[algebraic-graphs] OK: consistent (vertex x) == True
1459.87 s
[algebraic-graphs] OK: consistent (overlay x y) == True
1459.87 s
[algebraic-graphs] OK: consistent (connect x y) == True
1459.87 s
[algebraic-graphs] OK: consistent (edge x y) == True
1459.87 s
[algebraic-graphs] OK: consistent (edges xs) == True
1459.87 s
[algebraic-graphs] OK: consistent (stars xs) == True
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.Show ============
1459.87 s
[algebraic-graphs] OK: show (empty ) == "empty"
1459.87 s
[algebraic-graphs] OK: show (1 ) == "vertex 1"
1459.87 s
[algebraic-graphs] OK: show (1 + 2 ) == "vertices [1,2]"
1459.87 s
[algebraic-graphs] OK: show (1 * 2 ) == "edge 1 2"
1459.87 s
[algebraic-graphs] OK: show (1 * 2 * 3) == "edges [(1,2),(1,3),(2,3)]"
1459.87 s
[algebraic-graphs] OK: show (1 * 2 + 3) == "overlay (vertex 3) (edge 1 2)"
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] OK: show (vertex (-1) ) == "vertex (-1)"
1459.87 s
[algebraic-graphs] OK: show (vertex (-1) + vertex (-2) ) == "vertices [-2,-1]"
1459.87 s
[algebraic-graphs] OK: show (vertex (-2) * vertex (-1) ) == "edge (-2) (-1)"
1459.87 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) * vertex (-1)) == "edges [(-3,-2),(-3,-1),(-2,-1)]"
1459.87 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) + vertex (-1)) == "overlay (vertex (-1)) (edge (-3) (-2))"
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] OK: show (2 * 1 ) == "edge 1 2"
1459.87 s
[algebraic-graphs] OK: show (1 * 2 * 1) == "edges [(1,1),(1,2)]"
1459.87 s
[algebraic-graphs] OK: show (3 * 2 * 1) == "edges [(1,2),(1,3),(2,3)]"
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.toSymmetric ============
1459.87 s
[algebraic-graphs] OK: toSymmetric (edge 1 2) == edge 1 2
1459.87 s
[algebraic-graphs] OK: toSymmetric . fromSymmetric == id
1459.87 s
[algebraic-graphs] OK: fromSymmetric . toSymmetric == symmetricClosure
1459.87 s
[algebraic-graphs] OK: vertexCount . toSymmetric == vertexCount
1459.87 s
[algebraic-graphs] OK: (*2) . edgeCount . toSymmetric >= edgeCount
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.fromSymmetric ============
1459.87 s
[algebraic-graphs] OK: fromSymmetric (edge 1 2) == edges [(1,2), (2,1)]
1459.87 s
[algebraic-graphs] OK: vertexCount . fromSymmetric == vertexCount
1459.87 s
[algebraic-graphs] OK: edgeCount . fromSymmetric <= (*2) . edgeCount
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.Ord ============
1459.87 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1459.87 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1459.87 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1459.87 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1459.87 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1459.87 s
[algebraic-graphs] OK: edge 2 1 < edge 1 3
1459.87 s
[algebraic-graphs] OK: edge 1 2 == edge 2 1
1459.87 s
[algebraic-graphs] OK: x <= x + y
1459.87 s
[algebraic-graphs] OK: x + y <= x * y
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.empty ============
1459.87 s
[algebraic-graphs] OK: isEmpty empty == True
1459.87 s
[algebraic-graphs] OK: hasVertex x empty == False
1459.87 s
[algebraic-graphs] OK: vertexCount empty == 0
1459.87 s
[algebraic-graphs] OK: edgeCount empty == 0
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.vertex ============
1459.87 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1459.87 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1459.87 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1459.87 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.edge ============
1459.87 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1459.87 s
[algebraic-graphs] OK: edge x y == edge y x
1459.87 s
[algebraic-graphs] OK: edge x y == edges [(x,y), (y,x)]
1459.87 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1459.87 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1459.87 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1459.87 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.overlay ============
1459.87 s
[algebraic-graphs] OK: isEmpty (overlay x y) == isEmpty x && isEmpty y
1459.87 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1459.87 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1459.87 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1459.87 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1459.87 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1459.87 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1459.87 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.connect ============
1459.87 s
[algebraic-graphs] OK: connect x y == connect y x
1459.87 s
[algebraic-graphs] OK: isEmpty (connect x y) == isEmpty x && isEmpty y
1459.87 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1459.87 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1459.87 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1459.87 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1459.87 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1459.87 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y `div` 2
1459.87 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1459.87 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1459.87 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.vertices ============
1459.87 s
[algebraic-graphs] OK: vertices [] == empty
1459.87 s
[algebraic-graphs] OK: vertices [x] == vertex x
1459.87 s
[algebraic-graphs] OK: vertices == overlays . map vertex
1459.87 s
[algebraic-graphs] OK: hasVertex x . vertices == elem x
1459.87 s
[algebraic-graphs] OK: vertexCount . vertices == length . nub
1459.87 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.edges ============
1459.87 s
[algebraic-graphs] OK: edges [] == empty
1459.87 s
[algebraic-graphs] OK: edges [(x,y)] == edge x y
1459.87 s
[algebraic-graphs] OK: edges [(x,y), (y,x)] == edge x y
1459.87 s
[algebraic-graphs]
1459.87 s
[algebraic-graphs] ============ Symmetric.Relation.overlays ============
1459.87 s
[algebraic-graphs] OK: overlays [] == empty
1460.56 s
[haskell-language-server] plugins/hls-stylish-haskell-plugin/src/Ide/Plugin/StylishHaskell.hs:28:1: warning : [ GHC-66111 ] [ -Wunused-imports ]
1460.56 s
[haskell-language-server] The import of ‘System.Directory’ is redundant
1460.56 s
[haskell-language-server] except perhaps to import instances from ‘System.Directory’
1460.56 s
[haskell-language-server] To import instances alone, use: import System.Directory()
1460.56 s
[haskell-language-server] |
1460.56 s
[haskell-language-server] 28 | import System.Directory
1460.56 s
[haskell-language-server] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1460.56 s
[haskell-language-server]
1468.78 s
[haskell-language-server] Preprocessing library 'hls-qualify-imported-names-plugin' for haskell-language-server-2.12.0.0...
1468.79 s
[haskell-language-server] Building library 'hls-qualify-imported-names-plugin' for haskell-language-server-2.12.0.0...
1468.88 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.QualifyImportedNames ( plugins/hls-qualify-imported-names-plugin/src/Ide/Plugin/QualifyImportedNames.hs, dist/build/hls-qualify-imported-names-plugin/Ide/Plugin/QualifyImportedNames.o, dist/build/hls-qualify-imported-names-plugin/Ide/Plugin/QualifyImportedNames.dyn_o )
1470.61 s
[algebraic-graphs] OK: overlays [x] == x
1470.61 s
[algebraic-graphs] OK: overlays [x,y] == overlay x y
1470.61 s
[algebraic-graphs] OK: overlays == foldr overlay empty
1470.61 s
[algebraic-graphs] OK: isEmpty . overlays == all isEmpty
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.connects ============
1470.61 s
[algebraic-graphs] OK: connects [] == empty
1470.61 s
[algebraic-graphs] OK: connects [x] == x
1470.61 s
[algebraic-graphs] OK: connects [x,y] == connect x y
1470.61 s
[algebraic-graphs] OK: connects == foldr connect empty
1470.61 s
[algebraic-graphs] OK: isEmpty . connects == all isEmpty
1470.61 s
[algebraic-graphs] OK: connects == connects . reverse
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.isSubgraphOf ============
1470.61 s
[algebraic-graphs] OK: isSubgraphOf empty x == True
1470.61 s
[algebraic-graphs] OK: isSubgraphOf (vertex x) empty == False
1470.61 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1470.61 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1470.61 s
[algebraic-graphs] OK: isSubgraphOf (path xs) (circuit xs) == True
1470.61 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1470.61 s
[algebraic-graphs] OK: isSubgraphOf (edge x y) (edge y x) == True
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.toGraph et al. ============
1470.61 s
[algebraic-graphs] OK: toGraph == foldg Empty Vertex Overlay Connect
1470.61 s
[algebraic-graphs] OK: foldg == Algebra.Graph.foldg . toGraph
1470.61 s
[algebraic-graphs] OK: isEmpty == foldg True (const False) (&&) (&&)
1470.61 s
[algebraic-graphs] OK: size == foldg 1 (const 1) (+) (+)
1470.61 s
[algebraic-graphs] OK: hasVertex x == foldg False (==x) (||) (||)
1470.61 s
[algebraic-graphs] OK: hasEdge x y == Algebra.Graph.hasEdge x y . toGraph
1470.61 s
[algebraic-graphs] OK: vertexCount == Set.size . vertexSet
1470.61 s
[algebraic-graphs] OK: edgeCount == Set.size . edgeSet
1470.61 s
[algebraic-graphs] OK: vertexList == Set.toAscList . vertexSet
1470.61 s
[algebraic-graphs] OK: edgeList == Set.toAscList . edgeSet
1470.61 s
[algebraic-graphs] OK: vertexSet == foldg Set.empty Set.singleton Set.union Set.union
1470.61 s
[algebraic-graphs] OK: vertexIntSet == foldg IntSet.empty IntSet.singleton IntSet.union IntSet.union
1470.61 s
[algebraic-graphs] OK: adjacencyList == Algebra.Graph.AdjacencyMap.adjacencyList . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: adjacencyMap == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: adjacencyIntMap == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMap
1470.61 s
[algebraic-graphs] OK: adjacencyMapTranspose == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMapTranspose
1470.61 s
[algebraic-graphs] OK: adjacencyIntMapTranspose == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMapTranspose
1470.61 s
[algebraic-graphs] OK: dfsForest == Algebra.Graph.AdjacencyMap.dfsForest . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: dfsForestFrom == Algebra.Graph.AdjacencyMap.dfsForestFrom . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: dfs == Algebra.Graph.AdjacencyMap.dfs . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: reachable == Algebra.Graph.AdjacencyMap.reachable . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: topSort == Algebra.Graph.AdjacencyMap.topSort . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: isAcyclic == Algebra.Graph.AdjacencyMap.isAcyclic . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: isTopSortOf vs == Algebra.Graph.AdjacencyMap.isTopSortOf vs . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: toAdjacencyMap == foldg empty vertex overlay connect
1470.61 s
[algebraic-graphs] OK: toAdjacencyMapTranspose == foldg empty vertex overlay (flip connect)
1470.61 s
[algebraic-graphs] OK: toAdjacencyIntMap == foldg empty vertex overlay connect
1470.61 s
[algebraic-graphs] OK: toAdjacencyIntMapTranspose == foldg empty vertex overlay (flip connect)
1470.61 s
[algebraic-graphs] OK: isDfsForestOf f == Algebra.Graph.AdjacencyMap.isDfsForestOf f . toAdjacencyMap
1470.61 s
[algebraic-graphs] OK: isTopSortOf vs == Algebra.Graph.AdjacencyMap.isTopSortOf vs . toAdjacencyMap
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.isEmpty ============
1470.61 s
[algebraic-graphs] OK: isEmpty empty == True
1470.61 s
[algebraic-graphs] OK: isEmpty (overlay empty empty) == True
1470.61 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1470.61 s
[algebraic-graphs] OK: isEmpty (removeVertex x $ vertex x) == True
1470.61 s
[algebraic-graphs] OK: isEmpty (removeEdge x y $ edge x y) == False
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.hasVertex ============
1470.61 s
[algebraic-graphs] OK: hasVertex x empty == False
1470.61 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1470.61 s
[algebraic-graphs] OK: hasVertex x . removeVertex x == const False
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.hasEdge ============
1470.61 s
[algebraic-graphs] OK: hasEdge x y empty == False
1470.61 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1470.61 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1470.61 s
[algebraic-graphs] OK: hasEdge x y (edge y x) == True
1470.61 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1470.61 s
[algebraic-graphs] OK: hasEdge x y == elem (min x y, max x y) . edgeList
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.vertexCount ============
1470.61 s
[algebraic-graphs] OK: vertexCount empty == 0
1470.61 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1470.61 s
[algebraic-graphs] OK: vertexCount == length . vertexList
1470.61 s
[algebraic-graphs] OK: vertexCount x < vertexCount y ==> x < y
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.edgeCount ============
1470.61 s
[algebraic-graphs] OK: edgeCount empty == 0
1470.61 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1470.61 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1470.61 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.vertexList ============
1470.61 s
[algebraic-graphs] OK: vertexList empty == []
1470.61 s
[algebraic-graphs] OK: vertexList (vertex x) == [x]
1470.61 s
[algebraic-graphs] OK: vertexList . vertices == nub . sort
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.vertexSet ============
1470.61 s
[algebraic-graphs] OK: vertexSet empty == Set.empty
1470.61 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1470.61 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.vertexIntSet ============
1470.61 s
[algebraic-graphs] OK: vertexIntSet empty == IntSet.empty
1470.61 s
[algebraic-graphs] OK: vertexIntSet . vertex == IntSet.singleton
1470.61 s
[algebraic-graphs] OK: vertexIntSet . vertices == IntSet.fromList
1470.61 s
[algebraic-graphs] OK: vertexIntSet . clique == IntSet.fromList
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.edgeList ============
1470.61 s
[algebraic-graphs] OK: edgeList empty == []
1470.61 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1470.61 s
[algebraic-graphs] OK: edgeList (edge x y) == [(min x y, max y x)]
1470.61 s
[algebraic-graphs] OK: edgeList (star 2 [3,1]) == [(1,2), (2,3)]
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.edgeSet ============
1470.61 s
[algebraic-graphs] OK: edgeSet empty == Set.empty
1470.61 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1470.61 s
[algebraic-graphs] OK: edgeSet (edge x y) == Set.singleton (min x y, max x y)
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.adjacencyList ============
1470.61 s
[algebraic-graphs] OK: adjacencyList empty == []
1470.61 s
[algebraic-graphs] OK: adjacencyList (vertex x) == [(x, [])]
1470.61 s
[algebraic-graphs] OK: adjacencyList (edge 1 2) == [(1, [2]), (2, [1])]
1470.61 s
[algebraic-graphs] OK: adjacencyList (star 2 [3,1]) == [(1, [2]), (2, [1,3]), (3, [2])]
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.neighbours ============
1470.61 s
[algebraic-graphs] OK: neighbours x empty == Set.empty
1470.61 s
[algebraic-graphs] OK: neighbours x (vertex x) == Set.empty
1470.61 s
[algebraic-graphs] OK: neighbours x (edge x y) == Set.fromList [y]
1470.61 s
[algebraic-graphs] OK: neighbours y (edge x y) == Set.fromList [x]
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.path ============
1470.61 s
[algebraic-graphs] OK: path [] == empty
1470.61 s
[algebraic-graphs] OK: path [x] == vertex x
1470.61 s
[algebraic-graphs] OK: path [x,y] == edge x y
1470.61 s
[algebraic-graphs] OK: path == path . reverse
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.circuit ============
1470.61 s
[algebraic-graphs] OK: circuit [] == empty
1470.61 s
[algebraic-graphs] OK: circuit [x] == edge x x
1470.61 s
[algebraic-graphs] OK: circuit [x,y] == edges [(x,y), (y,x)]
1470.61 s
[algebraic-graphs] OK: circuit == circuit . reverse
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.clique ============
1470.61 s
[algebraic-graphs] OK: clique [] == empty
1470.61 s
[algebraic-graphs] OK: clique [x] == vertex x
1470.61 s
[algebraic-graphs] OK: clique [x,y] == edge x y
1470.61 s
[algebraic-graphs] OK: clique [x,y,z] == edges [(x,y), (x,z), (y,z)]
1470.61 s
[algebraic-graphs] OK: clique (xs ++ ys) == connect (clique xs) (clique ys)
1470.61 s
[algebraic-graphs] OK: clique == clique . reverse
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.biclique ============
1470.61 s
[algebraic-graphs] OK: biclique [] [] == empty
1470.61 s
[algebraic-graphs] OK: biclique [x] [] == vertex x
1470.61 s
[algebraic-graphs] OK: biclique [] [y] == vertex y
1470.61 s
[algebraic-graphs] OK: biclique [x1,x2] [y1,y2] == edges [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1470.61 s
[algebraic-graphs] OK: biclique xs ys == connect (vertices xs) (vertices ys)
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.star ============
1470.61 s
[algebraic-graphs] OK: star x [] == vertex x
1470.61 s
[algebraic-graphs] OK: star x [y] == edge x y
1470.61 s
[algebraic-graphs] OK: star x [y,z] == edges [(x,y), (x,z)]
1470.61 s
[algebraic-graphs] OK: star x ys == connect (vertex x) (vertices ys)
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.stars ============
1470.61 s
[algebraic-graphs] OK: stars [] == empty
1470.61 s
[algebraic-graphs] OK: stars [(x, [])] == vertex x
1470.61 s
[algebraic-graphs] OK: stars [(x, [y])] == edge x y
1470.61 s
[algebraic-graphs] OK: stars [(x, ys)] == star x ys
1470.61 s
[algebraic-graphs] OK: stars == overlays . map (uncurry star)
1470.61 s
[algebraic-graphs] OK: stars . adjacencyList == id
1470.61 s
[algebraic-graphs] OK: overlay (stars xs) (stars ys) == stars (xs ++ ys)
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.tree ============
1470.61 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1470.61 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path [x,y,z]
1470.61 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1470.61 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges [(1,2), (1,3), (3,4), (3,5)]
1470.61 s
[algebraic-graphs]
1470.61 s
[algebraic-graphs] ============ Symmetric.Relation.forest ============
1470.61 s
[algebraic-graphs] OK: forest [] == empty
1470.86 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.QualifyImportedNames ( plugins/hls-qualify-imported-names-plugin/src/Ide/Plugin/QualifyImportedNames.hs, dist/build/hls-qualify-imported-names-plugin/Ide/Plugin/QualifyImportedNames.p_o )
1476.94 s
[algebraic-graphs] OK: forest [x] == tree x
1476.94 s
[algebraic-graphs] OK: forest [Node 1 [Node 2 [], Node 3 []], Node 4 [Node 5 []]] == edges [(1,2), (1,3), (4,5)]
1476.96 s
[algebraic-graphs] OK: forest == overlays . map tree
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Symmetric.Relation.removeVertex ============
1476.96 s
[algebraic-graphs] OK: removeVertex x (vertex x) == empty
1476.96 s
[algebraic-graphs] OK: removeVertex 1 (vertex 2) == vertex 2
1476.96 s
[algebraic-graphs] OK: removeVertex x (edge x x) == empty
1476.96 s
[algebraic-graphs] OK: removeVertex 1 (edge 1 2) == vertex 2
1476.96 s
[algebraic-graphs] OK: removeVertex x . removeVertex x == removeVertex x
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Symmetric.Relation.removeEdge ============
1476.96 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices [x,y]
1476.96 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1476.96 s
[algebraic-graphs] OK: removeEdge x y . removeVertex x == removeVertex x
1476.96 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1476.96 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1476.96 s
[algebraic-graphs] OK: removeEdge x y == removeEdge y x
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Symmetric.Relation.replaceVertex ============
1476.96 s
[algebraic-graphs] OK: replaceVertex x x == id
1476.96 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1476.96 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Symmetric.Relation.mergeVertices ============
1476.96 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1476.96 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1476.96 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1476.96 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Symmetric.Relation.gmap ============
1476.96 s
[algebraic-graphs] OK: gmap f empty == empty
1476.96 s
[algebraic-graphs] OK: gmap f (vertex x) == vertex (f x)
1476.96 s
[algebraic-graphs] OK: gmap f (edge x y) == edge (f x) (f y)
1476.96 s
[algebraic-graphs] OK: gmap id == id
1476.96 s
[algebraic-graphs] OK: gmap f . gmap g == gmap (f . g)
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Symmetric.Relation.induce ============
1476.96 s
[algebraic-graphs] OK: induce (const True ) x == x
1476.96 s
[algebraic-graphs] OK: induce (const False) x == empty
1476.96 s
[algebraic-graphs] OK: induce (/= x) == removeVertex x
1476.96 s
[algebraic-graphs] OK: induce p . induce q == induce (\x -> p x && q x)
1476.96 s
[algebraic-graphs] OK: isSubgraphOf (induce p x) x == True
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Symmetric.Relation.induceJust ============
1476.96 s
[algebraic-graphs] OK: induceJust (vertex Nothing) == empty
1476.96 s
[algebraic-graphs] OK: induceJust (edge (Just x) Nothing) == vertex x
1476.96 s
[algebraic-graphs] OK: induceJust . gmap Just == id
1476.96 s
[algebraic-graphs] OK: induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Example.Todo (Holiday) ============
1476.96 s
[algebraic-graphs] OK: A todo list is semantically Maybe [a]
1476.96 s
[algebraic-graphs] OK: The overlay operator (+) adds non-dependent items to the todo list
1476.96 s
[algebraic-graphs] OK: The connect operator (*) adds dependency between items
1476.96 s
[algebraic-graphs] OK: Contradictory constraints make the todo list impossible to schedule
1476.96 s
[algebraic-graphs] OK: Introduce item priority to schedule the todo list
1476.96 s
[algebraic-graphs] OK: Custom connect operators pull/repel arguments during scheduling
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Example.Todo (Commandline) ============
1476.96 s
[algebraic-graphs] OK: The pull connect operator maintains command line semantics
1476.96 s
[algebraic-graphs] OK: Swapping flags are allowed by the commutative overlay opeartor
1476.96 s
[algebraic-graphs] OK: The usual connect operator breaks semantics
1476.96 s
[algebraic-graphs] OK: Transform command lines by adding optimisation flag
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Typed ============
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Typed.fromAdjacencyMap ============
1476.96 s
[algebraic-graphs] OK: toGraphKL (fromAdjacencyMap (1 * 2 + 3 * 1)) == array (0,2) [(0,[1]), (1,[]), (2,[0])]
1476.96 s
[algebraic-graphs] OK: toGraphKL (fromAdjacencyMap (1 * 2 + 2 * 1)) == array (0,1) [(0,[1]), (1,[0])]
1476.96 s
[algebraic-graphs] OK: map (fromVertexKL h) (vertices $ toGraphKL h) == vertexList g
1476.96 s
[algebraic-graphs] OK: map (\(x, y) -> (fromVertexKL h x, fromVertexKL h y)) (edges $ toGraphKL h) == edgeList g
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Typed.fromAdjacencyIntMap ============
1476.96 s
[algebraic-graphs] OK: toGraphKL (fromAdjacencyIntMap (1 * 2 + 3 * 1)) == array (0,2) [(0,[1]), (1,[]), (2,[0])]
1476.96 s
[algebraic-graphs] OK: toGraphKL (fromAdjacencyIntMap (1 * 2 + 2 * 1)) == array (0,1) [(0,[1]), (1,[0])]
1476.96 s
[algebraic-graphs] OK: map (fromVertexKL h) (vertices $ toGraphKL h) == IntSet.toAscList (vertexIntSet g)
1476.96 s
[algebraic-graphs] OK: map (\(x, y) -> (fromVertexKL h x, fromVertexKL h y)) (edges $ toGraphKL h) == edgeList g
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Typed.dfsForest ============
1476.96 s
[algebraic-graphs] OK: forest (dfsForest % edge 1 1) == vertex 1
1476.96 s
[algebraic-graphs] OK: forest (dfsForest % edge 1 2) == edge 1 2
1476.96 s
[algebraic-graphs] OK: forest (dfsForest % edge 2 1) == vertices [1, 2]
1476.96 s
[algebraic-graphs] OK: isSubgraphOf (forest $ dfsForest % x) x == True
1476.96 s
[algebraic-graphs] OK: dfsForest % forest (dfsForest % x) == dfsForest % x
1476.96 s
[algebraic-graphs] OK: dfsForest % vertices vs == map (\v -> Node v []) (nub $ sort vs)
1476.96 s
[algebraic-graphs] OK: dfsForest % (3 * (1 + 4) * (1 + 5)) == <correct result>
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Typed.dfsForestFrom ============
1476.96 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 1) [1] == vertex 1
1476.96 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 2) [0] == empty
1476.96 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 2) [1] == edge 1 2
1476.96 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 2) [2] == vertex 2
1476.96 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 2) [2,1] == vertices [1,2]
1476.96 s
[algebraic-graphs] OK: isSubgraphOf (forest $ dfsForestFrom % x $ vs) x == True
1476.96 s
[algebraic-graphs] OK: dfsForestFrom % x $ vertexList x == dfsForest % x
1476.96 s
[algebraic-graphs] OK: dfsForestFrom % vertices vs $ vs == map (\v -> Node v []) (nub vs)
1476.96 s
[algebraic-graphs] OK: dfsForestFrom % x $ [] == []
1476.96 s
[algebraic-graphs] OK: dfsForestFrom % (3 * (1 + 4) * (1 + 5)) $ [1,4] == <correct result>
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Typed.dfs ============
1476.96 s
[algebraic-graphs] OK: dfs % edge 1 1 $ [1] == [1]
1476.96 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [0] == []
1476.96 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [1] == [1,2]
1476.96 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [2] == [2]
1476.96 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [1,2] == [1,2]
1476.96 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [2,1] == [2,1]
1476.96 s
[algebraic-graphs] OK: dfs % x $ [] == []
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] OK: dfs % (3 * (1 + 4) * (1 + 5)) $ [1,4] == [1,5,4]
1476.96 s
[algebraic-graphs] OK: and [ hasVertex v x | v <- dfs % x $ vs ] == True
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Typed.topSort ============
1476.96 s
[algebraic-graphs] OK: topSort % (1 * 2 + 3 * 1) == [3,1,2]
1476.96 s
[algebraic-graphs] OK: topSort % (1 * 2 + 2 * 1) == [1,2]
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected ============
1476.96 s
[algebraic-graphs] OK: Axioms of undirected graphs
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected.Show ============
1476.96 s
[algebraic-graphs] OK: show (empty ) == "empty"
1476.96 s
[algebraic-graphs] OK: show (1 ) == "vertex 1"
1476.96 s
[algebraic-graphs] OK: show (1 + 2 ) == "vertices [1,2]"
1476.96 s
[algebraic-graphs] OK: show (1 * 2 ) == "edge 1 2"
1476.96 s
[algebraic-graphs] OK: show (1 * 2 * 3) == "edges [(1,2),(1,3),(2,3)]"
1476.96 s
[algebraic-graphs] OK: show (1 * 2 + 3) == "overlay (vertex 3) (edge 1 2)"
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] OK: show (vertex (-1) ) == "vertex (-1)"
1476.96 s
[algebraic-graphs] OK: show (vertex (-1) + vertex (-2) ) == "vertices [-2,-1]"
1476.96 s
[algebraic-graphs] OK: show (vertex (-2) * vertex (-1) ) == "edge (-2) (-1)"
1476.96 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) * vertex (-1)) == "edges [(-3,-2),(-3,-1),(-2,-1)]"
1476.96 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) + vertex (-1)) == "overlay (vertex (-1)) (edge (-3) (-2))"
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] OK: show (2 * 1 ) == "edge 1 2"
1476.96 s
[algebraic-graphs] OK: show (1 * 2 * 1) == "edges [(1,1),(1,2)]"
1476.96 s
[algebraic-graphs] OK: show (3 * 2 * 1) == "edges [(1,2),(1,3),(2,3)]"
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected.toUndirected ============
1476.96 s
[algebraic-graphs] OK: toUndirected (edge 1 2) == edge 1 2
1476.96 s
[algebraic-graphs] OK: toUndirected . fromUndirected == id
1476.96 s
[algebraic-graphs] OK: vertexCount . toUndirected == vertexCount
1476.96 s
[algebraic-graphs] OK: (*2) . edgeCount . toUndirected >= edgeCount
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected.fromUndirected ============
1476.96 s
[algebraic-graphs] OK: fromUndirected (edge 1 2) == edges [(1,2),(2,1)]
1476.96 s
[algebraic-graphs] OK: toUndirected . fromUndirected == id
1476.96 s
[algebraic-graphs] OK: vertexCount . fromUndirected == vertexCount
1476.96 s
[algebraic-graphs] OK: edgeCount . fromUndirected <= (*2) . edgeCount
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected.complement ================
1476.96 s
[algebraic-graphs] OK: complement empty == empty
1476.96 s
[algebraic-graphs] OK: complement (vertex x) == vertex x
1476.96 s
[algebraic-graphs] OK: complement (edge 1 1) == edge 1 1
1476.96 s
[algebraic-graphs] OK: complement (edge 1 2) == vertices [1, 2]
1476.96 s
[algebraic-graphs] OK: complement (star 1 [2, 3]) == overlay (vertex 1) (edge 2 3)
1476.96 s
[algebraic-graphs] OK: complement . complement == id
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected.Ord ============
1476.96 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1476.96 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1476.96 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1476.96 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1476.96 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1476.96 s
[algebraic-graphs] OK: edge 2 1 < edge 1 3
1476.96 s
[algebraic-graphs] OK: edge 1 2 == edge 2 1
1476.96 s
[algebraic-graphs] OK: x <= x + y
1476.96 s
[algebraic-graphs] OK: x + y <= x * y
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected.empty ============
1476.96 s
[algebraic-graphs] OK: isEmpty empty == True
1476.96 s
[algebraic-graphs] OK: hasVertex x empty == False
1476.96 s
[algebraic-graphs] OK: vertexCount empty == 0
1476.96 s
[algebraic-graphs] OK: edgeCount empty == 0
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected.vertex ============
1476.96 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1476.96 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1476.96 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1476.96 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1476.96 s
[algebraic-graphs]
1476.96 s
[algebraic-graphs] ============ Graph.Undirected.edge ============
1476.96 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1476.96 s
[algebraic-graphs] OK: edge x y == edge y x
1477.90 s
[haskell-language-server] Preprocessing library 'hls-module-name-plugin' for haskell-language-server-2.12.0.0...
1477.90 s
[haskell-language-server] Building library 'hls-module-name-plugin' for haskell-language-server-2.12.0.0...
1477.98 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.ModuleName ( plugins/hls-module-name-plugin/src/Ide/Plugin/ModuleName.hs, dist/build/hls-module-name-plugin/Ide/Plugin/ModuleName.o, dist/build/hls-module-name-plugin/Ide/Plugin/ModuleName.dyn_o )
1479.65 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.ModuleName ( plugins/hls-module-name-plugin/src/Ide/Plugin/ModuleName.hs, dist/build/hls-module-name-plugin/Ide/Plugin/ModuleName.p_o )
1484.55 s
[algebraic-graphs] OK: edge x y == edges [(x,y), (y,x)]
1484.55 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1484.55 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1484.58 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1484.58 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.overlay ============
1484.58 s
[algebraic-graphs] OK: isEmpty (overlay x y) == isEmpty x && isEmpty y
1484.58 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1484.58 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1484.58 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1484.58 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1484.58 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1484.58 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1484.58 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.connect ============
1484.58 s
[algebraic-graphs] OK: connect x y == connect y x
1484.58 s
[algebraic-graphs] OK: isEmpty (connect x y) == isEmpty x && isEmpty y
1484.58 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1484.58 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1484.58 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1484.58 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1484.58 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1484.58 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y `div` 2
1484.58 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1484.58 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1484.58 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.vertices ============
1484.58 s
[algebraic-graphs] OK: vertices [] == empty
1484.58 s
[algebraic-graphs] OK: vertices [x] == vertex x
1484.58 s
[algebraic-graphs] OK: vertices == overlays . map vertex
1484.58 s
[algebraic-graphs] OK: hasVertex x . vertices == elem x
1484.58 s
[algebraic-graphs] OK: vertexCount . vertices == length . nub
1484.58 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.edges ============
1484.58 s
[algebraic-graphs] OK: edges [] == empty
1484.58 s
[algebraic-graphs] OK: edges [(x,y)] == edge x y
1484.58 s
[algebraic-graphs] OK: edges [(x,y), (y,x)] == edge x y
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.overlays ============
1484.58 s
[algebraic-graphs] OK: overlays [] == empty
1484.58 s
[algebraic-graphs] OK: overlays [x] == x
1484.58 s
[algebraic-graphs] OK: overlays [x,y] == overlay x y
1484.58 s
[algebraic-graphs] OK: overlays == foldr overlay empty
1484.58 s
[algebraic-graphs] OK: isEmpty . overlays == all isEmpty
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.connects ============
1484.58 s
[algebraic-graphs] OK: connects [] == empty
1484.58 s
[algebraic-graphs] OK: connects [x] == x
1484.58 s
[algebraic-graphs] OK: connects [x,y] == connect x y
1484.58 s
[algebraic-graphs] OK: connects == foldr connect empty
1484.58 s
[algebraic-graphs] OK: isEmpty . connects == all isEmpty
1484.58 s
[algebraic-graphs] OK: connects == connects . reverse
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.isSubgraphOf ============
1484.58 s
[algebraic-graphs] OK: isSubgraphOf empty x == True
1484.58 s
[algebraic-graphs] OK: isSubgraphOf (vertex x) empty == False
1484.58 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1484.58 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1484.58 s
[algebraic-graphs] OK: isSubgraphOf (path xs) (circuit xs) == True
1484.58 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1484.58 s
[algebraic-graphs] OK: isSubgraphOf (edge x y) (edge y x) == True
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.path ============
1484.58 s
[algebraic-graphs] OK: path [] == empty
1484.58 s
[algebraic-graphs] OK: path [x] == vertex x
1484.58 s
[algebraic-graphs] OK: path [x,y] == edge x y
1484.58 s
[algebraic-graphs] OK: path == path . reverse
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.circuit ============
1484.58 s
[algebraic-graphs] OK: circuit [] == empty
1484.58 s
[algebraic-graphs] OK: circuit [x] == edge x x
1484.58 s
[algebraic-graphs] OK: circuit [x,y] == edges [(x,y), (y,x)]
1484.58 s
[algebraic-graphs] OK: circuit == circuit . reverse
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.clique ============
1484.58 s
[algebraic-graphs] OK: clique [] == empty
1484.58 s
[algebraic-graphs] OK: clique [x] == vertex x
1484.58 s
[algebraic-graphs] OK: clique [x,y] == edge x y
1484.58 s
[algebraic-graphs] OK: clique [x,y,z] == edges [(x,y), (x,z), (y,z)]
1484.58 s
[algebraic-graphs] OK: clique (xs ++ ys) == connect (clique xs) (clique ys)
1484.58 s
[algebraic-graphs] OK: clique == clique . reverse
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.biclique ============
1484.58 s
[algebraic-graphs] OK: biclique [] [] == empty
1484.58 s
[algebraic-graphs] OK: biclique [x] [] == vertex x
1484.58 s
[algebraic-graphs] OK: biclique [] [y] == vertex y
1484.58 s
[algebraic-graphs] OK: biclique [x1,x2] [y1,y2] == edges [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1484.58 s
[algebraic-graphs] OK: biclique xs ys == connect (vertices xs) (vertices ys)
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.star ============
1484.58 s
[algebraic-graphs] OK: star x [] == vertex x
1484.58 s
[algebraic-graphs] OK: star x [y] == edge x y
1484.58 s
[algebraic-graphs] OK: star x [y,z] == edges [(x,y), (x,z)]
1484.58 s
[algebraic-graphs] OK: star x ys == connect (vertex x) (vertices ys)
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.stars ============
1484.58 s
[algebraic-graphs] OK: stars [] == empty
1484.58 s
[algebraic-graphs] OK: stars [(x, [])] == vertex x
1484.58 s
[algebraic-graphs] OK: stars [(x, [y])] == edge x y
1484.58 s
[algebraic-graphs] OK: stars [(x, ys)] == star x ys
1484.58 s
[algebraic-graphs] OK: stars == overlays . map (uncurry star)
1484.58 s
[algebraic-graphs] OK: stars . adjacencyList == id
1484.58 s
[algebraic-graphs] OK: overlay (stars xs) (stars ys) == stars (xs ++ ys)
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.tree ============
1484.58 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1484.58 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path [x,y,z]
1484.58 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1484.58 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges [(1,2), (1,3), (3,4), (3,5)]
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.forest ============
1484.58 s
[algebraic-graphs] OK: forest [] == empty
1484.58 s
[algebraic-graphs] OK: forest [x] == tree x
1484.58 s
[algebraic-graphs] OK: forest [Node 1 [Node 2 [], Node 3 []], Node 4 [Node 5 []]] == edges [(1,2), (1,3), (4,5)]
1484.58 s
[algebraic-graphs] OK: forest == overlays . map tree
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.removeVertex ============
1484.58 s
[algebraic-graphs] OK: removeVertex x (vertex x) == empty
1484.58 s
[algebraic-graphs] OK: removeVertex 1 (vertex 2) == vertex 2
1484.58 s
[algebraic-graphs] OK: removeVertex x (edge x x) == empty
1484.58 s
[algebraic-graphs] OK: removeVertex 1 (edge 1 2) == vertex 2
1484.58 s
[algebraic-graphs] OK: removeVertex x . removeVertex x == removeVertex x
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.removeEdge ============
1484.58 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices [x,y]
1484.58 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1484.58 s
[algebraic-graphs] OK: removeEdge x y . removeVertex x == removeVertex x
1484.58 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1484.58 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1484.58 s
[algebraic-graphs] OK: removeEdge x y == removeEdge y x
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.replaceVertex ============
1484.58 s
[algebraic-graphs] OK: replaceVertex x x == id
1484.58 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1484.58 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.mergeVertices ============
1484.58 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1484.58 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1484.58 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1484.58 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.gmap ============
1484.58 s
[algebraic-graphs] OK: gmap f empty == empty
1484.58 s
[algebraic-graphs] OK: gmap f (vertex x) == vertex (f x)
1484.58 s
[algebraic-graphs] OK: gmap f (edge x y) == edge (f x) (f y)
1484.58 s
[algebraic-graphs] OK: gmap id == id
1484.58 s
[algebraic-graphs] OK: gmap f . gmap g == gmap (f . g)
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.induce ============
1484.58 s
[algebraic-graphs] OK: induce (const True ) x == x
1484.58 s
[algebraic-graphs] OK: induce (const False) x == empty
1484.58 s
[algebraic-graphs] OK: induce (/= x) == removeVertex x
1484.58 s
[algebraic-graphs] OK: induce p . induce q == induce (\x -> p x && q x)
1484.58 s
[algebraic-graphs] OK: isSubgraphOf (induce p x) x == True
1484.58 s
[algebraic-graphs]
1484.58 s
[algebraic-graphs] ============ Graph.Undirected.induceJust ============
1484.58 s
[algebraic-graphs] OK: induceJust (vertex Nothing) == empty
1484.58 s
[algebraic-graphs] OK: induceJust (edge (Just x) Nothing) == vertex x
1484.58 s
[algebraic-graphs] OK: induceJust . gmap Just == id
1484.58 s
[algebraic-graphs] OK: induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
1484.58 s
[algebraic-graphs] Test suite main: PASS
1484.58 s
[algebraic-graphs] Test suite logged to: dist/test/algebraic-graphs-0.7-main.log
1484.58 s
[algebraic-graphs] 1 of 1 test suites (1 of 1 test cases) passed.
1484.58 s
[algebraic-graphs] checkPhase completed in 1 minutes 45 seconds
1484.58 s
[algebraic-graphs] Phase: haddockPhase
1485.14 s
[algebraic-graphs] Preprocessing library for algebraic-graphs-0.7...
1485.14 s
[algebraic-graphs] Running Haddock on library for algebraic-graphs-0.7...
1485.30 s
[algebraic-graphs] [ 1 of 29] Compiling Algebra.Graph.AdjacencyMap ( src/Algebra/Graph/AdjacencyMap.hs, nothing ) [HIE file is missing]
1485.53 s
[algebraic-graphs] [ 2 of 29] Compiling Algebra.Graph.AdjacencyIntMap ( src/Algebra/Graph/AdjacencyIntMap.hs, nothing ) [HIE file is missing]
1485.59 s
[algebraic-graphs] [ 3 of 29] Compiling Algebra.Graph.AdjacencyIntMap.Algorithm ( src/Algebra/Graph/AdjacencyIntMap/Algorithm.hs, nothing ) [HIE file is missing]
1485.68 s
[algebraic-graphs] [ 4 of 29] Compiling Algebra.Graph.Internal ( src/Algebra/Graph/Internal.hs, nothing ) [HIE file is missing]
1485.71 s
[algebraic-graphs] [ 5 of 29] Compiling Algebra.Graph ( src/Algebra/Graph.hs, nothing ) [HIE file is missing]
1485.88 s
[algebraic-graphs] [ 6 of 29] Compiling Algebra.Graph.HigherKinded.Class ( src/Algebra/Graph/HigherKinded/Class.hs, nothing ) [HIE file is missing]
1485.91 s
[algebraic-graphs] [ 7 of 29] Compiling Algebra.Graph.Bipartite.AdjacencyMap ( src/Algebra/Graph/Bipartite/AdjacencyMap.hs, nothing ) [HIE file is missing]
1486.01 s
[algebraic-graphs] [ 8 of 29] Compiling Algebra.Graph.Bipartite.AdjacencyMap.Algorithm ( src/Algebra/Graph/Bipartite/AdjacencyMap/Algorithm.hs, nothing ) [HIE file is missing]
1486.21 s
[algebraic-graphs] [ 9 of 29] Compiling Algebra.Graph.Label ( src/Algebra/Graph/Label.hs, nothing ) [HIE file is missing]
1486.53 s
[algebraic-graphs] [10 of 29] Compiling Algebra.Graph.NonEmpty.AdjacencyMap ( src/Algebra/Graph/NonEmpty/AdjacencyMap.hs, nothing ) [HIE file is missing]
1486.64 s
[algebraic-graphs] [11 of 29] Compiling Algebra.Graph.AdjacencyMap.Algorithm ( src/Algebra/Graph/AdjacencyMap/Algorithm.hs, nothing ) [HIE file is missing]
1486.78 s
[algebraic-graphs] src/Algebra/Graph/AdjacencyMap/Algorithm.hs:384:43: warning : [ GHC-63394 ] [ -Wx-partial ]
1486.78 s
[algebraic-graphs] In the use of ‘head’
1486.78 s
[algebraic-graphs] (imported from Prelude, but defined in GHC.Internal.List):
1486.78 s
[algebraic-graphs] "This is a partial function, it throws an error on empty lists. Use pattern matching, 'Data.List.uncons' or 'Data.Maybe.listToMaybe' instead. Consider refactoring to use "Data.List.NonEmpty"."
1486.78 s
[algebraic-graphs] |
1486.78 s
[algebraic-graphs] 384 | exit v = do newComponent <- (v==).snd.head <$> gets boundaryStack
1486.78 s
[algebraic-graphs] | ^^^^
1486.78 s
[algebraic-graphs]
1486.78 s
[algebraic-graphs] src/Algebra/Graph/AdjacencyMap/Algorithm.hs:391:21: warning : [ GHC-63394 ] [ -Wx-partial ]
1486.78 s
[algebraic-graphs] In the use of ‘tail’
1486.78 s
[algebraic-graphs] (imported from Prelude, but defined in GHC.Internal.List):
1486.78 s
[algebraic-graphs] "This is a partial function, it throws an error on empty lists. Replace it with 'drop' 1, or use pattern matching or 'GHC.Internal.Data.List.uncons' instead. Consider refactoring to use "Data.List.NonEmpty"."
1486.78 s
[algebraic-graphs] |
1486.78 s
[algebraic-graphs] 391 | pth' = tail v_pth' -- Here we know that v_pth' starts with v
1486.78 s
[algebraic-graphs] | ^^^^
1486.78 s
[algebraic-graphs]
1486.78 s
[algebraic-graphs] src/Algebra/Graph/AdjacencyMap/Algorithm.hs:395:26: warning : [ GHC-63394 ] [ -Wx-partial ]
1486.78 s
[algebraic-graphs] In the use of ‘head’
1486.78 s
[algebraic-graphs] (imported from Prelude, but defined in GHC.Internal.List):
1486.78 s
[algebraic-graphs] "This is a partial function, it throws an error on empty lists. Use pattern matching, 'Data.List.uncons' or 'Data.Maybe.listToMaybe' instead. Consider refactoring to use "Data.List.NonEmpty"."
1486.78 s
[algebraic-graphs] |
1486.78 s
[algebraic-graphs] 395 | p_v = fst $ head bnd
1486.78 s
[algebraic-graphs] | ^^^^
1486.78 s
[algebraic-graphs]
1486.78 s
[algebraic-graphs] src/Algebra/Graph/AdjacencyMap/Algorithm.hs:397:21: warning : [ GHC-63394 ] [ -Wx-partial ]
1486.78 s
[algebraic-graphs] In the use of ‘tail’
1486.78 s
[algebraic-graphs] (imported from Prelude, but defined in GHC.Internal.List):
1486.78 s
[algebraic-graphs] "This is a partial function, it throws an error on empty lists. Replace it with 'drop' 1, or use pattern matching or 'GHC.Internal.Data.List.uncons' instead. Consider refactoring to use "Data.List.NonEmpty"."
1486.78 s
[algebraic-graphs] |
1486.78 s
[algebraic-graphs] 397 | bnd' = tail bnd
1486.78 s
[algebraic-graphs] | ^^^^
1486.78 s
[algebraic-graphs]
1486.79 s
[algebraic-graphs] [12 of 29] Compiling Algebra.Graph.Acyclic.AdjacencyMap ( src/Algebra/Graph/Acyclic/AdjacencyMap.hs, nothing ) [HIE file is missing]
1486.90 s
[algebraic-graphs] [13 of 29] Compiling Algebra.Graph.ToGraph ( src/Algebra/Graph/ToGraph.hs, nothing ) [HIE file is missing]
1487.00 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:171:32: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.00 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.00 s
[algebraic-graphs] will become an error in a future GHC release.
1487.00 s
[algebraic-graphs] Suggested fix:
1487.00 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.00 s
[algebraic-graphs] |
1487.00 s
[algebraic-graphs] 171 | vertexIntSet :: ToVertex t ~ Int => t -> IntSet
1487.00 s
[algebraic-graphs] | ^
1487.00 s
[algebraic-graphs]
1487.00 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:197:29: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.00 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.00 s
[algebraic-graphs] will become an error in a future GHC release.
1487.00 s
[algebraic-graphs] Suggested fix:
1487.00 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.00 s
[algebraic-graphs] |
1487.00 s
[algebraic-graphs] 197 | preIntSet :: ToVertex t ~ Int => Int -> t -> IntSet
1487.00 s
[algebraic-graphs] | ^
1487.00 s
[algebraic-graphs]
1487.00 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:215:30: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.00 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.00 s
[algebraic-graphs] will become an error in a future GHC release.
1487.00 s
[algebraic-graphs] Suggested fix:
1487.00 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.00 s
[algebraic-graphs] |
1487.01 s
[algebraic-graphs] 215 | postIntSet :: ToVertex t ~ Int => Int -> t -> IntSet
1487.01 s
[algebraic-graphs] | ^
1487.01 s
[algebraic-graphs]
1487.01 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:303:37: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.01 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.01 s
[algebraic-graphs] will become an error in a future GHC release.
1487.01 s
[algebraic-graphs] Suggested fix:
1487.01 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.01 s
[algebraic-graphs] |
1487.01 s
[algebraic-graphs] 303 | toAdjacencyIntMap :: ToVertex t ~ Int => t -> AIM.AdjacencyIntMap
1487.01 s
[algebraic-graphs] | ^
1487.01 s
[algebraic-graphs]
1487.01 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:312:46: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.01 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.01 s
[algebraic-graphs] will become an error in a future GHC release.
1487.01 s
[algebraic-graphs] Suggested fix:
1487.01 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.01 s
[algebraic-graphs] |
1487.01 s
[algebraic-graphs] 312 | toAdjacencyIntMapTranspose :: ToVertex t ~ Int => t -> AIM.AdjacencyIntMap
1487.01 s
[algebraic-graphs] | ^
1487.01 s
[algebraic-graphs]
1487.01 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:452:43: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.01 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.01 s
[algebraic-graphs] will become an error in a future GHC release.
1487.01 s
[algebraic-graphs] Suggested fix:
1487.01 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.01 s
[algebraic-graphs] |
1487.01 s
[algebraic-graphs] 452 | adjacencyIntMap :: (ToGraph t, ToVertex t ~ Int) => t -> IntMap IntSet
1487.01 s
[algebraic-graphs] | ^
1487.01 s
[algebraic-graphs]
1487.01 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:471:52: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.01 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.01 s
[algebraic-graphs] will become an error in a future GHC release.
1487.01 s
[algebraic-graphs] Suggested fix:
1487.01 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.01 s
[algebraic-graphs] |
1487.01 s
[algebraic-graphs] 471 | adjacencyIntMapTranspose :: (ToGraph t, ToVertex t ~ Int) => t -> IntMap IntSet
1487.01 s
[algebraic-graphs] | ^
1487.01 s
[algebraic-graphs]
1487.02 s
[algebraic-graphs] [14 of 29] Compiling Algebra.Graph.Relation ( src/Algebra/Graph/Relation.hs, nothing ) [HIE file is missing]
1487.09 s
[algebraic-graphs] [15 of 29] Compiling Algebra.Graph.Relation.Symmetric ( src/Algebra/Graph/Relation/Symmetric.hs, nothing ) [HIE file is missing]
1487.13 s
[algebraic-graphs] [16 of 29] Compiling Algebra.Graph.NonEmpty ( src/Algebra/Graph/NonEmpty.hs, nothing ) [HIE file is missing]
1487.25 s
[haskell-language-server] Preprocessing library for haskell-language-server-2.12.0.0...
1487.25 s
[haskell-language-server] Building library for haskell-language-server-2.12.0.0...
1487.28 s
[algebraic-graphs] [17 of 29] Compiling Algebra.Graph.Labelled.AdjacencyMap ( src/Algebra/Graph/Labelled/AdjacencyMap.hs, nothing ) [HIE file is missing]
1487.37 s
[algebraic-graphs] [18 of 29] Compiling Algebra.Graph.Labelled ( src/Algebra/Graph/Labelled.hs, nothing ) [HIE file is missing]
1487.46 s
[haskell-language-server] <no location info>: warning : [ GHC-42258 ] [ -Wunused-packages ]
1487.46 s
[haskell-language-server] The following packages were specified via -package or -package-id flags,
1487.46 s
[haskell-language-server] but were not needed for compilation:
1487.46 s
[haskell-language-server] - ghc-9.12.2 (exposed by flag -package-id ghc-9.12.2-e4b2)
1487.46 s
[haskell-language-server]
1487.47 s
[haskell-language-server] [1 of 5] Compiling HlsPlugins ( src/HlsPlugins.hs, dist/build/HlsPlugins.o, dist/build/HlsPlugins.dyn_o )
1487.51 s
[algebraic-graphs] [19 of 29] Compiling Algebra.Graph.Labelled.Example.Network ( src/Algebra/Graph/Labelled/Example/Network.hs, nothing ) [HIE file is missing]
1487.52 s
[algebraic-graphs] [20 of 29] Compiling Algebra.Graph.Labelled.Example.Automaton ( src/Algebra/Graph/Labelled/Example/Automaton.hs, nothing ) [HIE file is missing]
1487.53 s
[algebraic-graphs] [21 of 29] Compiling Algebra.Graph.Export ( src/Algebra/Graph/Export.hs, nothing ) [HIE file is missing]
1487.55 s
[algebraic-graphs] src/Algebra/Graph/Export.hs:185:41: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.55 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.55 s
[algebraic-graphs] will become an error in a future GHC release.
1487.55 s
[algebraic-graphs] Suggested fix:
1487.55 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.55 s
[algebraic-graphs] |
1487.55 s
[algebraic-graphs] 185 | export :: (Ord a, ToGraph g, ToVertex g ~ a) => (a -> Doc s) -> (a -> a -> Doc s) -> g -> Doc s
1487.55 s
[algebraic-graphs] | ^
1487.55 s
[algebraic-graphs]
1487.55 s
[algebraic-graphs] [22 of 29] Compiling Algebra.Graph.Export.Dot ( src/Algebra/Graph/Export/Dot.hs, nothing ) [HIE file is missing]
1487.57 s
[algebraic-graphs] src/Algebra/Graph/Export/Dot.hs:121:63: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.57 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.57 s
[algebraic-graphs] will become an error in a future GHC release.
1487.57 s
[algebraic-graphs] Suggested fix:
1487.57 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.57 s
[algebraic-graphs] |
1487.57 s
[algebraic-graphs] 121 | export :: (IsString s, Monoid s, Ord a, ToGraph g, ToVertex g ~ a) => Style a s -> g -> s
1487.57 s
[algebraic-graphs] | ^
1487.57 s
[algebraic-graphs]
1487.57 s
[algebraic-graphs] src/Algebra/Graph/Export/Dot.hs:165:78: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1487.57 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1487.57 s
[algebraic-graphs] will become an error in a future GHC release.
1487.57 s
[algebraic-graphs] Suggested fix:
1487.57 s
[algebraic-graphs] Perhaps you intended to use the ‘TypeOperators’ extension
1487.57 s
[algebraic-graphs] |
1487.57 s
[algebraic-graphs] 165 | exportAsIs :: (IsString s, Monoid s, Ord (ToVertex g), ToGraph g, ToVertex g ~ s) => g -> s
1487.58 s
[algebraic-graphs] | ^
1487.58 s
[algebraic-graphs]
1487.58 s
[algebraic-graphs] [23 of 29] Compiling Algebra.Graph.Undirected ( src/Algebra/Graph/Undirected.hs, nothing ) [HIE file is missing]
1487.66 s
[algebraic-graphs] [24 of 29] Compiling Algebra.Graph.Class ( src/Algebra/Graph/Class.hs, nothing ) [HIE file is missing]
1487.79 s
[algebraic-graphs] [25 of 29] Compiling Algebra.Graph.Relation.Transitive ( src/Algebra/Graph/Relation/Transitive.hs, nothing ) [HIE file is missing]
1487.81 s
[algebraic-graphs] [26 of 29] Compiling Algebra.Graph.Relation.Reflexive ( src/Algebra/Graph/Relation/Reflexive.hs, nothing ) [HIE file is missing]
1487.82 s
[algebraic-graphs] [27 of 29] Compiling Algebra.Graph.Relation.Preorder ( src/Algebra/Graph/Relation/Preorder.hs, nothing ) [HIE file is missing]
1487.84 s
[algebraic-graphs] [28 of 29] Compiling Algebra.Graph.Example.Todo ( src/Algebra/Graph/Example/Todo.hs, nothing ) [HIE file is missing]
1487.86 s
[algebraic-graphs] [29 of 29] Compiling Data.Graph.Typed ( src/Data/Graph/Typed.hs, nothing ) [HIE file is missing]
1487.88 s
[algebraic-graphs] Haddock coverage:
1487.89 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1487.89 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:227:1
1487.89 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1487.89 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1487.89 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1487.89 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/AdjacencyMap.hs:227:1
1487.94 s
[algebraic-graphs] 100% ( 58 / 58) in 'Algebra.Graph.AdjacencyMap'
1487.95 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1487.95 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyIntMap.hs:237:1
1487.95 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1487.95 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1487.95 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1487.95 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/AdjacencyIntMap.hs:237:1
1487.96 s
[algebraic-graphs] 100% ( 56 / 56) in 'Algebra.Graph.AdjacencyIntMap'
1487.97 s
[algebraic-graphs] Warning: 'nub' is out of scope.
1487.97 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1487.97 s
[algebraic-graphs] Warning: 'sort' is out of scope.
1487.97 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1487.97 s
[algebraic-graphs] 93% ( 14 / 15) in 'Algebra.Graph.AdjacencyIntMap.Algorithm'
1487.97 s
[algebraic-graphs] Missing documentation for:
1487.97 s
[algebraic-graphs] Cycle (src/Algebra/Graph/AdjacencyIntMap/Algorithm.hs:227)
1487.97 s
[algebraic-graphs] Warning: 'List' is ambiguous. It is defined
1487.97 s
[algebraic-graphs] * at src/Algebra/Graph/Internal.hs:50:18
1487.97 s
[algebraic-graphs] * at src/Algebra/Graph/Internal.hs:50:1
1487.97 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1487.97 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1487.97 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Internal.hs:50:1
1487.97 s
[algebraic-graphs] Warning: 'IsList' is out of scope.
1487.97 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1487.97 s
[algebraic-graphs] 100% ( 19 / 19) in 'Algebra.Graph.Internal'
1487.98 s
[algebraic-graphs] Warning: 'Context' is ambiguous. It is defined
1487.98 s
[algebraic-graphs] * at src/Algebra/Graph.hs:1400:18
1487.98 s
[algebraic-graphs] * at src/Algebra/Graph.hs:1400:1
1487.98 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1487.98 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1487.98 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph.hs:1400:1
1487.98 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1487.98 s
[algebraic-graphs] * at src/Algebra/Graph.hs:316:1
1487.98 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1487.98 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1487.98 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1487.98 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph.hs:316:1
1487.99 s
[algebraic-graphs] 100% ( 61 / 61) in 'Algebra.Graph'
1488.08 s
[algebraic-graphs] Warning: 'isEmpty' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] Warning: 'vertexCount' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] Warning: 'edgeCount' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] Warning: 'edgeList' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] Warning: 'box' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] Warning: 'adjacencyList' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] Warning: 'hasVertex' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] Warning: 'vertexSet' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] Warning: 'mplus' is out of scope.
1488.08 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.08 s
[algebraic-graphs] 100% ( 42 / 42) in 'Algebra.Graph.HigherKinded.Class'
1488.09 s
[algebraic-graphs] Warning: 'swap' is ambiguous. It is defined
1488.09 s
[algebraic-graphs] * at src/Algebra/Graph/Bipartite/AdjacencyMap.hs:418:1
1488.09 s
[algebraic-graphs] * in ‘GHC.Internal.Data.Tuple’
1488.09 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.09 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.09 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Bipartite/AdjacencyMap.hs:418:1
1488.09 s
[algebraic-graphs] Warning: 'nub' is out of scope.
1488.09 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.09 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1488.09 s
[algebraic-graphs] * at src/Algebra/Graph/Bipartite/AdjacencyMap.hs:250:1
1488.09 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1488.09 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.09 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.09 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Bipartite/AdjacencyMap.hs:250:1
1488.10 s
[algebraic-graphs] 100% ( 63 / 63) in 'Algebra.Graph.Bipartite.AdjacencyMap'
1488.10 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1488.10 s
[algebraic-graphs] * at src/Algebra/Graph/Bipartite/AdjacencyMap.hs:250:1
1488.10 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1488.10 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.10 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.10 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Bipartite/AdjacencyMap.hs:250:1
1488.11 s
[algebraic-graphs] Warning: 'isRight' is out of scope.
1488.11 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.11 s
[algebraic-graphs] Warning: 'Matching' is ambiguous. It is defined
1488.11 s
[algebraic-graphs] * at src/Algebra/Graph/Bipartite/AdjacencyMap/Algorithm.hs:169:21
1488.11 s
[algebraic-graphs] * at src/Algebra/Graph/Bipartite/AdjacencyMap/Algorithm.hs:169:1
1488.11 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.11 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.11 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Bipartite/AdjacencyMap/Algorithm.hs:169:1
1488.11 s
[algebraic-graphs] 100% ( 25 / 25) in 'Algebra.Graph.Bipartite.AdjacencyMap.Algorithm'
1488.11 s
[algebraic-graphs] Warning: 'Optimum' is ambiguous. It is defined
1488.11 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:442:20
1488.11 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:442:1
1488.11 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.11 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.11 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Label.hs:442:1
1488.11 s
[algebraic-graphs] Warning: 'Minimum' is ambiguous. It is defined
1488.11 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:314:21
1488.11 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:314:1
1488.11 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.11 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.11 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Label.hs:314:1
1488.11 s
[algebraic-graphs] Warning: 'Distance' is ambiguous. It is defined
1488.11 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:241:22
1488.11 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:241:1
1488.11 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.11 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.11 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Label.hs:241:1
1488.12 s
[algebraic-graphs] Warning: 'Capacity' is ambiguous. It is defined
1488.12 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:176:22
1488.12 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:176:1
1488.12 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.12 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.12 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Label.hs:176:1
1488.12 s
[algebraic-graphs] Warning: 'Count' is ambiguous. It is defined
1488.12 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:209:19
1488.12 s
[algebraic-graphs] * at src/Algebra/Graph/Label.hs:209:1
1488.12 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.12 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.12 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Label.hs:209:1
1488.12 s
[algebraic-graphs] 100% ( 37 / 37) in 'Algebra.Graph.Label'
1488.12 s
[algebraic-graphs] Warning: 'empty' is out of scope.
1488.12 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.12 s
[algebraic-graphs] Warning: 'edges' is out of scope.
1488.12 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.12 s
[algebraic-graphs] Warning: 'stars' is out of scope.
1488.12 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.12 s
[algebraic-graphs] Warning: 'AdjacencyMap' is ambiguous. It is defined
1488.12 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:157:1
1488.12 s
[algebraic-graphs] * at src/Algebra/Graph/NonEmpty/AdjacencyMap.hs:152:1
1488.12 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.12 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.12 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/NonEmpty/AdjacencyMap.hs:152:1
1488.12 s
[algebraic-graphs] Warning: 'isEmpty' is out of scope.
1488.12 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.12 s
[algebraic-graphs] Warning: 'adjacencyList' is out of scope.
1488.12 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.13 s
[algebraic-graphs] Warning: 'vertexList' is out of scope.
1488.13 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.13 s
[algebraic-graphs] 100% ( 51 / 51) in 'Algebra.Graph.NonEmpty.AdjacencyMap'
1488.14 s
[algebraic-graphs] Warning: 'vertex' is ambiguous. It is defined
1488.14 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:239:1
1488.14 s
[algebraic-graphs] * at src/Algebra/Graph/NonEmpty/AdjacencyMap.hs:224:1
1488.14 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.14 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.14 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/NonEmpty/AdjacencyMap.hs:224:1
1488.14 s
[algebraic-graphs] Warning: 'edge' is ambiguous. It is defined
1488.14 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:252:1
1488.14 s
[algebraic-graphs] * at src/Algebra/Graph/NonEmpty/AdjacencyMap.hs:237:1
1488.14 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.14 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.14 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/NonEmpty/AdjacencyMap.hs:237:1
1488.14 s
[algebraic-graphs] Warning: 'nub' is out of scope.
1488.14 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.14 s
[algebraic-graphs] Warning: 'sort' is out of scope.
1488.14 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.14 s
[algebraic-graphs] 93% ( 15 / 16) in 'Algebra.Graph.AdjacencyMap.Algorithm'
1488.14 s
[algebraic-graphs] Missing documentation for:
1488.14 s
[algebraic-graphs] Cycle (src/Algebra/Graph/AdjacencyMap/Algorithm.hs:228)
1488.14 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1488.14 s
[algebraic-graphs] * at src/Algebra/Graph/Acyclic/AdjacencyMap.hs:132:1
1488.14 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1488.14 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.14 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.14 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Acyclic/AdjacencyMap.hs:132:1
1488.15 s
[algebraic-graphs] Warning: 'vertex' is ambiguous. It is defined
1488.15 s
[algebraic-graphs] * at src/Algebra/Graph/Acyclic/AdjacencyMap.hs:143:1
1488.15 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:239:1
1488.15 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.15 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.15 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/AdjacencyMap.hs:239:1
1488.15 s
[algebraic-graphs] Warning: 'vertices' is ambiguous. It is defined
1488.15 s
[algebraic-graphs] * at src/Algebra/Graph/Acyclic/AdjacencyMap.hs:157:1
1488.15 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:309:1
1488.15 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.15 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.15 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/AdjacencyMap.hs:309:1
1488.15 s
[algebraic-graphs] Warning: 'vertexCount' is ambiguous. It is defined
1488.15 s
[algebraic-graphs] * at src/Algebra/Graph/Acyclic/AdjacencyMap.hs:246:1
1488.15 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:417:1
1488.15 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.15 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.15 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/AdjacencyMap.hs:417:1
1488.15 s
[algebraic-graphs] Warning: 'edgeCount' is ambiguous. It is defined
1488.15 s
[algebraic-graphs] * at src/Algebra/Graph/Acyclic/AdjacencyMap.hs:258:1
1488.15 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:429:1
1488.15 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.15 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.15 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/AdjacencyMap.hs:429:1
1488.15 s
[algebraic-graphs] 100% ( 44 / 44) in 'Algebra.Graph.Acyclic.AdjacencyMap'
1488.16 s
[algebraic-graphs] Warning: 'foldg' is ambiguous. It is defined
1488.16 s
[algebraic-graphs] * at src/Algebra/Graph.hs:482:1
1488.16 s
[algebraic-graphs] * at src/Algebra/Graph/ToGraph.hs:98:5
1488.16 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.16 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.16 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/ToGraph.hs:98:5
1488.16 s
[algebraic-graphs] 100% ( 8 / 8) in 'Algebra.Graph.ToGraph'
1488.16 s
[algebraic-graphs] Warning: 'Relation' is ambiguous. It is defined
1488.16 s
[algebraic-graphs] * at src/Algebra/Graph/Relation.hs:157:19
1488.16 s
[algebraic-graphs] * at src/Algebra/Graph/Relation.hs:157:1
1488.16 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.16 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.16 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Relation.hs:157:1
1488.16 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1488.16 s
[algebraic-graphs] * at src/Algebra/Graph/Relation.hs:243:1
1488.16 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1488.16 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.16 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.16 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Relation.hs:243:1
1488.17 s
[algebraic-graphs] Warning: 'AdjacencyMap' is out of scope.
1488.17 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.17 s
[algebraic-graphs] 100% ( 56 / 56) in 'Algebra.Graph.Relation'
1488.18 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1488.18 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Symmetric.hs:188:1
1488.18 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1488.18 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.18 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.18 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Relation/Symmetric.hs:188:1
1488.19 s
[algebraic-graphs] Warning: 'vertexCount' is ambiguous. It is defined
1488.19 s
[algebraic-graphs] * at src/Algebra/Graph/Relation.hs:423:1
1488.19 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Symmetric.hs:372:1
1488.19 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.19 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.19 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Relation/Symmetric.hs:372:1
1488.19 s
[algebraic-graphs] Warning: 'edgeCount' is ambiguous. It is defined
1488.19 s
[algebraic-graphs] * at src/Algebra/Graph/Relation.hs:435:1
1488.19 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Symmetric.hs:384:1
1488.19 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.19 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.19 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Relation/Symmetric.hs:384:1
1488.19 s
[algebraic-graphs] 100% ( 48 / 48) in 'Algebra.Graph.Relation.Symmetric'
1488.20 s
[algebraic-graphs] Warning: 'vertexList' is out of scope.
1488.20 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.21 s
[algebraic-graphs] 100% ( 53 / 53) in 'Algebra.Graph.NonEmpty'
1488.21 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1488.21 s
[algebraic-graphs] * at src/Algebra/Graph/Labelled/AdjacencyMap.hs:160:1
1488.21 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1488.21 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.21 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.21 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Labelled/AdjacencyMap.hs:160:1
1488.22 s
[algebraic-graphs] Warning: 'hasEdge' is ambiguous. It is defined
1488.22 s
[algebraic-graphs] * at src/Algebra/Graph/AdjacencyMap.hs:403:1
1488.22 s
[algebraic-graphs] * at src/Algebra/Graph/Labelled/AdjacencyMap.hs:379:1
1488.22 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.22 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.22 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Labelled/AdjacencyMap.hs:379:1
1488.22 s
[algebraic-graphs] 100% ( 49 / 49) in 'Algebra.Graph.Labelled.AdjacencyMap'
1488.22 s
[algebraic-graphs] Warning: 'Context' is ambiguous. It is defined
1488.22 s
[algebraic-graphs] * at src/Algebra/Graph/Labelled.hs:675:20
1488.22 s
[algebraic-graphs] * at src/Algebra/Graph/Labelled.hs:675:1
1488.22 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.22 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.22 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Labelled.hs:675:1
1488.22 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1488.22 s
[algebraic-graphs] * at src/Algebra/Graph/Labelled.hs:191:1
1488.22 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1488.22 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.22 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.22 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Labelled.hs:191:1
1488.23 s
[algebraic-graphs] Warning: 'Focus' is ambiguous. It is defined
1488.23 s
[algebraic-graphs] * at src/Algebra/Graph/Labelled.hs:642:18
1488.23 s
[algebraic-graphs] * at src/Algebra/Graph/Labelled.hs:642:1
1488.23 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.23 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.23 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Labelled.hs:642:1
1488.23 s
[algebraic-graphs] 100% ( 49 / 49) in 'Algebra.Graph.Labelled'
1488.23 s
[algebraic-graphs] 100% ( 6 / 6) in 'Algebra.Graph.Labelled.Example.Network'
1488.24 s
[algebraic-graphs] 100% ( 5 / 5) in 'Algebra.Graph.Labelled.Example.Automaton'
1488.24 s
[algebraic-graphs] Warning: 'Doc' is ambiguous. It is defined
1488.24 s
[algebraic-graphs] * at src/Algebra/Graph/Export.hs:57:17
1488.24 s
[algebraic-graphs] * at src/Algebra/Graph/Export.hs:57:1
1488.24 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.24 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.24 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Export.hs:57:1
1488.24 s
[algebraic-graphs] 100% ( 14 / 14) in 'Algebra.Graph.Export'
1488.24 s
[algebraic-graphs] Warning: 'Style' is ambiguous. It is defined
1488.24 s
[algebraic-graphs] * at src/Algebra/Graph/Export/Dot.hs:49:18
1488.24 s
[algebraic-graphs] * at src/Algebra/Graph/Export/Dot.hs:49:1
1488.24 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.24 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.24 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Export/Dot.hs:49:1
1488.24 s
[algebraic-graphs] Warning: 'Graph' is out of scope.
1488.24 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.24 s
[algebraic-graphs] 100% ( 11 / 11) in 'Algebra.Graph.Export.Dot'
1488.25 s
[algebraic-graphs] Warning: 'empty' is ambiguous. It is defined
1488.25 s
[algebraic-graphs] * at src/Algebra/Graph/Undirected.hs:253:1
1488.25 s
[algebraic-graphs] * in ‘Data.Set.Internal’
1488.25 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.25 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.25 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Undirected.hs:253:1
1488.26 s
[algebraic-graphs] 100% ( 50 / 50) in 'Algebra.Graph.Undirected'
1488.27 s
[algebraic-graphs] 100% ( 27 / 27) in 'Algebra.Graph.Class'
1488.27 s
[algebraic-graphs] Warning: 'TransitiveRelation' is ambiguous. It is defined
1488.27 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Transitive.hs:39:32
1488.27 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Transitive.hs:39:1
1488.27 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.27 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.27 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Relation/Transitive.hs:39:1
1488.27 s
[algebraic-graphs] Warning: 'Transitive' is out of scope.
1488.27 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.27 s
[algebraic-graphs] 100% ( 5 / 5) in 'Algebra.Graph.Relation.Transitive'
1488.27 s
[algebraic-graphs] Warning: 'ReflexiveRelation' is ambiguous. It is defined
1488.27 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Reflexive.hs:34:31
1488.27 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Reflexive.hs:34:1
1488.27 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.27 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.27 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Relation/Reflexive.hs:34:1
1488.27 s
[algebraic-graphs] Warning: 'Reflexive' is out of scope.
1488.27 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.27 s
[algebraic-graphs] 100% ( 5 / 5) in 'Algebra.Graph.Relation.Reflexive'
1488.27 s
[algebraic-graphs] Warning: 'PreorderRelation' is ambiguous. It is defined
1488.27 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Preorder.hs:44:30
1488.27 s
[algebraic-graphs] * at src/Algebra/Graph/Relation/Preorder.hs:44:1
1488.27 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.27 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.27 s
[algebraic-graphs] Defaulting to the one defined at src/Algebra/Graph/Relation/Preorder.hs:44:1
1488.27 s
[algebraic-graphs] Warning: 'Preorder' is out of scope.
1488.27 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.27 s
[algebraic-graphs] 100% ( 5 / 5) in 'Algebra.Graph.Relation.Preorder'
1488.27 s
[algebraic-graphs] 0% ( 0 / 8) in 'Algebra.Graph.Example.Todo'
1488.27 s
[algebraic-graphs] Missing documentation for:
1488.27 s
[algebraic-graphs] Module header
1488.27 s
[algebraic-graphs] Todo (src/Algebra/Graph/Example/Todo.hs:13)
1488.27 s
[algebraic-graphs] todo (src/Algebra/Graph/Example/Todo.hs:42)
1488.27 s
[algebraic-graphs] low (src/Algebra/Graph/Example/Todo.hs:23)
1488.27 s
[algebraic-graphs] high (src/Algebra/Graph/Example/Todo.hs:27)
1488.27 s
[algebraic-graphs] ~*~ (src/Algebra/Graph/Example/Todo.hs:35)
1488.27 s
[algebraic-graphs] >*< (src/Algebra/Graph/Example/Todo.hs:39)
1488.27 s
[algebraic-graphs] priority (src/Algebra/Graph/Example/Todo.hs:31)
1488.27 s
[algebraic-graphs] Warning: 'GraphKL' is ambiguous. It is defined
1488.27 s
[algebraic-graphs] * at src/Data/Graph/Typed.hs:40:18
1488.27 s
[algebraic-graphs] * at src/Data/Graph/Typed.hs:40:1
1488.27 s
[algebraic-graphs] You may be able to disambiguate the identifier by qualifying it or
1488.27 s
[algebraic-graphs] by specifying the type/value namespace explicitly.
1488.27 s
[algebraic-graphs] Defaulting to the one defined at src/Data/Graph/Typed.hs:40:1
1488.27 s
[algebraic-graphs] Warning: 'array' is out of scope.
1488.27 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1488.28 s
[algebraic-graphs] 90% ( 10 / 11) in 'Data.Graph.Typed'
1488.28 s
[algebraic-graphs] Missing documentation for:
1488.28 s
[algebraic-graphs] scc (src/Data/Graph/Typed.hs:192)
1488.45 s
[algebraic-graphs] Warning: Algebra.Graph.AdjacencyMap: could not find link destinations for:
1488.45 s
[algebraic-graphs] - Algebra.Graph.AdjacencyMap.Rep_AdjacencyMap
1488.45 s
[algebraic-graphs] - Algebra.Graph.ToGraph.D:R:ToVertexAdjacencyMap0
1488.45 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexAdjacencyMap0
1488.46 s
[algebraic-graphs] Warning: Algebra.Graph.AdjacencyIntMap: could not find link destinations for:
1488.46 s
[algebraic-graphs] - Algebra.Graph.AdjacencyIntMap.Rep_AdjacencyIntMap
1488.46 s
[algebraic-graphs] - Algebra.Graph.ToGraph.D:R:ToVertexAdjacencyIntMap
1488.46 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexAdjacencyIntMap
1488.46 s
[algebraic-graphs] Warning: Algebra.Graph.Internal: could not find link destinations for:
1488.46 s
[algebraic-graphs] - Algebra.Graph.Internal.D:R:ItemList
1488.46 s
[algebraic-graphs] Warning: Algebra.Graph: could not find link destinations for:
1488.46 s
[algebraic-graphs] - Algebra.Graph.Rep_Graph
1488.46 s
[algebraic-graphs] - Algebra.Graph.ToGraph.D:R:ToVertexGraph
1488.46 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexGraph1
1488.47 s
[algebraic-graphs] Warning: Algebra.Graph.Bipartite.AdjacencyMap: could not find link destinations for:
1488.47 s
[algebraic-graphs] - Algebra.Graph.Bipartite.AdjacencyMap.Rep_AdjacencyMap
1488.47 s
[algebraic-graphs] - Algebra.Graph.Bipartite.AdjacencyMap.Rep_List
1488.47 s
[algebraic-graphs] - Algebra.Graph.Bipartite.AdjacencyMap.D:R:ItemList
1488.48 s
[algebraic-graphs] Warning: Algebra.Graph.Bipartite.AdjacencyMap.Algorithm: could not find link destinations for:
1488.48 s
[algebraic-graphs] - Algebra.Graph.Bipartite.AdjacencyMap.Algorithm.Rep_Matching
1488.48 s
[algebraic-graphs] Warning: Algebra.Graph.Label: could not find link destinations for:
1488.48 s
[algebraic-graphs] - Algebra.Graph.Label.D:R:ItemLabel
1488.48 s
[algebraic-graphs] - Algebra.Graph.Label.D:R:ItemMinimum
1488.49 s
[algebraic-graphs] Warning: Algebra.Graph.NonEmpty.AdjacencyMap: could not find link destinations for:
1488.49 s
[algebraic-graphs] - Algebra.Graph.NonEmpty.AdjacencyMap.Rep_AdjacencyMap
1488.49 s
[algebraic-graphs] - Algebra.Graph.ToGraph.D:R:ToVertexAdjacencyMap
1488.49 s
[algebraic-graphs] Warning: Algebra.Graph.ToGraph: could not find link destinations for:
1488.49 s
[algebraic-graphs] - Algebra.Graph.ToGraph.D:R:ToVertexAdjacencyIntMap
1488.49 s
[algebraic-graphs] - Algebra.Graph.ToGraph.D:R:ToVertexAdjacencyMap
1488.49 s
[algebraic-graphs] - Algebra.Graph.ToGraph.D:R:ToVertexAdjacencyMap0
1488.49 s
[algebraic-graphs] - Algebra.Graph.ToGraph.D:R:ToVertexGraph
1488.49 s
[algebraic-graphs] - Algebra.Graph.Relation.D:R:ToVertexRelation
1488.49 s
[algebraic-graphs] - Algebra.Graph.Relation.Symmetric.D:R:ToVertexRelation
1488.49 s
[algebraic-graphs] - Algebra.Graph.NonEmpty.D:R:ToVertexGraph
1488.49 s
[algebraic-graphs] - Algebra.Graph.Labelled.AdjacencyMap.D:R:ToVertexAdjacencyMap
1488.50 s
[algebraic-graphs] - Algebra.Graph.Labelled.D:R:ToVertexGraph
1488.50 s
[algebraic-graphs] Warning: Algebra.Graph.Relation: could not find link destinations for:
1488.50 s
[algebraic-graphs] - Algebra.Graph.Relation.D:R:ToVertexRelation
1488.50 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexRelation0
1488.50 s
[algebraic-graphs] Warning: Algebra.Graph.Relation.Symmetric: could not find link destinations for:
1488.50 s
[algebraic-graphs] - Algebra.Graph.Relation.Symmetric.D:R:ToVertexRelation
1488.50 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexRelation
1488.51 s
[algebraic-graphs] Warning: Algebra.Graph.NonEmpty: could not find link destinations for:
1488.51 s
[algebraic-graphs] - Algebra.Graph.NonEmpty.D:R:ToVertexGraph
1488.51 s
[algebraic-graphs] Warning: Algebra.Graph.Labelled.AdjacencyMap: could not find link destinations for:
1488.51 s
[algebraic-graphs] - Algebra.Graph.Labelled.AdjacencyMap.Rep_AdjacencyMap
1488.51 s
[algebraic-graphs] - Algebra.Graph.Labelled.AdjacencyMap.D:R:ToVertexAdjacencyMap
1488.51 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexAdjacencyMap
1488.52 s
[algebraic-graphs] Warning: Algebra.Graph.Labelled: could not find link destinations for:
1488.52 s
[algebraic-graphs] - Algebra.Graph.Labelled.Rep_Graph
1488.52 s
[algebraic-graphs] - Algebra.Graph.Labelled.D:R:ToVertexGraph
1488.52 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexGraph
1488.53 s
[algebraic-graphs] Warning: Algebra.Graph.Undirected: could not find link destinations for:
1488.53 s
[algebraic-graphs] - Algebra.Graph.Undirected.Rep_Graph
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexGraph0
1488.53 s
[algebraic-graphs] Warning: Algebra.Graph.Class: could not find link destinations for:
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexAdjacencyIntMap
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexAdjacencyMap
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexAdjacencyMap0
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexFUN
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexGraph
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexGraph0
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexGraph1
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexMaybe
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexRelation
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexRelation0
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexTuple2
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexTuple3
1488.53 s
[algebraic-graphs] - Algebra.Graph.Class.D:R:VertexUnit
1488.53 s
[algebraic-graphs] - Algebra.Graph.Relation.Transitive.D:R:VertexTransitiveRelation
1488.53 s
[algebraic-graphs] - Algebra.Graph.Relation.Reflexive.D:R:VertexReflexiveRelation
1488.53 s
[algebraic-graphs] - Algebra.Graph.Relation.Preorder.D:R:VertexPreorderRelation
1488.53 s
[algebraic-graphs] - Algebra.Graph.Example.Todo.D:R:VertexTodo
1488.53 s
[algebraic-graphs] Warning: Algebra.Graph.Relation.Transitive: could not find link destinations for:
1488.53 s
[algebraic-graphs] - Algebra.Graph.Relation.Transitive.D:R:VertexTransitiveRelation
1488.53 s
[algebraic-graphs] Warning: Algebra.Graph.Relation.Reflexive: could not find link destinations for:
1488.53 s
[algebraic-graphs] - Algebra.Graph.Relation.Reflexive.D:R:VertexReflexiveRelation
1488.53 s
[algebraic-graphs] Warning: Algebra.Graph.Relation.Preorder: could not find link destinations for:
1488.53 s
[algebraic-graphs] - Algebra.Graph.Relation.Preorder.D:R:VertexPreorderRelation
1488.53 s
[algebraic-graphs] Warning: Algebra.Graph.Example.Todo: could not find link destinations for:
1488.53 s
[algebraic-graphs] - Algebra.Graph.Example.Todo.D:R:VertexTodo
1488.65 s
[haskell-language-server] [2 of 5] Compiling Paths_haskell_language_server ( dist/build/autogen/Paths_haskell_language_server.hs, dist/build/Paths_haskell_language_server.o, dist/build/Paths_haskell_language_server.dyn_o )
1488.65 s
[haskell-language-server] [3 of 5] Compiling Ide.Version ( src/Ide/Version.hs, dist/build/Ide/Version.o, dist/build/Ide/Version.dyn_o )
1489.65 s
[haskell-language-server] [4 of 5] Compiling Ide.Arguments ( src/Ide/Arguments.hs, dist/build/Ide/Arguments.o, dist/build/Ide/Arguments.dyn_o )
1489.91 s
[haskell-language-server] [5 of 5] Compiling Ide.Main ( src/Ide/Main.hs, dist/build/Ide/Main.o, dist/build/Ide/Main.dyn_o )
1490.74 s
[haskell-language-server] <no location info>: warning : [ GHC-42258 ] [ -Wunused-packages ]
1490.74 s
[haskell-language-server] The following packages were specified via -package or -package-id flags,
1490.74 s
[haskell-language-server] but were not needed for compilation:
1490.74 s
[haskell-language-server] - ghc-9.12.2 (exposed by flag -package-id ghc-9.12.2-e4b2)
1490.74 s
[haskell-language-server]
1490.76 s
[haskell-language-server] [1 of 5] Compiling HlsPlugins ( src/HlsPlugins.hs, dist/build/HlsPlugins.p_o )
1491.94 s
[haskell-language-server] [2 of 5] Compiling Paths_haskell_language_server ( dist/build/autogen/Paths_haskell_language_server.hs, dist/build/Paths_haskell_language_server.p_o )
1491.94 s
[haskell-language-server] [3 of 5] Compiling Ide.Version ( src/Ide/Version.hs, dist/build/Ide/Version.p_o )
1493.01 s
[haskell-language-server] [4 of 5] Compiling Ide.Arguments ( src/Ide/Arguments.hs, dist/build/Ide/Arguments.p_o )
1493.09 s
[algebraic-graphs] Documentation created: dist/doc/html/algebraic-graphs,
1493.09 s
[algebraic-graphs] dist/doc/html/algebraic-graphs/algebraic-graphs.txt
1493.55 s
[haskell-language-server] [5 of 5] Compiling Ide.Main ( src/Ide/Main.hs, dist/build/Ide/Main.p_o )
1493.71 s
[algebraic-graphs] Preprocessing test suite 'main' for algebraic-graphs-0.7...
1493.80 s
[algebraic-graphs] Phase: installPhase
1493.86 s
[algebraic-graphs] Installing library in /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/algebraic-graphs-0.7-FExsROwW0T59iodXbrHh2x
1494.50 s
[algebraic-graphs] Phase: fixupPhase
1494.52 s
[algebraic-graphs] shrinking RPATHs of ELF executables and libraries in /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7
1494.52 s
[algebraic-graphs] shrinking /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHSalgebraic-graphs-0.7-FExsROwW0T59iodXbrHh2x-ghc9.12.2.so
1494.56 s
[algebraic-graphs] checking for references to /build/ in /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7...
1494.60 s
[algebraic-graphs] patching script interpreter paths in /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7
1494.61 s
[algebraic-graphs] stripping (with command strip and flags -S -p) in /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/lib
1494.92 s
[algebraic-graphs] shrinking RPATHs of ELF executables and libraries in /nix/store/7b4xhi7nq9chn00y1ginjw82sqkkzp67-algebraic-graphs-0.7-doc
1494.94 s
[algebraic-graphs] checking for references to /build/ in /nix/store/7b4xhi7nq9chn00y1ginjw82sqkkzp67-algebraic-graphs-0.7-doc...
1494.97 s
[algebraic-graphs] patching script interpreter paths in /nix/store/7b4xhi7nq9chn00y1ginjw82sqkkzp67-algebraic-graphs-0.7-doc
1495.15 s
[post-build-hook] Uploading to cachix cache "sellout": /nix/store/7b4xhi7nq9chn00y1ginjw82sqkkzp67-algebraic-graphs-0.7-doc /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7
1495.65 s
[post-build-hook] Pushing 2 paths (70 are already present) using zstd to cache sellout ⏳
1495.65 s
[post-build-hook]
1496.00 s
[post-build-hook] Pushing /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7 (25.73 MiB)
1496.05 s
[post-build-hook] Pushing /nix/store/7b4xhi7nq9chn00y1ginjw82sqkkzp67-algebraic-graphs-0.7-doc (10.41 MiB)
1497.36 s
[post-build-hook]
1497.36 s
[post-build-hook] All done.
1497.38 s
[post-build-hook] Uploading to the NixCI cache: /nix/store/7b4xhi7nq9chn00y1ginjw82sqkkzp67-algebraic-graphs-0.7-doc /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7
1497.41 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1497.42 s
[post-build-hook] copying 2 paths...
1497.42 s
[post-build-hook] copying path '/nix/store/7b4xhi7nq9chn00y1ginjw82sqkkzp67-algebraic-graphs-0.7-doc' to 'https://cache.nix-ci.com'...
1498.63 s
[post-build-hook] copying path '/nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7' to 'https://cache.nix-ci.com'...
1504.43 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1504.63 s
[post-build-hook] copying 1 paths...
1504.63 s
[post-build-hook] copying path '/nix/store/zjchlysmh2pvhrp9q0n4mzr5997n8br3-algebraic-graphs-0.7.drv' to 'https://cache.nix-ci.com'...
1504.81 s
Progress: 23 of 28 built (1 building), 1181 of 1181 downloaded from cache
1504.86 s
Building ghc-9.12.2-with-packages
1504.86 s
[haskell-language-server] Preprocessing executable 'haskell-language-server' for haskell-language-server-2.12.0.0...
1504.86 s
[haskell-language-server] Building executable 'haskell-language-server' for haskell-language-server-2.12.0.0...
1504.86 s
[haskell-language-server] [1 of 1] Compiling Main ( exe/Main.hs, dist/build/haskell-language-server/haskell-language-server-tmp/Main.dyn_o )
1504.86 s
[haskell-language-server] [2 of 2] Linking dist/build/haskell-language-server/haskell-language-server
1504.92 s
[ghc-9.12.2-with-packages] /nix/store/ipijqnpysrfmqbr0wn40g9sljakkm866-doctest-0.24.2/nix-support:
1504.92 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1504.93 s
[ghc-9.12.2-with-packages] /nix/store/ss1j3dr9hhfd794ry1lhky68vxdxjcma-ghc-compat-plugin-0.1.0.1/nix-support:
1504.93 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1504.94 s
[ghc-9.12.2-with-packages] /nix/store/aqhascsacrlbmj9c0z17lz86fq5m88sq-hedgehog-1.5/nix-support:
1504.94 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1504.97 s
[ghc-9.12.2-with-packages] /nix/store/dklqnfzkywrx0q4wx7bcsz3gf4appv94-Cabal-3.12.1.0/nix-support:
1504.97 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1504.98 s
[ghc-9.12.2-with-packages] /nix/store/c1rs41zkm2lcig75qsr0gpxfwd8ck3iv-cabal-doctest-1.0.12/nix-support:
1504.98 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.00 s
[ghc-9.12.2-with-packages] /nix/store/g0bzpxgsivgdg8mcp89jasnsj4xywirr-temporary-1.3/nix-support:
1505.00 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.00 s
[ghc-9.12.2-with-packages] /nix/store/g0bzpxgsivgdg8mcp89jasnsj4xywirr-temporary-1.3/nix-support:
1505.00 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.00 s
[ghc-9.12.2-with-packages] /nix/store/rdrf9wf8vaw856ms410wd2dkrhs7nk07-ansi-terminal-1.1.3/nix-support:
1505.00 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.00 s
[ghc-9.12.2-with-packages] /nix/store/rdrf9wf8vaw856ms410wd2dkrhs7nk07-ansi-terminal-1.1.3/nix-support:
1505.00 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.00 s
[ghc-9.12.2-with-packages] /nix/store/0kcziz05cx0sa6d25jvwx1f80h2hnr85-async-2.2.5/nix-support:
1505.00 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.01 s
[ghc-9.12.2-with-packages] /nix/store/0kcziz05cx0sa6d25jvwx1f80h2hnr85-async-2.2.5/nix-support:
1505.01 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.01 s
[ghc-9.12.2-with-packages] /nix/store/y5i90fy047kzypa8livcfy04lwp82594-barbies-2.1.1.0/nix-support:
1505.01 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.02 s
[ghc-9.12.2-with-packages] /nix/store/y5i90fy047kzypa8livcfy04lwp82594-barbies-2.1.1.0/nix-support:
1505.02 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.02 s
[ghc-9.12.2-with-packages] /nix/store/nnr0h9v86bz86ca1zsfbi9m0d57v2vmj-concurrent-output-1.10.21/nix-support:
1505.02 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.02 s
[ghc-9.12.2-with-packages] /nix/store/nnr0h9v86bz86ca1zsfbi9m0d57v2vmj-concurrent-output-1.10.21/nix-support:
1505.02 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.03 s
[ghc-9.12.2-with-packages] /nix/store/la712y9pixdihfyzny0mizmmawa82wd7-lifted-async-0.10.2.7/nix-support:
1505.03 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.03 s
[ghc-9.12.2-with-packages] /nix/store/la712y9pixdihfyzny0mizmmawa82wd7-lifted-async-0.10.2.7/nix-support:
1505.03 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.03 s
[ghc-9.12.2-with-packages] /nix/store/gn0swws787bdlynagc22pjnnam68mwsq-mmorph-1.2.1/nix-support:
1505.03 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.03 s
[ghc-9.12.2-with-packages] /nix/store/gn0swws787bdlynagc22pjnnam68mwsq-mmorph-1.2.1/nix-support:
1505.03 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.03 s
[ghc-9.12.2-with-packages] /nix/store/xqhwh9nazhhvs17x4smcjm70na922gac-monad-control-1.0.3.1/nix-support:
1505.03 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.03 s
[ghc-9.12.2-with-packages] /nix/store/xqhwh9nazhhvs17x4smcjm70na922gac-monad-control-1.0.3.1/nix-support:
1505.03 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.04 s
[ghc-9.12.2-with-packages] /nix/store/4yh5b7mayccdj8w61h4hf34qz49x0ajs-pretty-show-1.10/nix-support:
1505.04 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.04 s
[ghc-9.12.2-with-packages] /nix/store/4yh5b7mayccdj8w61h4hf34qz49x0ajs-pretty-show-1.10/nix-support:
1505.04 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.04 s
[ghc-9.12.2-with-packages] /nix/store/vxgfgs1mvp21gl6l47iph3lrpan1rsd4-primitive-0.9.1.0/nix-support:
1505.04 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.04 s
[ghc-9.12.2-with-packages] /nix/store/vxgfgs1mvp21gl6l47iph3lrpan1rsd4-primitive-0.9.1.0/nix-support:
1505.04 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.05 s
[ghc-9.12.2-with-packages] /nix/store/j42bsxi8bhrkaicyh8an4yx8frakiv3d-random-1.2.1.3/nix-support:
1505.05 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.05 s
[ghc-9.12.2-with-packages] /nix/store/j42bsxi8bhrkaicyh8an4yx8frakiv3d-random-1.2.1.3/nix-support:
1505.05 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.05 s
[ghc-9.12.2-with-packages] /nix/store/vnf0h1rs116sgy0v0bw6mkjfcpsm0qkx-resourcet-1.3.0/nix-support:
1505.05 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.05 s
[ghc-9.12.2-with-packages] /nix/store/vnf0h1rs116sgy0v0bw6mkjfcpsm0qkx-resourcet-1.3.0/nix-support:
1505.05 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.05 s
[ghc-9.12.2-with-packages] /nix/store/f4h9q57z55mxmqxk1jajl5mcpw1cq811-safe-exceptions-0.1.7.4/nix-support:
1505.05 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.06 s
[ghc-9.12.2-with-packages] /nix/store/f4h9q57z55mxmqxk1jajl5mcpw1cq811-safe-exceptions-0.1.7.4/nix-support:
1505.06 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.06 s
[ghc-9.12.2-with-packages] /nix/store/a43444ms5j0gl0y1rk2s3n4bcs8wk84m-transformers-base-0.4.6/nix-support:
1505.06 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.06 s
[ghc-9.12.2-with-packages] /nix/store/a43444ms5j0gl0y1rk2s3n4bcs8wk84m-transformers-base-0.4.6/nix-support:
1505.06 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.06 s
[ghc-9.12.2-with-packages] /nix/store/j61fzi5z4sk7xzac1k503p538mbyy8xp-wl-pprint-annotated-0.1.0.1/nix-support:
1505.06 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.06 s
[ghc-9.12.2-with-packages] /nix/store/j61fzi5z4sk7xzac1k503p538mbyy8xp-wl-pprint-annotated-0.1.0.1/nix-support:
1505.06 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.09 s
[ghc-9.12.2-with-packages] /nix/store/bnsivyi6b2pah9rl39fclgmibk2nkbfc-Cabal-syntax-3.12.1.0/nix-support:
1505.09 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.10 s
[ghc-9.12.2-with-packages] /nix/store/bnsivyi6b2pah9rl39fclgmibk2nkbfc-Cabal-syntax-3.12.1.0/nix-support:
1505.10 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.10 s
[ghc-9.12.2-with-packages] /nix/store/9b4jlw09ib7h2ncky9vxlzgggj1jl2c6-ansi-terminal-types-1.1.3/nix-support:
1505.10 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.10 s
[ghc-9.12.2-with-packages] /nix/store/9b4jlw09ib7h2ncky9vxlzgggj1jl2c6-ansi-terminal-types-1.1.3/nix-support:
1505.10 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.11 s
[ghc-9.12.2-with-packages] /nix/store/zaazzzs7dc11djb0p2i37756as7slpz2-hashable-1.5.0.0/nix-support:
1505.11 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.11 s
[ghc-9.12.2-with-packages] /nix/store/zaazzzs7dc11djb0p2i37756as7slpz2-hashable-1.5.0.0/nix-support:
1505.11 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.11 s
[ghc-9.12.2-with-packages] /nix/store/xnqdi5caq1ynkbyg2qfi1b6zhv3fn501-distributive-0.6.2.1/nix-support:
1505.11 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.11 s
[ghc-9.12.2-with-packages] /nix/store/xnqdi5caq1ynkbyg2qfi1b6zhv3fn501-distributive-0.6.2.1/nix-support:
1505.11 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.12 s
[ghc-9.12.2-with-packages] /nix/store/bqshylnkz6gcl2zm7s3r5hlp439mrfal-constraints-0.14.2/nix-support:
1505.12 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.12 s
[ghc-9.12.2-with-packages] /nix/store/bqshylnkz6gcl2zm7s3r5hlp439mrfal-constraints-0.14.2/nix-support:
1505.12 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.13 s
[ghc-9.12.2-with-packages] /nix/store/0p3i1fm1by4kjbcassf6hj7lmpc0bp9c-lifted-base-0.2.3.12/nix-support:
1505.13 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.13 s
[ghc-9.12.2-with-packages] /nix/store/0p3i1fm1by4kjbcassf6hj7lmpc0bp9c-lifted-base-0.2.3.12/nix-support:
1505.13 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.13 s
[ghc-9.12.2-with-packages] /nix/store/kbxc407a7shgwq4hrmdasaq12n1cmmsf-transformers-compat-0.7.2/nix-support:
1505.13 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.13 s
[ghc-9.12.2-with-packages] /nix/store/kbxc407a7shgwq4hrmdasaq12n1cmmsf-transformers-compat-0.7.2/nix-support:
1505.13 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.14 s
[ghc-9.12.2-with-packages] /nix/store/jmj6n9l5505xm5pkzp0q5k882rcy6z7q-splitmix-0.1.3.1/nix-support:
1505.14 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.14 s
[ghc-9.12.2-with-packages] /nix/store/jmj6n9l5505xm5pkzp0q5k882rcy6z7q-splitmix-0.1.3.1/nix-support:
1505.14 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.14 s
[ghc-9.12.2-with-packages] /nix/store/swra9l1w3ac4rjhjls6rqy8fq6b9jglb-unliftio-core-0.2.1.0/nix-support:
1505.14 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.15 s
[ghc-9.12.2-with-packages] /nix/store/swra9l1w3ac4rjhjls6rqy8fq6b9jglb-unliftio-core-0.2.1.0/nix-support:
1505.15 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.15 s
[ghc-9.12.2-with-packages] /nix/store/4xa8hgl67kialh4br8rdba8hr1p0cgng-base-orphans-0.9.3/nix-support:
1505.15 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.15 s
[ghc-9.12.2-with-packages] /nix/store/4xa8hgl67kialh4br8rdba8hr1p0cgng-base-orphans-0.9.3/nix-support:
1505.15 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.15 s
[ghc-9.12.2-with-packages] /nix/store/8kai39lr0v65gqyj2dciy46cb0gillpc-tagged-0.8.9/nix-support:
1505.15 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.15 s
[ghc-9.12.2-with-packages] /nix/store/8kai39lr0v65gqyj2dciy46cb0gillpc-tagged-0.8.9/nix-support:
1505.15 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.15 s
[ghc-9.12.2-with-packages] /nix/store/0b32nbwf2nzblavd6dx29z6ibyv29snv-boring-0.2.2/nix-support:
1505.15 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1505.15 s
[ghc-9.12.2-with-packages] /nix/store/0b32nbwf2nzblavd6dx29z6ibyv29snv-boring-0.2.2/nix-support:
1505.15 s
[ghc-9.12.2-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/pkvxklf83q25x4is7x57ilrc82xlgiid-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1507.52 s
[post-build-hook] Uploading to cachix cache "sellout": /nix/store/visrv45dhrq5hx2xiwdksl1vmfbsmch3-ghc-9.12.2-with-packages
1520.19 s
[post-build-hook] Pushing 1 paths (152 are already present) using zstd to cache sellout ⏳
1520.20 s
[post-build-hook]
1524.00 s
[post-build-hook] Pushing /nix/store/visrv45dhrq5hx2xiwdksl1vmfbsmch3-ghc-9.12.2-with-packages (6.77 MiB)
1533.64 s
[post-build-hook]
1533.64 s
[post-build-hook] All done.
1533.66 s
[post-build-hook] Uploading to the NixCI cache: /nix/store/visrv45dhrq5hx2xiwdksl1vmfbsmch3-ghc-9.12.2-with-packages
1533.69 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1533.85 s
[post-build-hook] copying 1 paths...
1533.85 s
[post-build-hook] copying path '/nix/store/visrv45dhrq5hx2xiwdksl1vmfbsmch3-ghc-9.12.2-with-packages' to 'https://cache.nix-ci.com'...
1535.01 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1535.24 s
[post-build-hook] copying 1 paths...
1535.24 s
[post-build-hook] copying path '/nix/store/ix4mn25mnd4zcqxp1rzmrsr0ypivwfka-ghc-9.12.2-with-packages.drv' to 'https://cache.nix-ci.com'...
1535.39 s
Progress: 24 of 27 built (1 building), 1181 of 1181 downloaded from cache
1535.39 s
[haskell-language-server] Preprocessing executable 'haskell-language-server-wrapper' for haskell-language-server-2.12.0.0...
1535.39 s
[haskell-language-server] Building executable 'haskell-language-server-wrapper' for haskell-language-server-2.12.0.0...
1535.39 s
[haskell-language-server] [1 of 2] Compiling Main ( exe/Wrapper.hs, dist/build/haskell-language-server-wrapper/haskell-language-server-wrapper-tmp/Main.dyn_o )
1535.39 s
[haskell-language-server] [2 of 2] Compiling Paths_haskell_language_server ( dist/build/haskell-language-server-wrapper/autogen/Paths_haskell_language_server.hs, dist/build/haskell-language-server-wrapper/haskell-language-server-wrapper-tmp/Paths_haskell_language_server.dyn_o )
1535.39 s
[haskell-language-server] [3 of 3] Linking dist/build/haskell-language-server-wrapper/haskell-language-server-wrapper
1535.39 s
[haskell-language-server] buildPhase completed in 7 minutes 11 seconds
1535.39 s
[haskell-language-server] Phase: haddockPhase
1535.39 s
[haskell-language-server] Phase: installPhase
1535.39 s
[haskell-language-server] Installing internal library hls-cabal-fmt-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-ZzWknxDxabLGwYt7VxwmO-hls-cabal-fmt-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-signature-help-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-WWH4Yk1JVI6Rh2OliRaIl-hls-signature-help-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-class-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-Lwr0mvbgXanQlJaX71zP2-hls-class-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-explicit-imports-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-LTilxbjARpFJyj9v4ft0l7-hls-explicit-imports-plugin
1535.39 s
[haskell-language-server] Installing executable ghcide-test-preprocessor in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.39 s
[haskell-language-server] Warning: The directory
1535.39 s
[haskell-language-server] /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.39 s
[haskell-language-server] is not in the system search path.
1535.39 s
[haskell-language-server] Installing internal library hls-code-range-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-KLcM2tyfGWeIzlW5RXC7Xb-hls-code-range-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-pragmas-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-JZq62r0DCcy7QhhdCJOSMa-hls-pragmas-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-refactor-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-HAhNoPVK7Dm1E3K4MlQ38g-hls-refactor-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-gadt-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-JvdK9k2wnTi8flJTzyfFl2-hls-gadt-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-cabal-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-H1mm1g4N7t81dfbKs2oW1Y-hls-cabal-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-eval-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-G5JLzALDgDC20BLmhHMu3S-hls-eval-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-change-type-signature-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-FOTTTQjVAe5D8nucjL4asx-hls-change-type-signature-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-cabal-gild-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-EBApHzBBZY2GsX66BDAN9b-hls-cabal-gild-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-explicit-record-fields-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-DAFvCLoSqjqjW4hNVE53X-hls-explicit-record-fields-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-notes-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-CpXNrilHexj4e9hC7d49JA-hls-notes-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-rename-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-CEOARynpSTCA3nNO6C8oEa-hls-rename-plugin
1535.39 s
[haskell-language-server] Installing internal library ghcide-bench-lib in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-AWHajKn8UpW2ql9aKV5dNT-ghcide-bench-lib
1535.39 s
[haskell-language-server] Installing internal library hls-call-hierarchy-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-7oiZLsLMd05BTnPMksAI3f-hls-call-hierarchy-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-explicit-fixity-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-6zSm9klBeYfBOAg7UxMjz7-hls-explicit-fixity-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-ormolu-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-694OMa68kr99qUo6lkScsN-hls-ormolu-plugin
1535.39 s
[haskell-language-server] Installing executable ghcide-bench in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.39 s
[haskell-language-server] Warning: The directory
1535.39 s
[haskell-language-server] /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.39 s
[haskell-language-server] is not in the system search path.
1535.39 s
[haskell-language-server] Installing internal library hls-overloaded-record-dot-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-4yqD3DPGri8BmF7HpbZNmM-hls-overloaded-record-dot-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-semantic-tokens-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-4nm0LlJoBH6DJDSXCg16k6-hls-semantic-tokens-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-hlint-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-4fy8LFxFNCYWWalgWjiTc-hls-hlint-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-alternate-number-format-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-3FObWuy3nNfINFA10PNDQa-hls-alternate-number-format-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-fourmolu-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-37KZwmFWIvWDVv8FgZsb3n-hls-fourmolu-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-stylish-haskell-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-1yyzI03kgeE2v6RQZASIC7-hls-stylish-haskell-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-qualify-imported-names-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-1PgGtAEjsssLfCTDfr1uPz-hls-qualify-imported-names-plugin
1535.39 s
[haskell-language-server] Installing internal library hls-module-name-plugin in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-11G2SX0kcbK7IHgZOsiQ6X-hls-module-name-plugin
1535.39 s
[haskell-language-server] Installing library in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/haskell-language-server-2.12.0.0-DSXyrScSd679XyQP6Hdovb
1535.39 s
[haskell-language-server] Installing executable haskell-language-server in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.39 s
[haskell-language-server] Warning: The directory
1535.39 s
[haskell-language-server] /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.39 s
[haskell-language-server] is not in the system search path.
1535.39 s
[haskell-language-server] Installing executable haskell-language-server-wrapper in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.39 s
[haskell-language-server] Warning: The directory
1535.39 s
[haskell-language-server] /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.39 s
[haskell-language-server] is not in the system search path.
1535.39 s
[haskell-language-server] Phase: fixupPhase
1535.39 s
[haskell-language-server] shrinking RPATHs of ELF executables and libraries in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-DSXyrScSd679XyQP6Hdovb-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-AWHajKn8UpW2ql9aKV5dNT-ghcide-bench-lib-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-CEOARynpSTCA3nNO6C8oEa-hls-rename-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-1yyzI03kgeE2v6RQZASIC7-hls-stylish-haskell-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-KLcM2tyfGWeIzlW5RXC7Xb-hls-code-range-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-37KZwmFWIvWDVv8FgZsb3n-hls-fourmolu-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-JvdK9k2wnTi8flJTzyfFl2-hls-gadt-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-HAhNoPVK7Dm1E3K4MlQ38g-hls-refactor-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-JZq62r0DCcy7QhhdCJOSMa-hls-pragmas-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-4yqD3DPGri8BmF7HpbZNmM-hls-overloaded-record-dot-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-LTilxbjARpFJyj9v4ft0l7-hls-explicit-imports-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-FOTTTQjVAe5D8nucjL4asx-hls-change-type-signature-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-Lwr0mvbgXanQlJaX71zP2-hls-class-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-CpXNrilHexj4e9hC7d49JA-hls-notes-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-DAFvCLoSqjqjW4hNVE53X-hls-explicit-record-fields-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-1PgGtAEjsssLfCTDfr1uPz-hls-qualify-imported-names-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-7oiZLsLMd05BTnPMksAI3f-hls-call-hierarchy-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-G5JLzALDgDC20BLmhHMu3S-hls-eval-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-11G2SX0kcbK7IHgZOsiQ6X-hls-module-name-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-WWH4Yk1JVI6Rh2OliRaIl-hls-signature-help-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-ZzWknxDxabLGwYt7VxwmO-hls-cabal-fmt-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-4nm0LlJoBH6DJDSXCg16k6-hls-semantic-tokens-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-694OMa68kr99qUo6lkScsN-hls-ormolu-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-EBApHzBBZY2GsX66BDAN9b-hls-cabal-gild-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-6zSm9klBeYfBOAg7UxMjz7-hls-explicit-fixity-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-3FObWuy3nNfINFA10PNDQa-hls-alternate-number-format-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-H1mm1g4N7t81dfbKs2oW1Y-hls-cabal-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib/ghc-9.12.2/lib/x86_64-linux-ghc-9.12.2-e4b2/libHShaskell-language-server-2.12.0.0-4fy8LFxFNCYWWalgWjiTc-hls-hlint-plugin-ghc9.12.2.so
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin/ghcide-bench
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin/ghcide-test-preprocessor
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin/.haskell-language-server-9.12.2-unwrapped
1535.39 s
[haskell-language-server] shrinking /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin/haskell-language-server-wrapper
1535.39 s
[haskell-language-server] checking for references to /build/ in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0...
1535.39 s
[haskell-language-server] patching script interpreter paths in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0
1535.39 s
[haskell-language-server] /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin/haskell-language-server: interpreter directive changed from "#!/bin/sh" to "/nix/store/6ph0zypyfc09fw6hlc1ygjvk2hv4j9vd-bash-5.3p3/bin/sh"
1535.39 s
[haskell-language-server] stripping (with command strip and flags -S -p) in /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/lib /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin
1535.40 s
[haskell-language-server] rewriting symlink /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0/bin/haskell-language-server-9.12.2 to be relative to /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0
1538.83 s
[post-build-hook] Uploading to cachix cache "sellout": /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0
1546.31 s
[post-build-hook] Pushing 1 paths (581 are already present) using zstd to cache sellout ⏳
1546.32 s
[post-build-hook]
1546.67 s
[post-build-hook] Pushing /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0 (105.53 MiB)
1548.58 s
[post-build-hook]
1548.58 s
[post-build-hook] All done.
1548.60 s
[post-build-hook] Uploading to the NixCI cache: /nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0
1548.63 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1548.68 s
[post-build-hook] copying 1 paths...
1548.68 s
[post-build-hook] copying path '/nix/store/fw0vj43xdkdfsw1yin2a02gfz4k5dnnk-haskell-language-server-2.12.0.0' to 'https://cache.nix-ci.com'...
1567.09 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1567.42 s
[post-build-hook] copying 61 paths...
1567.43 s
[post-build-hook] copying path '/nix/store/1d930hhcjlghk0x19sgqjysna8sinz33-entropy-0.4.1.11.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/3hi7xldgg98g6hgs5f10vjwsvn2bd7ll-pretty-simple-4.1.4.0.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/4kh9m0q6hm7z57m422iyi4b5knjg7cy7-hscolour-1.25.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/4x2najn46q7h6j59yahzgqc86pfh4rp7-hspec-megaparsec-2.2.1.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/6s2dkcxwjnyhkrl52blga18701w9gpy4-uniplate-1.6.13.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/8jmnl8zp0zn29njqmhm8fb02c4zcnw42-fmlist-0.9.4.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/9j1ffq2l4k06274209nps0qk02k2w7s7-commutative-semigroups-0.2.0.2.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/alrc8l9y5x5zpv7182xhb0dpcyb8zl0a-githash-0.1.7.0.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/c0wm4yj8zihp0fimzbfqbqf81h90n632-colourista-0.1.0.2.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/7vlsgxiqfj901xi696f2dyf6wbidl04y-cabal-doctest-1.0.12.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/g63r8jf0c3iy1kd0sykc53630xiakk0p-HsYAML-0.2.1.5.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/cs0zdmpznh7ng5wmmqpji334m0s3bj88-ghc-lib-parser-9.12.2.20250421.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/7mrbyavz5h4p1x1sbfv288yappwmyi8g-filtrable-0.1.6.0.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/arjdr3dka1a8f7lkdig3wqfkyljpbmqd-path-0.9.6.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/5lljann1x3g7a0ikbsixf05zs7rnfr21-hspec-hedgehog-0.3.0.0.drv' to 'https://cache.nix-ci.com'...
1567.43 s
[post-build-hook] copying path '/nix/store/c4w3j16zi3lr4npsnnh2w7fp39svr71z-newtype-generics-0.6.2.drv' to 'https://cache.nix-ci.com'...
1567.59 s
[post-build-hook] copying path '/nix/store/giby0gp4j3hys35hib8905w9c1s3lw2z-heaps-0.4.1.drv' to 'https://cache.nix-ci.com'...
1567.59 s
[post-build-hook] copying path '/nix/store/h5ziqjygsscrdmsxccsbn1ss2fz1whzv-microaeson-0.1.0.3.drv' to 'https://cache.nix-ci.com'...
1567.59 s
[post-build-hook] copying path '/nix/store/hwp56sfmg2bfvnsm1y894rvpn1wxv37l-refact-0.3.0.2.drv' to 'https://cache.nix-ci.com'...
1567.60 s
[post-build-hook] copying path '/nix/store/id4289xnnrcyg1p30w74gj0jqq1sbprs-MemoTrie-0.6.11.drv' to 'https://cache.nix-ci.com'...
1567.60 s
[post-build-hook] copying path '/nix/store/j4abzmwkj69sx7r1hvl2ygqgn7lcnlh8-choice-0.2.4.1.drv' to 'https://cache.nix-ci.com'...
1567.60 s
[post-build-hook] copying path '/nix/store/lqm2hz98h4p4nswnhd79znpkvl044dxl-clay-0.16.1.drv' to 'https://cache.nix-ci.com'...
1567.60 s
[post-build-hook] copying path '/nix/store/pfz5fjr02m1cvvvbm4h86w4gd4c3gx1h-deriving-aeson-0.2.10.drv' to 'https://cache.nix-ci.com'...
1567.61 s
[post-build-hook] copying path '/nix/store/sicgy2865363bcx4hm3wz8kcpk9cl4v3-vector-th-unbox-0.2.2.drv' to 'https://cache.nix-ci.com'...
1567.61 s
[post-build-hook] copying path '/nix/store/whfh201kfkgbz3vy0gph5abjvn9hd34i-filemanip-0.3.6.3.drv' to 'https://cache.nix-ci.com'...
1567.61 s
[post-build-hook] copying path '/nix/store/yfpz5p33cy610cfn37qvsgflascmlfcr-primes-0.2.1.0.drv' to 'https://cache.nix-ci.com'...
1567.62 s
[post-build-hook] copying path '/nix/store/yhcasvj7p1qvfdfczzkb10ihrjnhxcrh-HsYAML-aeson-0.2.0.2.drv' to 'https://cache.nix-ci.com'...
1567.63 s
[post-build-hook] copying path '/nix/store/yirhcxd4v1d22hpmyyqlx5ji0j7qj1bh-blaze-markup-0.8.3.0.drv' to 'https://cache.nix-ci.com'...
1567.63 s
[post-build-hook] copying path '/nix/store/yl8sq04z7zpz3zg0431xvygw9sbfza35-dir-traverse-0.2.3.0.drv' to 'https://cache.nix-ci.com'...
1567.63 s
[post-build-hook] copying path '/nix/store/ywh3r026458vsaifs2p5y1xpd220jdrz-relude-1.2.2.2.drv' to 'https://cache.nix-ci.com'...
1567.63 s
[post-build-hook] copying path '/nix/store/zgf0cdfrz7f7by7jpg9v6s3v5kifnp47-markdown-unlit-0.6.0.drv' to 'https://cache.nix-ci.com'...
1567.64 s
[post-build-hook] copying path '/nix/store/cn38x81l6cnhhxvyhjj8850jzv4gr8ag-optparse-simple-0.1.1.4.drv' to 'https://cache.nix-ci.com'...
1567.74 s
[post-build-hook] copying path '/nix/store/bm6sf0yknmfh7xicqj29bf0pj94wdgqr-regex-applicative-0.3.4.drv' to 'https://cache.nix-ci.com'...
1567.74 s
[post-build-hook] copying path '/nix/store/2p9xsljs8sbfbwzmh3zf79wwncychn6x-ListLike-4.7.8.4.drv' to 'https://cache.nix-ci.com'...
1567.75 s
[post-build-hook] copying path '/nix/store/5avsjdzi1qcv6pkkcssikbjarw7x8lzw-path-io-1.8.2.drv' to 'https://cache.nix-ci.com'...
1567.76 s
[post-build-hook] copying path '/nix/store/4z0yfqwyfxck2nhry178s12wnq5qyl17-slist-0.2.1.0.drv' to 'https://cache.nix-ci.com'...
1567.76 s
[post-build-hook] copying path '/nix/store/gcxwlpvpmb87648hdkflsa8awf6wg3hj-trial-0.0.0.0.drv' to 'https://cache.nix-ci.com'...
1567.76 s
[post-build-hook] copying path '/nix/store/gx2xyl638b8mnnha67vqcx8nvp8l6d64-extensions-0.1.1.0.drv' to 'https://cache.nix-ci.com'...
1567.76 s
[post-build-hook] copying path '/nix/store/j1vs0zd3s8xxwmfyaxnr33kwvhksi8ik-validation-selective-0.2.0.0.drv' to 'https://cache.nix-ci.com'...
1567.77 s
[post-build-hook] copying path '/nix/store/icnz6j6zhyifsmnbsj1j2sacd20k8y6r-ghc-lib-parser-ex-9.12.0.0.drv' to 'https://cache.nix-ci.com'...
1567.77 s
[post-build-hook] copying path '/nix/store/db48x44zwvxg06ggx24k4nkzgq9l48vb-pcg-random-0.1.4.0.drv' to 'https://cache.nix-ci.com'...
1567.77 s
[post-build-hook] copying path '/nix/store/pgngaxnn18qgn5mwfrljdqcbck39p2dn-shake-0.19.8.drv' to 'https://cache.nix-ci.com'...
1567.78 s
[post-build-hook] copying path '/nix/store/37sd1iq3mgz5bq29gbmdx8qkrhgihjvk-math-functions-0.3.4.4.drv' to 'https://cache.nix-ci.com'...
1567.87 s
[post-build-hook] copying path '/nix/store/hs99j872s4x1ykrf01nga00dngajsj81-monoid-subclasses-1.2.6.drv' to 'https://cache.nix-ci.com'...
1567.88 s
[post-build-hook] copying path '/nix/store/fg6lla125n78ppwizm0fpr4jlilvcinm-apply-refact-0.15.0.0.drv' to 'https://cache.nix-ci.com'...
1567.88 s
[post-build-hook] copying path '/nix/store/ssib190830qz5n50vxhjc0smyl3rn04j-blaze-html-0.9.2.0.drv' to 'https://cache.nix-ci.com'...
1567.90 s
[post-build-hook] copying path '/nix/store/28wbvr9xvcapgc0z9ip0053w6175hspp-process-extras-0.7.4.drv' to 'https://cache.nix-ci.com'...
1567.90 s
[post-build-hook] copying path '/nix/store/hzyjcwscz6czc9pqpk8jz4bdmrhcbg9a-th-env-0.1.1.drv' to 'https://cache.nix-ci.com'...
1567.91 s
[post-build-hook] copying path '/nix/store/k8ldbjc9k1cvdbc51km3idsallqbqhiy-stylish-haskell-0.15.1.0.drv' to 'https://cache.nix-ci.com'...
1567.91 s
[post-build-hook] copying path '/nix/store/dlnq0kpji4w9nl2g9drczj21frgrg4pg-trial-optparse-applicative-0.0.0.0.drv' to 'https://cache.nix-ci.com'...
1567.91 s
[post-build-hook] copying path '/nix/store/p8rgdas0v32mj4dml58lhqsdbkjlg13g-hlint-3.10.drv' to 'https://cache.nix-ci.com'...
1567.92 s
[post-build-hook] copying path '/nix/store/n6xvi3km02rnmy9pyd38wps9vfcmqqq5-tomland-1.3.3.3.drv' to 'https://cache.nix-ci.com'...
1567.92 s
[post-build-hook] copying path '/nix/store/p3f5fnvmcjai9qqw8prh3h4qxmkiq56v-mwc-random-0.15.2.0.drv' to 'https://cache.nix-ci.com'...
1568.01 s
[post-build-hook] copying path '/nix/store/s7zlpjwjjrj0z9p9xpqbjx732nfrv4lf-fuzzy-0.1.1.0.drv' to 'https://cache.nix-ci.com'...
1568.02 s
[post-build-hook] copying path '/nix/store/8l45ydlz87gcrd4921cxs8zgbpjqizdb-fourmolu-0.19.0.1.drv' to 'https://cache.nix-ci.com'...
1568.02 s
[post-build-hook] copying path '/nix/store/sms1pc9swp633817scxmqsg2iyaz0bn7-ormolu-0.8.0.2.drv' to 'https://cache.nix-ci.com'...
1568.04 s
[post-build-hook] copying path '/nix/store/x4gymql873hbricr5whaij85lc156cfx-random-bytestring-0.1.4.drv' to 'https://cache.nix-ci.com'...
1568.05 s
[post-build-hook] copying path '/nix/store/b14qf66nql7aa4yvbig063rydzv3nzg4-trial-tomland-0.0.0.0.drv' to 'https://cache.nix-ci.com'...
1568.16 s
[post-build-hook] copying path '/nix/store/5v5x7axfcknj6cc9cg095jmm7qgdh2bs-base64-1.0.drv' to 'https://cache.nix-ci.com'...
1568.28 s
[post-build-hook] copying path '/nix/store/7g2px84xk271hsb2p1g9qx43ms2ziyjj-stan-0.2.1.0.drv' to 'https://cache.nix-ci.com'...
1568.40 s
[post-build-hook] copying path '/nix/store/q8bdj85y3fw7617h5ahp26dv66hbg263-haskell-language-server-2.12.0.0.drv' to 'https://cache.nix-ci.com'...
1568.56 s
Progress: 25 of 27 built, 1181 of 1181 downloaded from cache
1568.66 s
Building ghc-shell-for-packages
1569.50 s
[post-build-hook] Uploading to cachix cache "sellout": /nix/store/g8yc3s5pccc7j33jnn3njmhy10k98m0s-ghc-shell-for-packages-0
1570.03 s
[post-build-hook] Pushing 1 paths (799 are already present) using zstd to cache sellout ⏳
1570.03 s
[post-build-hook]
1570.40 s
[post-build-hook] Pushing /nix/store/g8yc3s5pccc7j33jnn3njmhy10k98m0s-ghc-shell-for-packages-0 (336.00 B)
1571.41 s
[post-build-hook]
1571.41 s
[post-build-hook] All done.
1571.43 s
[post-build-hook] Uploading to the NixCI cache: /nix/store/g8yc3s5pccc7j33jnn3njmhy10k98m0s-ghc-shell-for-packages-0
1571.46 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1571.51 s
[post-build-hook] copying 1 paths...
1571.51 s
[post-build-hook] copying path '/nix/store/g8yc3s5pccc7j33jnn3njmhy10k98m0s-ghc-shell-for-packages-0' to 'https://cache.nix-ci.com'...
1571.71 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1571.97 s
[post-build-hook] copying 1 paths...
1571.97 s
[post-build-hook] copying path '/nix/store/avk1pf1p6vyxnh52yv2q7nfm6rfcryj0-ghc-shell-for-packages-0.drv' to 'https://cache.nix-ci.com'...
1572.11 s
Progress: 26 of 27 built, 1181 of 1181 downloaded from cache