build devShells.x86_64-linux.ghc967
1604.07 s
[algebraic-graphs]
1604.07 s
[algebraic-graphs] ============ Labelled.AdjacencyMap.emap ============
1604.07 s
[algebraic-graphs] OK: emap h empty == empty
1604.07 s
[algebraic-graphs] OK: emap h (vertex x) == vertex x
1604.07 s
[algebraic-graphs] OK: emap h (edge e x y) == edge (h e) x y
1604.07 s
[algebraic-graphs] OK: emap h (overlay x y) == overlay (emap h x) (emap h y)
1604.07 s
[algebraic-graphs] OK: emap h (connect e x y) == connect (h e) (emap h x) (emap h y)
1604.07 s
[algebraic-graphs] OK: emap id == id
1604.07 s
[algebraic-graphs] OK: emap g . emap h == emap (g . h)
1604.07 s
[algebraic-graphs]
1604.07 s
[algebraic-graphs] ============ Labelled.AdjacencyMap.induce ============
1604.07 s
[algebraic-graphs] OK: induce (const True ) x == x
1604.07 s
[algebraic-graphs] OK: induce (const False) x == empty
1604.07 s
[algebraic-graphs] OK: induce (/= x) == removeVertex x
1604.07 s
[algebraic-graphs] OK: induce p . induce q == induce (\x -> p x && q x)
1604.07 s
[algebraic-graphs] OK: isSubgraphOf (induce p x) x == True
1604.07 s
[algebraic-graphs]
1604.07 s
[algebraic-graphs] ============ Labelled.AdjacencyMap.induceJust ============
1605.33 s
[algebraic-graphs] OK: induceJust (vertex Nothing) == empty
1605.33 s
[algebraic-graphs] OK: induceJust (edge (Just x) Nothing) == vertex x
1605.33 s
[algebraic-graphs] OK: induceJust . gmap Just == id
1605.33 s
[algebraic-graphs] OK: induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.AdjacencyMap.closure ============
1605.33 s
[algebraic-graphs] OK: closure empty == empty
1605.33 s
[algebraic-graphs] OK: closure (vertex x) == edge one x x
1605.33 s
[algebraic-graphs] OK: closure (edge e x x) == edge one x x
1605.33 s
[algebraic-graphs] OK: closure (edge e x y) == edges [(one,x,x), (e,x,y), (one,y,y)]
1605.33 s
[algebraic-graphs] OK: closure == reflexiveClosure . transitiveClosure
1605.33 s
[algebraic-graphs] OK: closure == transitiveClosure . reflexiveClosure
1605.33 s
[algebraic-graphs] OK: closure . closure == closure
1605.33 s
[algebraic-graphs] OK: postSet x (closure y) == Set.fromList (reachable y x)
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.AdjacencyMap.reflexiveClosure ============
1605.33 s
[algebraic-graphs] OK: reflexiveClosure empty == empty
1605.33 s
[algebraic-graphs] OK: reflexiveClosure (vertex x) == edge one x x
1605.33 s
[algebraic-graphs] OK: reflexiveClosure (edge e x x) == edge one x x
1605.33 s
[algebraic-graphs] OK: reflexiveClosure (edge e x y) == edges [(one,x,x), (e,x,y), (one,y,y)]
1605.33 s
[algebraic-graphs] OK: reflexiveClosure . reflexiveClosure == reflexiveClosure
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.AdjacencyMap.symmetricClosure ============
1605.33 s
[algebraic-graphs] OK: symmetricClosure empty == empty
1605.33 s
[algebraic-graphs] OK: symmetricClosure (vertex x) == vertex x
1605.33 s
[algebraic-graphs] OK: symmetricClosure (edge e x y) == edges [(e,x,y), (e,y,x)]
1605.33 s
[algebraic-graphs] OK: symmetricClosure x == overlay x (transpose x)
1605.33 s
[algebraic-graphs] OK: symmetricClosure . symmetricClosure == symmetricClosure
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.AdjacencyMap.transitiveClosure ============
1605.33 s
[algebraic-graphs] OK: transitiveClosure empty == empty
1605.33 s
[algebraic-graphs] OK: transitiveClosure (vertex x) == vertex x
1605.33 s
[algebraic-graphs] OK: transitiveClosure (edge e x y) == edge e x y
1605.33 s
[algebraic-graphs] OK: transitiveClosure . transitiveClosure == transitiveClosure
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.empty ============
1605.33 s
[algebraic-graphs] OK: isEmpty empty == True
1605.33 s
[algebraic-graphs] OK: hasVertex x empty == False
1605.33 s
[algebraic-graphs] OK: vertexCount empty == 0
1605.33 s
[algebraic-graphs] OK: edgeCount empty == 0
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.vertex ============
1605.33 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1605.33 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1605.33 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1605.33 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.edge ============
1605.33 s
[algebraic-graphs] OK: edge e x y == connect e (vertex x) (vertex y)
1605.33 s
[algebraic-graphs] OK: edge zero x y == vertices [x,y]
1605.33 s
[algebraic-graphs] OK: hasEdge x y (edge e x y) == (e /= mempty)
1605.33 s
[algebraic-graphs] OK: edgeLabel x y (edge e x y) == e
1605.33 s
[algebraic-graphs] OK: edgeCount (edge e x y) == if e == mempty then 0 else 1
1605.33 s
[algebraic-graphs] OK: vertexCount (edge e 1 1) == 1
1605.33 s
[algebraic-graphs] OK: vertexCount (edge e 1 2) == 2
1605.33 s
[algebraic-graphs] OK: x -<e>- y == edge e x y
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.overlay ============
1605.33 s
[algebraic-graphs] OK: isEmpty (overlay x y) == isEmpty x && isEmpty y
1605.33 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1605.33 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1605.33 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1605.33 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1605.33 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1605.33 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1605.33 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] OK: edgeLabel x y $ overlay (edge e x y) (edge zero x y) == e
1605.33 s
[algebraic-graphs] OK: edgeLabel x y $ overlay (edge e x y) (edge f x y) == e <+> f
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] OK: edgeLabel 1 3 $ transitiveClosure (overlay (edge e 1 2) (edge one 2 3)) == e
1605.33 s
[algebraic-graphs] OK: edgeLabel 1 3 $ transitiveClosure (overlay (edge e 1 2) (edge f 2 3)) == e <.> f
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.connect ============
1605.33 s
[algebraic-graphs] OK: isEmpty (connect e x y) == isEmpty x && isEmpty y
1605.33 s
[algebraic-graphs] OK: hasVertex z (connect e x y) == hasVertex z x || hasVertex z y
1605.33 s
[algebraic-graphs] OK: vertexCount (connect e x y) >= vertexCount x
1605.33 s
[algebraic-graphs] OK: vertexCount (connect e x y) <= vertexCount x + vertexCount y
1605.33 s
[algebraic-graphs] OK: edgeCount (connect e x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1605.33 s
[algebraic-graphs] OK: vertexCount (connect e 1 2) == 2
1605.33 s
[algebraic-graphs] OK: edgeCount (connect e 1 2) == if e == zero then 0 else 1
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.vertices ============
1605.33 s
[algebraic-graphs] OK: vertices [] == empty
1605.33 s
[algebraic-graphs] OK: vertices [x] == vertex x
1605.33 s
[algebraic-graphs] OK: vertices == overlays . map vertex
1605.33 s
[algebraic-graphs] OK: hasVertex x . vertices == elem x
1605.33 s
[algebraic-graphs] OK: vertexCount . vertices == length . nub
1605.33 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.edges ============
1605.33 s
[algebraic-graphs] OK: edges [] == empty
1605.33 s
[algebraic-graphs] OK: edges [(e,x,y)] == edge e x y
1605.33 s
[algebraic-graphs] OK: edges == overlays . map (\(e, x, y) -> edge e x y)
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.overlays ============
1605.33 s
[algebraic-graphs] OK: overlays [] == empty
1605.33 s
[algebraic-graphs] OK: overlays [x] == x
1605.33 s
[algebraic-graphs] OK: overlays [x,y] == overlay x y
1605.33 s
[algebraic-graphs] OK: overlays == foldr overlay empty
1605.33 s
[algebraic-graphs] OK: isEmpty . overlays == all isEmpty
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.foldg ============
1605.33 s
[algebraic-graphs] OK: foldg empty vertex connect == id
1605.33 s
[algebraic-graphs] OK: foldg empty vertex (fmap flip connect) == transpose
1605.33 s
[algebraic-graphs] OK: foldg 1 (const 1) (const (+)) == size
1605.33 s
[algebraic-graphs] OK: foldg True (const False) (const (&&)) == isEmpty
1605.33 s
[algebraic-graphs] OK: foldg False (== x) (const (||)) == hasVertex x
1605.33 s
[algebraic-graphs] OK: foldg Set.empty Set.singleton (const Set.union) == vertexSet
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.buildg ============
1605.33 s
[algebraic-graphs] OK: buildg (\e _ _ -> e) == empty
1605.33 s
[algebraic-graphs] OK: buildg (\_ v _ -> v x) == vertex x
1605.33 s
[algebraic-graphs] OK: buildg (\e v c -> c l (foldg e v c x) (foldg e v c y)) == connect l x y
1605.33 s
[algebraic-graphs] OK: buildg (\e v c -> foldr (c zero) e (map v xs)) == vertices xs
1605.33 s
[algebraic-graphs] OK: buildg (\e v c -> foldg e v (flip c) g) == transpose g
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.isSubgraphOf ============
1605.33 s
[algebraic-graphs] OK: isSubgraphOf empty x == True
1605.33 s
[algebraic-graphs] OK: isSubgraphOf (vertex x) empty == False
1605.33 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.isEmpty ============
1605.33 s
[algebraic-graphs] OK: isEmpty empty == True
1605.33 s
[algebraic-graphs] OK: isEmpty (overlay empty empty) == True
1605.33 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1605.33 s
[algebraic-graphs] OK: isEmpty (removeVertex x $ vertex x) == True
1605.33 s
[algebraic-graphs] OK: isEmpty (removeEdge x y $ edge e x y) == False
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.size ============
1605.33 s
[algebraic-graphs] OK: size empty == 1
1605.33 s
[algebraic-graphs] OK: size (vertex x) == 1
1605.33 s
[algebraic-graphs] OK: size (overlay x y) == size x + size y
1605.33 s
[algebraic-graphs] OK: size (connect x y) == size x + size y
1605.33 s
[algebraic-graphs] OK: size x >= 1
1605.33 s
[algebraic-graphs] OK: size x >= vertexCount x
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.hasVertex ============
1605.33 s
[algebraic-graphs] OK: hasVertex x empty == False
1605.33 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1605.33 s
[algebraic-graphs] OK: hasVertex x . removeVertex x == const False
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.hasEdge ============
1605.33 s
[algebraic-graphs] OK: hasEdge x y empty == False
1605.33 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1605.33 s
[algebraic-graphs] OK: hasEdge x y (edge e x y) == (e /= zero)
1605.33 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1605.33 s
[algebraic-graphs] OK: hasEdge x y == not . null . filter (\(_,ex,ey) -> ex == x && ey == y) . edgeList
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.edgeLabel ============
1605.33 s
[algebraic-graphs] OK: edgeLabel x y empty == zero
1605.33 s
[algebraic-graphs] OK: edgeLabel x y (vertex z) == zero
1605.33 s
[algebraic-graphs] OK: edgeLabel x y (edge e x y) == e
1605.33 s
[algebraic-graphs] OK: edgeLabel s t (overlay x y) == edgeLabel s t x + edgeLabel s t y
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.vertexCount ============
1605.33 s
[algebraic-graphs] OK: vertexCount empty == 0
1605.33 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1605.33 s
[algebraic-graphs] OK: vertexCount == length . vertexList
1605.33 s
[algebraic-graphs] OK: vertexCount x < vertexCount y ==> x < y
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.edgeCount ============
1605.33 s
[algebraic-graphs] OK: edgeCount empty == 0
1605.33 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1605.33 s
[algebraic-graphs] OK: edgeCount (edge e x y) == if e == zero then 0 else 1
1605.33 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.vertexList ============
1605.33 s
[algebraic-graphs] OK: vertexList empty == []
1605.33 s
[algebraic-graphs] OK: vertexList (vertex x) == [x]
1605.33 s
[algebraic-graphs] OK: vertexList . vertices == nub . sort
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.edgeList ============
1605.33 s
[algebraic-graphs] OK: edgeList empty == []
1605.33 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1605.33 s
[algebraic-graphs] OK: edgeList (edge e x y) == if e == zero then [] else [(e,x,y)]
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.vertexSet ============
1605.33 s
[algebraic-graphs] OK: vertexSet empty == Set.empty
1605.33 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1605.33 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.edgeSet ============
1605.33 s
[algebraic-graphs] OK: edgeSet empty == Set.empty
1605.33 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1605.33 s
[algebraic-graphs] OK: edgeSet (edge e x y) == if e == zero then Set.empty else Set.singleton (e,x,y)
1605.33 s
[algebraic-graphs]
1605.33 s
[algebraic-graphs] ============ Labelled.Graph.preSet ============
1605.33 s
[algebraic-graphs] OK: preSet x empty == Set.empty
1605.33 s
[algebraic-graphs] OK: preSet x (vertex x) == Set.empty
1606.34 s
Waiting for lock on shellcheck
1606.77 s
[haskell-language-server] Preprocessing library 'hls-alternate-number-format-plugin' for haskell-language-server-2.12.0.0..
1606.77 s
[haskell-language-server] Building library 'hls-alternate-number-format-plugin' for haskell-language-server-2.12.0.0..
1606.96 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 )
1608.43 s
[algebraic-graphs] OK: preSet 1 (edge e 1 2) == Set.empty
1608.43 s
[algebraic-graphs] OK: preSet y (edge e x y) == if e == zero then Set.empty else Set.fromList [x]
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.postSet ============
1608.43 s
[algebraic-graphs] OK: postSet x empty == Set.empty
1608.43 s
[algebraic-graphs] OK: postSet x (vertex x) == Set.empty
1608.43 s
[algebraic-graphs] OK: postSet x (edge e x y) == if e == zero then Set.empty else Set.fromList [y]
1608.43 s
[algebraic-graphs] OK: postSet 2 (edge e 1 2) == Set.empty
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.removeVertex ============
1608.43 s
[algebraic-graphs] OK: removeVertex x (vertex x) == empty
1608.43 s
[algebraic-graphs] OK: removeVertex 1 (vertex 2) == vertex 2
1608.43 s
[algebraic-graphs] OK: removeVertex x (edge e x x) == empty
1608.43 s
[algebraic-graphs] OK: removeVertex 1 (edge e 1 2) == vertex 2
1608.43 s
[algebraic-graphs] OK: removeVertex x . removeVertex x == removeVertex x
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.removeEdge ============
1608.43 s
[algebraic-graphs] OK: removeEdge x y (edge e x y) == vertices [x,y]
1608.43 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1608.43 s
[algebraic-graphs] OK: removeEdge x y . removeVertex x == removeVertex x
1608.43 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1608.43 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.replaceVertex ============
1608.43 s
[algebraic-graphs] OK: replaceVertex x x == id
1608.43 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1608.43 s
[algebraic-graphs] OK: replaceVertex x y == fmap (\v -> if v == x then y else v)
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.replaceEdge ============
1608.43 s
[algebraic-graphs] OK: replaceEdge e x y z == overlay (removeEdge x y z) (edge e x y)
1608.43 s
[algebraic-graphs] OK: replaceEdge e x y (edge f x y) == edge e x y
1608.43 s
[algebraic-graphs] OK: edgeLabel x y (replaceEdge e x y z) == e
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.transpose ============
1608.43 s
[algebraic-graphs] OK: transpose empty == empty
1608.43 s
[algebraic-graphs] OK: transpose (vertex x) == vertex x
1608.43 s
[algebraic-graphs] OK: transpose (edge e x y) == edge e y x
1608.43 s
[algebraic-graphs] OK: transpose . transpose == id
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.fmap ============
1608.43 s
[algebraic-graphs] OK: fmap f empty == empty
1608.43 s
[algebraic-graphs] OK: fmap f (vertex x) == vertex (f x)
1608.43 s
[algebraic-graphs] OK: fmap f (edge e x y) == edge e (f x) (f y)
1608.43 s
[algebraic-graphs] OK: fmap id == id
1608.43 s
[algebraic-graphs] OK: fmap f . fmap g == fmap (f . g)
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.emap ============
1608.43 s
[algebraic-graphs] OK: emap h empty == empty
1608.43 s
[algebraic-graphs] OK: emap h (vertex x) == vertex x
1608.43 s
[algebraic-graphs] OK: emap h (edge e x y) == edge (h e) x y
1608.43 s
[algebraic-graphs] OK: emap h (overlay x y) == overlay (emap h x) (emap h y)
1608.43 s
[algebraic-graphs] OK: emap h (connect e x y) == connect (h e) (emap h x) (emap h y)
1608.43 s
[algebraic-graphs] OK: emap id == id
1608.43 s
[algebraic-graphs] OK: emap g . emap h == emap (g . h)
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.induce ============
1608.43 s
[algebraic-graphs] OK: induce (const True ) x == x
1608.43 s
[algebraic-graphs] OK: induce (const False) x == empty
1608.43 s
[algebraic-graphs] OK: induce (/= x) == removeVertex x
1608.43 s
[algebraic-graphs] OK: induce p . induce q == induce (\x -> p x && q x)
1608.43 s
[algebraic-graphs] OK: isSubgraphOf (induce p x) x == True
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.induceJust ============
1608.43 s
[algebraic-graphs] OK: induceJust (vertex Nothing) == empty
1608.43 s
[algebraic-graphs] OK: induceJust (edge (Just x) Nothing) == vertex x
1608.43 s
[algebraic-graphs] OK: induceJust . gmap Just == id
1608.43 s
[algebraic-graphs] OK: induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.closure ============
1608.43 s
[algebraic-graphs] OK: closure empty == empty
1608.43 s
[algebraic-graphs] OK: closure (vertex x) == edge one x x
1608.43 s
[algebraic-graphs] OK: closure (edge e x x) == edge one x x
1608.43 s
[algebraic-graphs] OK: closure (edge e x y) == edges [(one,x,x), (e,x,y), (one,y,y)]
1608.43 s
[algebraic-graphs] OK: closure == reflexiveClosure . transitiveClosure
1608.43 s
[algebraic-graphs] OK: closure == transitiveClosure . reflexiveClosure
1608.43 s
[algebraic-graphs] OK: closure . closure == closure
1608.43 s
[algebraic-graphs] OK: postSet x (closure y) == Set.fromList (reachable y x)
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.reflexiveClosure ============
1608.43 s
[algebraic-graphs] OK: reflexiveClosure empty == empty
1608.43 s
[algebraic-graphs] OK: reflexiveClosure (vertex x) == edge one x x
1608.43 s
[algebraic-graphs] OK: reflexiveClosure (edge e x x) == edge one x x
1608.43 s
[algebraic-graphs] OK: reflexiveClosure (edge e x y) == edges [(one,x,x), (e,x,y), (one,y,y)]
1608.43 s
[algebraic-graphs] OK: reflexiveClosure . reflexiveClosure == reflexiveClosure
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.symmetricClosure ============
1608.43 s
[algebraic-graphs] OK: symmetricClosure empty == empty
1608.43 s
[algebraic-graphs] OK: symmetricClosure (vertex x) == vertex x
1608.43 s
[algebraic-graphs] OK: symmetricClosure (edge e x y) == edges [(e,x,y), (e,y,x)]
1608.43 s
[algebraic-graphs] OK: symmetricClosure x == overlay x (transpose x)
1608.43 s
[algebraic-graphs] OK: symmetricClosure . symmetricClosure == symmetricClosure
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.transitiveClosure ============
1608.43 s
[algebraic-graphs] OK: transitiveClosure empty == empty
1608.43 s
[algebraic-graphs] OK: transitiveClosure (vertex x) == vertex x
1608.43 s
[algebraic-graphs] OK: transitiveClosure (edge e x y) == edge e x y
1608.43 s
[algebraic-graphs] OK: transitiveClosure . transitiveClosure == transitiveClosure
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Labelled.Graph.context ============
1608.43 s
[algebraic-graphs] OK: context (const False) x == Nothing
1608.43 s
[algebraic-graphs] OK: context (== 1) (edge e 1 2) == if e == zero then Just (Context [] []) else Just (Context [] [(e,2)])
1608.43 s
[algebraic-graphs] OK: context (== 2) (edge e 1 2) == if e == zero then Just (Context [] []) else Just (Context [(e,1)] [] )
1608.43 s
[algebraic-graphs] OK: context (const True ) (edge e 1 2) == if e == zero then Just (Context [] []) else Just (Context [(e,1)] [(e,2)])
1608.43 s
[algebraic-graphs] OK: context (== 4) (3 * 1 * 4 * 1 * 5) == Just (Context [(one,3), (one,1)] [(one,1), (one,5)])
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap ============
1608.43 s
[algebraic-graphs] OK: Axioms of non-empty graphs
1608.43 s
[algebraic-graphs] OK: Theorems of non-empty graphs
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Ord (NonEmpty.AdjacencyMap a) ============
1608.43 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1608.43 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1608.43 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1608.43 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1608.43 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1608.43 s
[algebraic-graphs] OK: edge 1 2 < edge 1 3
1608.43 s
[algebraic-graphs] OK: x <= x + y
1608.43 s
[algebraic-graphs] OK: x + y <= x * y
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ Show (NonEmpty.AdjacencyMap a) ============
1608.43 s
[algebraic-graphs] OK: show (1 :: AdjacencyMap Int) == "vertex 1"
1608.43 s
[algebraic-graphs] OK: show (1 + 2 :: AdjacencyMap Int) == "vertices1 [1,2]"
1608.43 s
[algebraic-graphs] OK: show (1 * 2 :: AdjacencyMap Int) == "edge 1 2"
1608.43 s
[algebraic-graphs] OK: show (1 * 2 * 3 :: AdjacencyMap Int) == "edges1 [(1,2),(1,3),(2,3)]"
1608.43 s
[algebraic-graphs] OK: show (1 * 2 + 3 :: AdjacencyMap Int) == "overlay (vertex 3) (edge 1 2)"
1608.43 s
[algebraic-graphs] OK: show (vertex (-1) :: AdjacencyMap Int) == "vertex (-1)"
1608.43 s
[algebraic-graphs] OK: show (vertex (-1) + vertex (-2) :: AdjacencyMap Int) == "vertices1 [-2,-1]"
1608.43 s
[algebraic-graphs] OK: show (vertex (-1) * vertex (-2) :: AdjacencyMap Int) == "edge (-1) (-2)"
1608.43 s
[algebraic-graphs] OK: show (vertex (-1) * vertex (-2) * vertex (-3) :: AdjacencyMap Int) == "edges1 [(-2,-3),(-1,-3),(-1,-2)]"
1608.43 s
[algebraic-graphs] OK: show (vertex (-1) * vertex (-2) + vertex (-3) :: AdjacencyMap Int) == "overlay (vertex (-3)) (edge (-1) (-2))"
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.toNonEmpty ============
1608.43 s
[algebraic-graphs] OK: toNonEmpty empty == Nothing
1608.43 s
[algebraic-graphs] OK: toNonEmpty . fromNonEmpty == Just
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.fromNonEmpty ============
1608.43 s
[algebraic-graphs] OK: isEmpty . fromNonEmpty == const False
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.vertex ============
1608.43 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1608.43 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1608.43 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edge ============
1608.43 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1608.43 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1608.43 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1608.43 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1608.43 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.overlay ============
1608.43 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1608.43 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1608.43 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1608.43 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1608.43 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1608.43 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1608.43 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.connect ============
1608.43 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1608.43 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1608.43 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1608.43 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1608.43 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1608.43 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y
1608.43 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1608.43 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1608.43 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.vertices1 ============
1608.43 s
[algebraic-graphs] OK: vertices1 [x] == vertex x
1608.43 s
[algebraic-graphs] OK: hasVertex x . vertices1 == elem x
1608.43 s
[algebraic-graphs] OK: vertexCount . vertices1 == length . nub
1608.43 s
[algebraic-graphs] OK: vertexSet . vertices1 == Set.fromList . toList
1608.43 s
[algebraic-graphs]
1608.43 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edges1 ============
1608.43 s
[algebraic-graphs] OK: edges1 [(x,y)] == edge x y
1608.43 s
[algebraic-graphs] OK: edges1 == overlays1 . fmap (uncurry edge)
1608.43 s
[algebraic-graphs] OK: edgeCount . edges1 == length . nub
1608.43 s
[algebraic-graphs]
1608.44 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 )
1609.15 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 )
1610.74 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 )
1611.75 s
Waiting for lock on bash-language-server
1611.86 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.overlays1 ============
1611.86 s
[algebraic-graphs] OK: overlays1 [x] == x
1611.89 s
[algebraic-graphs] OK: overlays1 [x,y] == overlay x y
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.connects1 ============
1611.89 s
[algebraic-graphs] OK: connects1 [x] == x
1611.89 s
[algebraic-graphs] OK: connects1 [x,y] == connect x y
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.isSubgraphOf ============
1611.89 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1611.89 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1611.89 s
[algebraic-graphs] OK: isSubgraphOf (path1 xs) (circuit1 xs) == True
1611.89 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.hasVertex ============
1611.89 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.hasEdge ============
1611.89 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1611.89 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1611.89 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1611.89 s
[algebraic-graphs] OK: hasEdge x y == elem (x,y) . edgeList
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.vertexCount ============
1611.89 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1611.89 s
[algebraic-graphs] OK: vertexCount x >= 1
1611.89 s
[algebraic-graphs] OK: vertexCount == length . vertexList1
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edgeCount ============
1611.89 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1611.89 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1611.89 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.vertexList1 ============
1611.89 s
[algebraic-graphs] OK: vertexList1 (vertex x) == [x]
1611.89 s
[algebraic-graphs] OK: vertexList1 . vertices1 == nub . sort
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edgeList ============
1611.89 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1611.89 s
[algebraic-graphs] OK: edgeList (edge x y) == [(x,y)]
1611.89 s
[algebraic-graphs] OK: edgeList (star 2 [3,1]) == [(2,1), (2,3)]
1611.89 s
[algebraic-graphs] OK: edgeList . edges1 == nub . sort . toList
1611.89 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.vertexSet ============
1611.89 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1611.89 s
[algebraic-graphs] OK: vertexSet . vertices1 == Set.fromList . toList
1611.89 s
[algebraic-graphs] OK: vertexSet . clique1 == Set.fromList . toList
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.edgeSet ============
1611.89 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1611.89 s
[algebraic-graphs] OK: edgeSet (edge x y) == Set.singleton (x,y)
1611.89 s
[algebraic-graphs] OK: edgeSet . edges1 == Set.fromList . toList
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.preSet ============
1611.89 s
[algebraic-graphs] OK: preSet x (vertex x) == Set.empty
1611.89 s
[algebraic-graphs] OK: preSet 1 (edge 1 2) == Set.empty
1611.89 s
[algebraic-graphs] OK: preSet y (edge x y) == Set.fromList [x]
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.postSet ============
1611.89 s
[algebraic-graphs] OK: postSet x (vertex x) == Set.empty
1611.89 s
[algebraic-graphs] OK: postSet x (edge x y) == Set.fromList [y]
1611.89 s
[algebraic-graphs] OK: postSet 2 (edge 1 2) == Set.empty
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.path1 ============
1611.89 s
[algebraic-graphs] OK: path1 [x] == vertex x
1611.89 s
[algebraic-graphs] OK: path1 [x,y] == edge x y
1611.89 s
[algebraic-graphs] OK: path1 . reverse == transpose . path1
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.circuit1 ============
1611.89 s
[algebraic-graphs] OK: circuit1 [x] == edge x x
1611.89 s
[algebraic-graphs] OK: circuit1 [x,y] == edges1 [(x,y), (y,x)]
1611.89 s
[algebraic-graphs] OK: circuit1 . reverse == transpose . circuit1
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.clique1 ============
1611.89 s
[algebraic-graphs] OK: clique1 [x] == vertex x
1611.89 s
[algebraic-graphs] OK: clique1 [x,y] == edge x y
1611.89 s
[algebraic-graphs] OK: clique1 [x,y,z] == edges1 [(x,y), (x,z), (y,z)]
1611.89 s
[algebraic-graphs] OK: clique1 (xs <> ys) == connect (clique1 xs) (clique1 ys)
1611.89 s
[algebraic-graphs] OK: clique1 . reverse == transpose . clique1
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.biclique1 ============
1611.89 s
[algebraic-graphs] OK: biclique1 [x1,x2] [y1,y2] == edges1 [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1611.89 s
[algebraic-graphs] OK: biclique1 xs ys == connect (vertices1 xs) (vertices1 ys)
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.star ============
1611.89 s
[algebraic-graphs] OK: star x [] == vertex x
1611.89 s
[algebraic-graphs] OK: star x [y] == edge x y
1611.89 s
[algebraic-graphs] OK: star x [y,z] == edges1 [(x,y), (x,z)]
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.stars1 ============
1611.89 s
[algebraic-graphs] OK: stars1 [(x, [] )] == vertex x
1611.89 s
[algebraic-graphs] OK: stars1 [(x, [y])] == edge x y
1611.89 s
[algebraic-graphs] OK: stars1 [(x, ys )] == star x ys
1611.89 s
[algebraic-graphs] OK: stars1 == overlays1 . fmap (uncurry star)
1611.89 s
[algebraic-graphs] OK: overlay (stars1 xs) (stars1 ys) == stars1 (xs <> ys)
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.tree ============
1611.89 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1611.89 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path1 [x,y,z]
1611.89 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1611.89 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges1 [(1,2), (1,3), (3,4), (3,5)]
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.removeVertex1 ============
1611.89 s
[algebraic-graphs] OK: removeVertex1 x (vertex x) == Nothing
1611.89 s
[algebraic-graphs] OK: removeVertex1 1 (vertex 2) == Just (vertex 2)
1611.89 s
[algebraic-graphs] OK: removeVertex1 x (edge x x) == Nothing
1611.89 s
[algebraic-graphs] OK: removeVertex1 1 (edge 1 2) == Just (vertex 2)
1611.89 s
[algebraic-graphs] OK: removeVertex1 x >=> removeVertex1 x == removeVertex1 x
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.removeEdge ============
1611.89 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices1 [x,y]
1611.89 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1611.89 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1611.89 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.replaceVertex ============
1611.89 s
[algebraic-graphs] OK: replaceVertex x x == id
1611.89 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1611.89 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.mergeVertices ============
1611.89 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1611.89 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1611.89 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1611.89 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.transpose ============
1611.89 s
[algebraic-graphs] OK: transpose (vertex x) == vertex x
1611.89 s
[algebraic-graphs] OK: transpose (edge x y) == edge y x
1611.89 s
[algebraic-graphs] OK: transpose . transpose == id
1611.89 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.gmap ============
1611.89 s
[algebraic-graphs] OK: gmap f (vertex x) == vertex (f x)
1611.89 s
[algebraic-graphs] OK: gmap f (edge x y) == edge (f x) (f y)
1611.89 s
[algebraic-graphs] OK: gmap id == id
1611.89 s
[algebraic-graphs] OK: gmap f . gmap g == gmap (f . g)
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.induce1 ============
1611.89 s
[algebraic-graphs] OK: induce1 (const True ) x == Just x
1611.89 s
[algebraic-graphs] OK: induce1 (const False) x == Nothing
1611.89 s
[algebraic-graphs] OK: induce1 (/= x) == removeVertex1 x
1611.89 s
[algebraic-graphs] OK: induce1 p >=> induce1 q == induce1 (\x -> p x && q x)
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.induceJust1 ============
1611.89 s
[algebraic-graphs] OK: induceJust1 (vertex Nothing) == Nothing
1611.89 s
[algebraic-graphs] OK: induceJust1 (edge (Just x) Nothing) == Just (vertex x)
1611.89 s
[algebraic-graphs] OK: induceJust1 . gmap Just == Just
1611.89 s
[algebraic-graphs] OK: induceJust1 . gmap (\x -> if p x then Just x else Nothing) == induce1 p
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.closure ============
1611.89 s
[algebraic-graphs] OK: closure (vertex x) == edge x x
1611.89 s
[algebraic-graphs] OK: closure (edge x x) == edge x x
1611.89 s
[algebraic-graphs] OK: closure (edge x y) == edges1 [(x,x), (x,y), (y,y)]
1611.89 s
[algebraic-graphs] OK: closure (path1 $ nub xs) == reflexiveClosure (clique1 $ nub xs)
1611.89 s
[algebraic-graphs] OK: closure == reflexiveClosure . transitiveClosure
1611.89 s
[algebraic-graphs] OK: closure == transitiveClosure . reflexiveClosure
1611.89 s
[algebraic-graphs] OK: closure . closure == closure
1611.89 s
[algebraic-graphs] OK: postSet x (closure y) == Set.fromList (reachable y x)
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.reflexiveClosure ============
1611.89 s
[algebraic-graphs] OK: reflexiveClosure (vertex x) == edge x x
1611.89 s
[algebraic-graphs] OK: reflexiveClosure (edge x x) == edge x x
1611.89 s
[algebraic-graphs] OK: reflexiveClosure (edge x y) == edges1 [(x,x), (x,y), (y,y)]
1611.89 s
[algebraic-graphs] OK: reflexiveClosure . reflexiveClosure == reflexiveClosure
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.symmetricClosure ============
1611.89 s
[algebraic-graphs] OK: symmetricClosure (vertex x) == vertex x
1611.89 s
[algebraic-graphs] OK: symmetricClosure (edge x y) == edges1 [(x,y), (y,x)]
1611.89 s
[algebraic-graphs] OK: symmetricClosure x == overlay x (transpose x)
1611.89 s
[algebraic-graphs] OK: symmetricClosure . symmetricClosure == symmetricClosure
1611.89 s
[algebraic-graphs]
1611.89 s
[algebraic-graphs] ============ NonEmpty.AdjacencyMap.transitiveClosure ============
1611.89 s
[algebraic-graphs] OK: transitiveClosure (vertex x) == vertex x
1611.89 s
[algebraic-graphs] OK: transitiveClosure (edge x y) == edge x y
1611.89 s
[algebraic-graphs] OK: transitiveClosure (path1 $ nub xs) == clique1 (nub $ xs)
1611.89 s
[algebraic-graphs] OK: transitiveClosure . transitiveClosure == transitiveClosure
1611.90 s
[algebraic-graphs]
1611.90 s
[algebraic-graphs] ============ NonEmpty.Graph.============
1611.90 s
[algebraic-graphs] OK: Axioms of non-empty graphs
1611.90 s
[algebraic-graphs] OK: Theorems of non-empty graphs
1611.90 s
[algebraic-graphs]
1611.90 s
[algebraic-graphs] ============ Ord (NonEmpty.Graph a) ============
1611.90 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1611.90 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1611.90 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1611.90 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1611.90 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1611.90 s
[algebraic-graphs] OK: edge 1 2 < edge 1 3
1611.90 s
[algebraic-graphs] OK: x <= x + y
1611.90 s
[algebraic-graphs] OK: x + y <= x * y
1611.90 s
[algebraic-graphs]
1611.90 s
[algebraic-graphs] ============ Functor (NonEmpty.Graph a) ============
1611.90 s
[algebraic-graphs] OK: fmap f (vertex x) == vertex (f x)
1611.90 s
[algebraic-graphs] OK: fmap f (edge x y) == edge (f x) (f y)
1611.90 s
[algebraic-graphs] OK: fmap id == id
1611.90 s
[algebraic-graphs] OK: fmap f . fmap g == fmap (f . g)
1611.90 s
[algebraic-graphs]
1611.90 s
[algebraic-graphs] ============ Monad (NonEmpty.Graph a) ============
1611.90 s
[algebraic-graphs] OK: (vertex x >>= f) == f x
1612.12 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 )
1612.79 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 )
1613.33 s
[algebraic-graphs] OK: (edge x y >>= f) == connect (f x) (f y)
1613.33 s
[algebraic-graphs] OK: (vertices1 xs >>= f) == overlays1 (fmap f xs)
1613.33 s
[algebraic-graphs] OK: (x >>= vertex) == x
1613.33 s
[algebraic-graphs] OK: ((x >>= f) >>= g) == (x >>= (\y -> (f y) >>= g))
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.toNonEmpty ============
1613.33 s
[algebraic-graphs] OK: toNonEmpty empty == Nothing
1613.33 s
[algebraic-graphs] OK: toNonEmpty (toGraph x) == Just (x :: NonEmpty.Graph a)
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.vertex ============
1613.33 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1613.33 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1613.33 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1613.33 s
[algebraic-graphs] OK: size (vertex x) == 1
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.edge ============
1613.33 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1613.33 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1613.33 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1613.33 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1613.33 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.overlay ============
1613.33 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1613.33 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1613.33 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1613.33 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1613.33 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1613.33 s
[algebraic-graphs] OK: size (overlay x y) == size x + size y
1613.33 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1613.33 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.overlay1 ============
1613.33 s
[algebraic-graphs] OK: overlay1 empty x == x
1613.33 s
[algebraic-graphs] OK: x /= empty ==> overlay1 x y == overlay (fromJust $ toNonEmpty x) y
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.connect ============
1613.33 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1613.33 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1613.33 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1613.33 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1613.33 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1613.33 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y
1613.33 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1613.33 s
[algebraic-graphs] OK: size (connect x y) == size x + size y
1613.33 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1613.33 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.vertices1 ============
1613.33 s
[algebraic-graphs] OK: vertices1 [x] == vertex x
1613.33 s
[algebraic-graphs] OK: hasVertex x . vertices1 == elem x
1613.33 s
[algebraic-graphs] OK: vertexCount . vertices1 == length . nub
1613.33 s
[algebraic-graphs] OK: vertexSet . vertices1 == Set.fromList . toList
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.edges1 ============
1613.33 s
[algebraic-graphs] OK: edges1 [(x,y)] == edge x y
1613.33 s
[algebraic-graphs] OK: edges1 == overlays1 . fmap (uncurry edge)
1613.33 s
[algebraic-graphs] OK: edgeCount . edges1 == length . nub
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.overlays1 ============
1613.33 s
[algebraic-graphs] OK: overlays1 [x] == x
1613.33 s
[algebraic-graphs] OK: overlays1 [x,y] == overlay x y
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.connects1 ============
1613.33 s
[algebraic-graphs] OK: connects1 [x] == x
1613.33 s
[algebraic-graphs] OK: connects1 [x,y] == connect x y
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.foldg1 ============
1613.33 s
[algebraic-graphs] OK: foldg1 vertex overlay connect == id
1613.33 s
[algebraic-graphs] OK: foldg1 vertex overlay (flip connect) == transpose
1613.33 s
[algebraic-graphs] OK: foldg1 (const 1) (+) (+) == size
1613.33 s
[algebraic-graphs] OK: foldg1 (== x) (||) (||) == hasVertex x
1613.33 s
[algebraic-graphs]
1613.33 s
[algebraic-graphs] ============ NonEmpty.Graph.isSubgraphOf ============
1613.33 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1613.34 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1613.34 s
[algebraic-graphs] OK: isSubgraphOf (path1 xs) (circuit1 xs) == True
1613.34 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.(===) ============
1613.34 s
[algebraic-graphs] OK: x === x == True
1613.34 s
[algebraic-graphs] OK: x + y === x + y == True
1613.34 s
[algebraic-graphs] OK: 1 + 2 === 2 + 1 == False
1613.34 s
[algebraic-graphs] OK: x + y === x * y == False
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.size ============
1613.34 s
[algebraic-graphs] OK: size (vertex x) == 1
1613.34 s
[algebraic-graphs] OK: size (overlay x y) == size x + size y
1613.34 s
[algebraic-graphs] OK: size (connect x y) == size x + size y
1613.34 s
[algebraic-graphs] OK: size x >= 1
1613.34 s
[algebraic-graphs] OK: size x >= vertexCount x
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.hasVertex ============
1613.34 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.hasEdge ============
1613.34 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1613.34 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1613.34 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1613.34 s
[algebraic-graphs] OK: hasEdge x y == elem (x,y) . edgeList
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.vertexCount ============
1613.34 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1613.34 s
[algebraic-graphs] OK: vertexCount x >= 1
1613.34 s
[algebraic-graphs] OK: vertexCount == length . vertexList1
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.edgeCount ============
1613.34 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1613.34 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1613.34 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.vertexList1 ============
1613.34 s
[algebraic-graphs] OK: vertexList1 (vertex x) == [x]
1613.34 s
[algebraic-graphs] OK: vertexList1 . vertices1 == nub . sort
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.edgeList ============
1613.34 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1613.34 s
[algebraic-graphs] OK: edgeList (edge x y) == [(x,y)]
1613.34 s
[algebraic-graphs] OK: edgeList (star 2 [3,1]) == [(2,1), (2,3)]
1613.34 s
[algebraic-graphs] OK: edgeList . edges1 == nub . sort . toList
1613.34 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.vertexSet ============
1613.34 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1613.34 s
[algebraic-graphs] OK: vertexSet . vertices1 == Set.fromList . toList
1613.34 s
[algebraic-graphs] OK: vertexSet . clique1 == Set.fromList . toList
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.edgeSet ============
1613.34 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1613.34 s
[algebraic-graphs] OK: edgeSet (edge x y) == Set.singleton (x,y)
1613.34 s
[algebraic-graphs] OK: edgeSet . edges1 == Set.fromList . toList
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.path1 ============
1613.34 s
[algebraic-graphs] OK: path1 [x] == vertex x
1613.34 s
[algebraic-graphs] OK: path1 [x,y] == edge x y
1613.34 s
[algebraic-graphs] OK: path1 . reverse == transpose . path1
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.circuit1 ============
1613.34 s
[algebraic-graphs] OK: circuit1 [x] == edge x x
1613.34 s
[algebraic-graphs] OK: circuit1 [x,y] == edges1 [(x,y), (y,x)]
1613.34 s
[algebraic-graphs] OK: circuit1 . reverse == transpose . circuit1
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.clique1 ============
1613.34 s
[algebraic-graphs] OK: clique1 [x] == vertex x
1613.34 s
[algebraic-graphs] OK: clique1 [x,y] == edge x y
1613.34 s
[algebraic-graphs] OK: clique1 [x,y,z] == edges1 [(x,y), (x,z), (y,z)]
1613.34 s
[algebraic-graphs] OK: clique1 (xs <> ys) == connect (clique1 xs) (clique1 ys)
1613.34 s
[algebraic-graphs] OK: clique1 . reverse == transpose . clique1
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.biclique1 ============
1613.34 s
[algebraic-graphs] OK: biclique1 [x1,x2] [y1,y2] == edges1 [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1613.34 s
[algebraic-graphs] OK: biclique1 xs ys == connect (vertices1 xs) (vertices1 ys)
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.star ============
1613.34 s
[algebraic-graphs] OK: star x [] == vertex x
1613.34 s
[algebraic-graphs] OK: star x [y] == edge x y
1613.34 s
[algebraic-graphs] OK: star x [y,z] == edges1 [(x,y), (x,z)]
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.stars1 ============
1613.34 s
[algebraic-graphs] OK: stars1 [(x, [] )] == vertex x
1613.34 s
[algebraic-graphs] OK: stars1 [(x, [y])] == edge x y
1613.34 s
[algebraic-graphs] OK: stars1 [(x, ys )] == star x ys
1613.34 s
[algebraic-graphs] OK: stars1 == overlays1 . fmap (uncurry star)
1613.34 s
[algebraic-graphs] OK: overlay (stars1 xs) (stars1 ys) == stars1 (xs <> ys)
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.tree ============
1613.34 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1613.34 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path1 [x,y,z]
1613.34 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1613.34 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges1 [(1,2), (1,3), (3,4), (3,5)]
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.mesh1 ============
1613.34 s
[algebraic-graphs] OK: mesh1 [x] [y] == vertex (x, y)
1613.34 s
[algebraic-graphs] OK: mesh1 xs ys == box (path1 xs) (path1 ys)
1613.34 s
[algebraic-graphs] OK: mesh1 [1,2,3] ['a', 'b'] == <correct result>
1613.34 s
[algebraic-graphs] OK: size (mesh xs ys) == max 1 (3 * length xs * length ys - length xs - length ys -1)
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.torus1 ============
1613.34 s
[algebraic-graphs] OK: torus1 [x] [y] == edge (x,y) (x,y)
1613.34 s
[algebraic-graphs] OK: torus1 xs ys == box (circuit1 xs) (circuit1 ys)
1613.34 s
[algebraic-graphs] OK: torus1 [1,2] ['a', 'b'] == <correct result>
1613.34 s
[algebraic-graphs] OK: size (torus1 xs ys) == max 1 (3 * length xs * length ys)
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.removeVertex1 ============
1613.34 s
[algebraic-graphs] OK: removeVertex1 x (vertex x) == Nothing
1613.34 s
[algebraic-graphs] OK: removeVertex1 1 (vertex 2) == Just (vertex 2)
1613.34 s
[algebraic-graphs] OK: removeVertex1 x (edge x x) == Nothing
1613.34 s
[algebraic-graphs] OK: removeVertex1 1 (edge 1 2) == Just (vertex 2)
1613.34 s
[algebraic-graphs] OK: removeVertex1 x >=> removeVertex1 x == removeVertex1 x
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.removeEdge ============
1613.34 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices1 [x,y]
1613.34 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1613.34 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1613.34 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1613.34 s
[algebraic-graphs] OK: size (removeEdge x y z) <= 3 * size z
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.replaceVertex ============
1613.34 s
[algebraic-graphs] OK: replaceVertex x x == id
1613.34 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1613.34 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1613.34 s
[algebraic-graphs]
1613.34 s
[algebraic-graphs] ============ NonEmpty.Graph.mergeVertices ============
1613.34 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1620.66 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1620.66 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1620.67 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ NonEmpty.Graph.splitVertex1 ============
1620.67 s
[algebraic-graphs] OK: splitVertex1 x [x] == id
1620.67 s
[algebraic-graphs] OK: splitVertex1 x [y] == replaceVertex x y
1620.67 s
[algebraic-graphs] OK: splitVertex1 1 [0,1] $ 1 * (2 + 3) == (0 + 1) * (2 + 3)
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ NonEmpty.Graph.transpose ============
1620.67 s
[algebraic-graphs] OK: transpose (vertex x) == vertex x
1620.67 s
[algebraic-graphs] OK: transpose (edge x y) == edge y x
1620.67 s
[algebraic-graphs] OK: transpose . transpose == id
1620.67 s
[algebraic-graphs] OK: transpose (box x y) == box (transpose x) (transpose y)
1620.67 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ NonEmpty.Graph.induce1 ============
1620.67 s
[algebraic-graphs] OK: induce1 (const True ) x == Just x
1620.67 s
[algebraic-graphs] OK: induce1 (const False) x == Nothing
1620.67 s
[algebraic-graphs] OK: induce1 (/= x) == removeVertex1 x
1620.67 s
[algebraic-graphs] OK: induce1 p >=> induce1 q == induce1 (\x -> p x && q x)
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ NonEmpty.Graph.induceJust1 ============
1620.67 s
[algebraic-graphs] OK: induceJust1 (vertex Nothing) == Nothing
1620.67 s
[algebraic-graphs] OK: induceJust1 (edge (Just x) Nothing) == Just (vertex x)
1620.67 s
[algebraic-graphs] OK: induceJust1 . fmap Just == Just
1620.67 s
[algebraic-graphs] OK: induceJust1 . fmap (\x -> if p x then Just x else Nothing) == induce1 p
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ NonEmpty.Graph.simplify ============
1620.67 s
[algebraic-graphs] OK: simplify == id
1620.67 s
[algebraic-graphs] OK: size (simplify x) <= size x
1620.67 s
[algebraic-graphs] OK: simplify 1 === 1
1620.67 s
[algebraic-graphs] OK: simplify (1 + 1) === 1
1620.67 s
[algebraic-graphs] OK: simplify (1 + 2 + 1) === 1 + 2
1620.67 s
[algebraic-graphs] OK: simplify (1 * 1 * 1) === 1 * 1
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ NonEmpty.Graph.sparsify ============
1620.67 s
[algebraic-graphs] OK: sort . reachable x == sort . rights . reachable (sparsify x) . Right
1620.67 s
[algebraic-graphs] OK: vertexCount (sparsify x) <= vertexCount x + size x + 1
1620.67 s
[algebraic-graphs] OK: edgeCount (sparsify x) <= 3 * size x
1620.67 s
[algebraic-graphs] OK: size (sparsify x) <= 3 * size x
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ NonEmpty.Graph.sparsifyKL ============
1620.67 s
[algebraic-graphs] OK: sort . reachable x == sort . filter (<= n) . reachable (sparsifyKL n x)
1620.67 s
[algebraic-graphs] OK: length (vertices $ sparsifyKL n x) <= vertexCount x + size x + 1
1620.67 s
[algebraic-graphs] OK: length (edges $ sparsifyKL n x) <= 3 * size x
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ NonEmpty.Graph.box ============
1620.67 s
[algebraic-graphs] OK: box (path1 [0,1]) (path1 ['a','b']) == <correct result>
1620.67 s
[algebraic-graphs] OK: box x y ~~ box y x
1620.67 s
[algebraic-graphs] OK: box x (overlay y z) == overlay (box x y) (box x z)
1620.67 s
[algebraic-graphs] OK: box x (vertex ()) ~~ x
1620.67 s
[algebraic-graphs] OK: box x (box y z) ~~ box (box x y) z
1620.67 s
[algebraic-graphs] OK: transpose (box x y) == box (transpose x) (transpose y)
1620.67 s
[algebraic-graphs] OK: vertexCount (box x y) == vertexCount x * vertexCount y
1620.67 s
[algebraic-graphs] OK: edgeCount (box x y) <= vertexCount x * edgeCount y + edgeCount x * vertexCount y
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation ============
1620.67 s
[algebraic-graphs] OK: Axioms of graphs
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation.consistent ============
1620.67 s
[algebraic-graphs] OK: Consistency of the Arbitrary instance
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] OK: consistent empty == True
1620.67 s
[algebraic-graphs] OK: consistent (vertex x) == True
1620.67 s
[algebraic-graphs] OK: consistent (overlay x y) == True
1620.67 s
[algebraic-graphs] OK: consistent (connect x y) == True
1620.67 s
[algebraic-graphs] OK: consistent (edge x y) == True
1620.67 s
[algebraic-graphs] OK: consistent (edges xs) == True
1620.67 s
[algebraic-graphs] OK: consistent (stars xs) == True
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation.Show ============
1620.67 s
[algebraic-graphs] OK: show (empty ) == "empty"
1620.67 s
[algebraic-graphs] OK: show (1 ) == "vertex 1"
1620.67 s
[algebraic-graphs] OK: show (1 + 2 ) == "vertices [1,2]"
1620.67 s
[algebraic-graphs] OK: show (1 * 2 ) == "edge 1 2"
1620.67 s
[algebraic-graphs] OK: show (1 * 2 * 3) == "edges [(1,2),(1,3),(2,3)]"
1620.67 s
[algebraic-graphs] OK: show (1 * 2 + 3) == "overlay (vertex 3) (edge 1 2)"
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] OK: show (vertex (-1) ) == "vertex (-1)"
1620.67 s
[algebraic-graphs] OK: show (vertex (-1) + vertex (-2) ) == "vertices [-2,-1]"
1620.67 s
[algebraic-graphs] OK: show (vertex (-2) * vertex (-1) ) == "edge (-2) (-1)"
1620.67 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) * vertex (-1)) == "edges [(-3,-2),(-3,-1),(-2,-1)]"
1620.67 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) + vertex (-1)) == "overlay (vertex (-1)) (edge (-3) (-2))"
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation.Ord ============
1620.67 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1620.67 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1620.67 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1620.67 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1620.67 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1620.67 s
[algebraic-graphs] OK: edge 1 2 < edge 1 3
1620.67 s
[algebraic-graphs] OK: x <= x + y
1620.67 s
[algebraic-graphs] OK: x + y <= x * y
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation.empty ============
1620.67 s
[algebraic-graphs] OK: isEmpty empty == True
1620.67 s
[algebraic-graphs] OK: hasVertex x empty == False
1620.67 s
[algebraic-graphs] OK: vertexCount empty == 0
1620.67 s
[algebraic-graphs] OK: edgeCount empty == 0
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation.vertex ============
1620.67 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1620.67 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1620.67 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1620.67 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation.edge ============
1620.67 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1620.67 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1620.67 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1620.67 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1620.67 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation.overlay ============
1620.67 s
[algebraic-graphs] OK: isEmpty (overlay x y) == isEmpty x && isEmpty y
1620.67 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1620.67 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1620.67 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1620.67 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1620.67 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1620.67 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1620.67 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1620.67 s
[algebraic-graphs]
1620.67 s
[algebraic-graphs] ============ Relation.connect ============
1620.67 s
[algebraic-graphs] OK: isEmpty (connect x y) == isEmpty x && isEmpty y
1620.67 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1620.67 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1620.67 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1620.67 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1620.67 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1620.67 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y
1620.68 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1620.68 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1620.68 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1620.68 s
[algebraic-graphs]
1620.68 s
[algebraic-graphs] ============ Relation.vertices ============
1620.68 s
[algebraic-graphs] OK: vertices [] == empty
1620.68 s
[algebraic-graphs] OK: vertices [x] == vertex x
1620.68 s
[algebraic-graphs] OK: vertices == overlays . map vertex
1620.68 s
[algebraic-graphs] OK: hasVertex x . vertices == elem x
1620.68 s
[algebraic-graphs] OK: vertexCount . vertices == length . nub
1620.68 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1620.68 s
[algebraic-graphs]
1620.68 s
[algebraic-graphs] ============ Relation.edges ============
1620.68 s
[algebraic-graphs] OK: edges [] == empty
1620.68 s
[algebraic-graphs] OK: edges [(x,y)] == edge x y
1620.68 s
[algebraic-graphs] OK: edges == overlays . map (uncurry edge)
1620.68 s
[algebraic-graphs] OK: edgeCount . edges == length . nub
1620.68 s
[algebraic-graphs]
1620.68 s
[algebraic-graphs] ============ Relation.overlays ============
1620.68 s
[algebraic-graphs] OK: overlays [] == empty
1620.68 s
[algebraic-graphs] OK: overlays [x] == x
1620.68 s
[algebraic-graphs] OK: overlays [x,y] == overlay x y
1620.68 s
[algebraic-graphs] OK: overlays == foldr overlay empty
1620.68 s
[algebraic-graphs] OK: isEmpty . overlays == all isEmpty
1620.68 s
[algebraic-graphs]
1620.68 s
[algebraic-graphs] ============ Relation.connects ============
1620.68 s
[algebraic-graphs] OK: connects [] == empty
1620.68 s
[algebraic-graphs] OK: connects [x] == x
1620.68 s
[algebraic-graphs] OK: connects [x,y] == connect x y
1620.68 s
[algebraic-graphs] OK: connects == foldr connect empty
1620.68 s
[algebraic-graphs] OK: isEmpty . connects == all isEmpty
1620.68 s
[algebraic-graphs]
1620.68 s
[algebraic-graphs] ============ Relation.isSubgraphOf ============
1620.68 s
[algebraic-graphs] OK: isSubgraphOf empty x == True
1620.68 s
[algebraic-graphs] OK: isSubgraphOf (vertex x) empty == False
1620.68 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1620.68 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1620.68 s
[algebraic-graphs] OK: isSubgraphOf (path xs) (circuit xs) == True
1620.68 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1620.68 s
[algebraic-graphs]
1620.68 s
[algebraic-graphs] ============ Relation.toGraph et al. ============
1620.68 s
[algebraic-graphs] OK: toGraph == foldg Empty Vertex Overlay Connect
1620.68 s
[algebraic-graphs] OK: foldg == Algebra.Graph.foldg . toGraph
1620.68 s
[algebraic-graphs] OK: isEmpty == foldg True (const False) (&&) (&&)
1620.68 s
[algebraic-graphs] OK: size == foldg 1 (const 1) (+) (+)
1620.68 s
[algebraic-graphs] OK: hasVertex x == foldg False (==x) (||) (||)
1620.68 s
[algebraic-graphs] OK: hasEdge x y == Algebra.Graph.hasEdge x y . toGraph
1620.68 s
[algebraic-graphs] OK: vertexCount == Set.size . vertexSet
1620.68 s
[algebraic-graphs] OK: edgeCount == Set.size . edgeSet
1620.68 s
[algebraic-graphs] OK: vertexList == Set.toAscList . vertexSet
1620.68 s
[algebraic-graphs] OK: edgeList == Set.toAscList . edgeSet
1620.68 s
[algebraic-graphs] OK: vertexSet == foldg Set.empty Set.singleton Set.union Set.union
1620.68 s
[algebraic-graphs] OK: vertexIntSet == foldg IntSet.empty IntSet.singleton IntSet.union IntSet.union
1620.68 s
[algebraic-graphs] OK: edgeSet == Algebra.Graph.AdjacencyMap.edgeSet . foldg empty vertex overlay connect
1620.68 s
[algebraic-graphs] OK: preSet x == Algebra.Graph.AdjacencyMap.preSet x . toAdjacencyMap
1620.68 s
[algebraic-graphs] OK: preIntSet x == Algebra.Graph.AdjacencyIntMap.preIntSet x . toAdjacencyIntMap
1620.68 s
[algebraic-graphs] OK: postSet x == Algebra.Graph.AdjacencyMap.postSet x . toAdjacencyMap
1620.68 s
[algebraic-graphs] OK: postIntSet x == Algebra.Graph.AdjacencyIntMap.postIntSet x . toAdjacencyIntMap
1621.09 s
[haskell-language-server] Preprocessing library 'hls-qualify-imported-names-plugin' for haskell-language-server-2.12.0.0..
1621.09 s
[haskell-language-server] Building library 'hls-qualify-imported-names-plugin' for haskell-language-server-2.12.0.0..
1621.23 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 )
1623.24 s
Waiting for lock on project-manager-path-for-duoids
1623.36 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 )
1624.25 s
[algebraic-graphs] OK: adjacencyList == Algebra.Graph.AdjacencyMap.adjacencyList . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: adjacencyMap == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: adjacencyIntMap == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMap
1624.25 s
[algebraic-graphs] OK: adjacencyMapTranspose == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMapTranspose
1624.25 s
[algebraic-graphs] OK: adjacencyIntMapTranspose == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMapTranspose
1624.25 s
[algebraic-graphs] OK: dfsForest == Algebra.Graph.AdjacencyMap.dfsForest . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: dfsForestFrom == Algebra.Graph.AdjacencyMap.dfsForestFrom . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: dfs == Algebra.Graph.AdjacencyMap.dfs . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: reachable == Algebra.Graph.AdjacencyMap.reachable . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: topSort == Algebra.Graph.AdjacencyMap.topSort . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: isAcyclic == Algebra.Graph.AdjacencyMap.isAcyclic . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: isTopSortOf vs == Algebra.Graph.AdjacencyMap.isTopSortOf vs . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: toAdjacencyMap == foldg empty vertex overlay connect
1624.25 s
[algebraic-graphs] OK: toAdjacencyMapTranspose == foldg empty vertex overlay (flip connect)
1624.25 s
[algebraic-graphs] OK: toAdjacencyIntMap == foldg empty vertex overlay connect
1624.25 s
[algebraic-graphs] OK: toAdjacencyIntMapTranspose == foldg empty vertex overlay (flip connect)
1624.25 s
[algebraic-graphs] OK: isDfsForestOf f == Algebra.Graph.AdjacencyMap.isDfsForestOf f . toAdjacencyMap
1624.25 s
[algebraic-graphs] OK: isTopSortOf vs == Algebra.Graph.AdjacencyMap.isTopSortOf vs . toAdjacencyMap
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.foldg ============
1624.25 s
[algebraic-graphs] OK: foldg empty vertex overlay connect == id
1624.25 s
[algebraic-graphs] OK: foldg empty vertex overlay (flip connect) == transpose
1624.25 s
[algebraic-graphs] OK: foldg 1 (const 1) (+) (+) == size
1624.25 s
[algebraic-graphs] OK: foldg True (const False) (&&) (&&) == isEmpty
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.isEmpty ============
1624.25 s
[algebraic-graphs] OK: isEmpty empty == True
1624.25 s
[algebraic-graphs] OK: isEmpty (overlay empty empty) == True
1624.25 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1624.25 s
[algebraic-graphs] OK: isEmpty (removeVertex x $ vertex x) == True
1624.25 s
[algebraic-graphs] OK: isEmpty (removeEdge x y $ edge x y) == False
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.hasVertex ============
1624.25 s
[algebraic-graphs] OK: hasVertex x empty == False
1624.25 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1624.25 s
[algebraic-graphs] OK: hasVertex x . removeVertex x == const False
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.hasEdge ============
1624.25 s
[algebraic-graphs] OK: hasEdge x y empty == False
1624.25 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1624.25 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1624.25 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1624.25 s
[algebraic-graphs] OK: hasEdge x y == elem (x,y) . edgeList
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.vertexCount ============
1624.25 s
[algebraic-graphs] OK: vertexCount empty == 0
1624.25 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1624.25 s
[algebraic-graphs] OK: vertexCount == length . vertexList
1624.25 s
[algebraic-graphs] OK: vertexCount x < vertexCount y ==> x < y
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.edgeCount ============
1624.25 s
[algebraic-graphs] OK: edgeCount empty == 0
1624.25 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1624.25 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1624.25 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.vertexList ============
1624.25 s
[algebraic-graphs] OK: vertexList empty == []
1624.25 s
[algebraic-graphs] OK: vertexList (vertex x) == [x]
1624.25 s
[algebraic-graphs] OK: vertexList . vertices == nub . sort
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.vertexSet ============
1624.25 s
[algebraic-graphs] OK: vertexSet empty == Set.empty
1624.25 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1624.25 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.vertexIntSet ============
1624.25 s
[algebraic-graphs] OK: vertexIntSet empty == IntSet.empty
1624.25 s
[algebraic-graphs] OK: vertexIntSet . vertex == IntSet.singleton
1624.25 s
[algebraic-graphs] OK: vertexIntSet . vertices == IntSet.fromList
1624.25 s
[algebraic-graphs] OK: vertexIntSet . clique == IntSet.fromList
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.edgeList ============
1624.25 s
[algebraic-graphs] OK: edgeList empty == []
1624.25 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1624.25 s
[algebraic-graphs] OK: edgeList (edge x y) == [(x,y)]
1624.25 s
[algebraic-graphs] OK: edgeList (star 2 [3,1]) == [(2,1), (2,3)]
1624.25 s
[algebraic-graphs] OK: edgeList . edges == nub . sort
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.edgeSet ============
1624.25 s
[algebraic-graphs] OK: edgeSet empty == Set.empty
1624.25 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1624.25 s
[algebraic-graphs] OK: edgeSet (edge x y) == Set.singleton (x,y)
1624.25 s
[algebraic-graphs] OK: edgeSet . edges == Set.fromList
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.adjacencyList ============
1624.25 s
[algebraic-graphs] OK: adjacencyList empty == []
1624.25 s
[algebraic-graphs] OK: adjacencyList (vertex x) == [(x, [])]
1624.25 s
[algebraic-graphs] OK: adjacencyList (edge 1 2) == [(1, [2]), (2, [])]
1624.25 s
[algebraic-graphs] OK: adjacencyList (star 2 [3,1]) == [(1, []), (2, [1,3]), (3, [])]
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.preSet ============
1624.25 s
[algebraic-graphs] OK: preSet x empty == Set.empty
1624.25 s
[algebraic-graphs] OK: preSet x (vertex x) == Set.empty
1624.25 s
[algebraic-graphs] OK: preSet 1 (edge 1 2) == Set.empty
1624.25 s
[algebraic-graphs] OK: preSet y (edge x y) == Set.fromList [x]
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.preIntSet ============
1624.25 s
[algebraic-graphs] OK: preIntSet x empty == IntSet.empty
1624.25 s
[algebraic-graphs] OK: preIntSet x (vertex x) == IntSet.empty
1624.25 s
[algebraic-graphs] OK: preIntSet 1 (edge 1 2) == IntSet.empty
1624.25 s
[algebraic-graphs] OK: preIntSet y (edge x y) == IntSet.fromList [x]
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.postSet ============
1624.25 s
[algebraic-graphs] OK: postSet x empty == Set.empty
1624.25 s
[algebraic-graphs] OK: postSet x (vertex x) == Set.empty
1624.25 s
[algebraic-graphs] OK: postSet x (edge x y) == Set.fromList [y]
1624.25 s
[algebraic-graphs] OK: postSet 2 (edge 1 2) == Set.empty
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.postIntSet ============
1624.25 s
[algebraic-graphs] OK: postIntSet x empty == IntSet.empty
1624.25 s
[algebraic-graphs] OK: postIntSet x (vertex x) == IntSet.empty
1624.25 s
[algebraic-graphs] OK: postIntSet 2 (edge 1 2) == IntSet.empty
1624.25 s
[algebraic-graphs] OK: postIntSet x (edge x y) == IntSet.fromList [y]
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.path ============
1624.25 s
[algebraic-graphs] OK: path [] == empty
1624.25 s
[algebraic-graphs] OK: path [x] == vertex x
1624.25 s
[algebraic-graphs] OK: path [x,y] == edge x y
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.circuit ============
1624.25 s
[algebraic-graphs] OK: circuit [] == empty
1624.25 s
[algebraic-graphs] OK: circuit [x] == edge x x
1624.25 s
[algebraic-graphs] OK: circuit [x,y] == edges [(x,y), (y,x)]
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.clique ============
1624.25 s
[algebraic-graphs] OK: clique [] == empty
1624.25 s
[algebraic-graphs] OK: clique [x] == vertex x
1624.25 s
[algebraic-graphs] OK: clique [x,y] == edge x y
1624.25 s
[algebraic-graphs] OK: clique [x,y,z] == edges [(x,y), (x,z), (y,z)]
1624.25 s
[algebraic-graphs] OK: clique (xs ++ ys) == connect (clique xs) (clique ys)
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.biclique ============
1624.25 s
[algebraic-graphs] OK: biclique [] [] == empty
1624.25 s
[algebraic-graphs] OK: biclique [x] [] == vertex x
1624.25 s
[algebraic-graphs] OK: biclique [] [y] == vertex y
1624.25 s
[algebraic-graphs] OK: biclique [x1,x2] [y1,y2] == edges [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1624.25 s
[algebraic-graphs] OK: biclique xs ys == connect (vertices xs) (vertices ys)
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.star ============
1624.25 s
[algebraic-graphs] OK: star x [] == vertex x
1624.25 s
[algebraic-graphs] OK: star x [y] == edge x y
1624.25 s
[algebraic-graphs] OK: star x [y,z] == edges [(x,y), (x,z)]
1624.25 s
[algebraic-graphs] OK: star x ys == connect (vertex x) (vertices ys)
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.stars ============
1624.25 s
[algebraic-graphs] OK: stars [] == empty
1624.25 s
[algebraic-graphs] OK: stars [(x, [])] == vertex x
1624.25 s
[algebraic-graphs] OK: stars [(x, [y])] == edge x y
1624.25 s
[algebraic-graphs] OK: stars [(x, ys)] == star x ys
1624.25 s
[algebraic-graphs] OK: stars == overlays . map (uncurry star)
1624.25 s
[algebraic-graphs] OK: stars . adjacencyList == id
1624.25 s
[algebraic-graphs] OK: overlay (stars xs) (stars ys) == stars (xs ++ ys)
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.tree ============
1624.25 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1624.25 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path [x,y,z]
1624.25 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1624.25 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges [(1,2), (1,3), (3,4), (3,5)]
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.forest ============
1624.25 s
[algebraic-graphs] OK: forest [] == empty
1624.25 s
[algebraic-graphs] OK: forest [x] == tree x
1624.25 s
[algebraic-graphs] OK: forest [Node 1 [Node 2 [], Node 3 []], Node 4 [Node 5 []]] == edges [(1,2), (1,3), (4,5)]
1624.25 s
[algebraic-graphs] OK: forest == overlays . map tree
1624.25 s
[algebraic-graphs]
1624.25 s
[algebraic-graphs] ============ Relation.removeVertex ============
1624.25 s
[algebraic-graphs] OK: removeVertex x (vertex x) == empty
1624.25 s
[algebraic-graphs] OK: removeVertex 1 (vertex 2) == vertex 2
1624.25 s
[algebraic-graphs] OK: removeVertex x (edge x x) == empty
1624.25 s
[algebraic-graphs] OK: removeVertex 1 (edge 1 2) == vertex 2
1624.25 s
[algebraic-graphs] OK: removeVertex x . removeVertex x == removeVertex x
1624.26 s
[algebraic-graphs]
1624.26 s
[algebraic-graphs] ============ Relation.removeEdge ============
1624.26 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices [x,y]
1624.26 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1624.26 s
[algebraic-graphs] OK: removeEdge x y . removeVertex x == removeVertex x
1624.26 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1624.26 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1624.26 s
[algebraic-graphs]
1624.26 s
[algebraic-graphs] ============ Relation.replaceVertex ============
1624.26 s
[algebraic-graphs] OK: replaceVertex x x == id
1624.26 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1624.26 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1624.26 s
[algebraic-graphs]
1624.26 s
[algebraic-graphs] ============ Relation.mergeVertices ============
1624.26 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1631.14 s
[haskell-language-server] Preprocessing library 'hls-cabal-fmt-plugin' for haskell-language-server-2.12.0.0..
1631.14 s
[haskell-language-server] Building library 'hls-cabal-fmt-plugin' for haskell-language-server-2.12.0.0..
1631.25 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.CabalFmt ( plugins/hls-cabal-fmt-plugin/src/Ide/Plugin/CabalFmt.hs, dist/build/hls-cabal-fmt-plugin/Ide/Plugin/CabalFmt.o, dist/build/hls-cabal-fmt-plugin/Ide/Plugin/CabalFmt.dyn_o )
1632.88 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.CabalFmt ( plugins/hls-cabal-fmt-plugin/src/Ide/Plugin/CabalFmt.hs, dist/build/hls-cabal-fmt-plugin/Ide/Plugin/CabalFmt.p_o )
1639.85 s
[haskell-language-server] Preprocessing library 'hls-eval-plugin' for haskell-language-server-2.12.0.0..
1639.85 s
[haskell-language-server] Building library 'hls-eval-plugin' for haskell-language-server-2.12.0.0..
1640.14 s
[haskell-language-server] [ 1 of 10] Compiling Ide.Plugin.Eval.Config ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Config.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Config.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Config.dyn_o )
1640.92 s
[haskell-language-server] [ 2 of 10] Compiling Ide.Plugin.Eval.Parse.Option ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Parse/Option.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Parse/Option.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Parse/Option.dyn_o )
1640.92 s
[haskell-language-server] [ 3 of 10] Compiling Ide.Plugin.Eval.Util ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Util.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Util.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Util.dyn_o )
1641.04 s
[haskell-language-server] [ 4 of 10] Compiling Ide.Plugin.Eval.GHC ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/GHC.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/GHC.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/GHC.dyn_o )
1642.02 s
[haskell-language-server] [ 5 of 10] Compiling Ide.Plugin.Eval.Types ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Types.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Types.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Types.dyn_o )
1647.36 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1647.36 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1647.41 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1647.41 s
[algebraic-graphs]
1647.41 s
[algebraic-graphs] ============ Relation.transpose ============
1647.41 s
[algebraic-graphs] OK: transpose empty == empty
1647.41 s
[algebraic-graphs] OK: transpose (vertex x) == vertex x
1647.41 s
[algebraic-graphs] OK: transpose (edge x y) == edge y x
1647.41 s
[algebraic-graphs] OK: transpose . transpose == id
1647.41 s
[algebraic-graphs] OK: edgeList . transpose == sort . map swap . edgeList
1647.41 s
[algebraic-graphs]
1647.41 s
[algebraic-graphs] ============ Relation.gmap ============
1647.41 s
[algebraic-graphs] OK: gmap f empty == empty
1647.41 s
[algebraic-graphs] OK: gmap f (vertex x) == vertex (f x)
1647.41 s
[algebraic-graphs] OK: gmap f (edge x y) == edge (f x) (f y)
1647.41 s
[algebraic-graphs] OK: gmap id == id
1647.41 s
[algebraic-graphs] OK: gmap f . gmap g == gmap (f . g)
1647.41 s
[algebraic-graphs]
1647.41 s
[algebraic-graphs] ============ Relation.induce ============
1647.41 s
[algebraic-graphs] OK: induce (const True ) x == x
1647.41 s
[algebraic-graphs] OK: induce (const False) x == empty
1647.41 s
[algebraic-graphs] OK: induce (/= x) == removeVertex x
1647.41 s
[algebraic-graphs] OK: induce p . induce q == induce (\x -> p x && q x)
1647.41 s
[algebraic-graphs] OK: isSubgraphOf (induce p x) x == True
1647.41 s
[algebraic-graphs]
1647.41 s
[algebraic-graphs] ============ Relation.compose ============
1647.41 s
[algebraic-graphs] OK: compose empty x == empty
1647.41 s
[algebraic-graphs] OK: compose x empty == empty
1647.41 s
[algebraic-graphs] OK: compose (vertex x) y == empty
1647.41 s
[algebraic-graphs] OK: compose x (vertex y) == empty
1647.41 s
[algebraic-graphs] OK: compose x (compose y z) == compose (compose x y) z
1647.41 s
[algebraic-graphs] OK: compose x (overlay y z) == overlay (compose x y) (compose x z)
1647.41 s
[algebraic-graphs] OK: compose (overlay x y) z == overlay (compose x z) (compose y z)
1647.41 s
[algebraic-graphs] OK: compose (edge x y) (edge y z) == edge x z
1647.41 s
[algebraic-graphs] OK: compose (path [1..5]) (path [1..5]) == edges [(1,3),(2,4),(3,5)]
1647.41 s
[algebraic-graphs] OK: compose (circuit [1..5]) (circuit [1..5]) == circuit [1,3,5,2,4]
1647.41 s
[algebraic-graphs]
1647.41 s
[algebraic-graphs] ============ Relation.closure ============
1647.41 s
[algebraic-graphs] OK: closure empty == empty
1647.41 s
[algebraic-graphs] OK: closure (vertex x) == edge x x
1647.41 s
[algebraic-graphs] OK: closure (edge x x) == edge x x
1647.41 s
[algebraic-graphs] OK: closure (edge x y) == edges [(x,x), (x,y), (y,y)]
1647.41 s
[algebraic-graphs] OK: closure (path $ nub xs) == reflexiveClosure (clique $ nub xs)
1647.41 s
[algebraic-graphs] OK: closure == reflexiveClosure . transitiveClosure
1647.41 s
[algebraic-graphs] OK: closure == transitiveClosure . reflexiveClosure
1647.42 s
[algebraic-graphs] OK: closure . closure == closure
1647.42 s
[algebraic-graphs] OK: postSet x (closure y) == Set.fromList (reachable y x)
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Relation.reflexiveClosure ============
1647.42 s
[algebraic-graphs] OK: reflexiveClosure empty == empty
1647.42 s
[algebraic-graphs] OK: reflexiveClosure (vertex x) == edge x x
1647.42 s
[algebraic-graphs] OK: reflexiveClosure (edge x x) == edge x x
1647.42 s
[algebraic-graphs] OK: reflexiveClosure (edge x y) == edges [(x,x), (x,y), (y,y)]
1647.42 s
[algebraic-graphs] OK: reflexiveClosure . reflexiveClosure == reflexiveClosure
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Relation.symmetricClosure ============
1647.42 s
[algebraic-graphs] OK: symmetricClosure empty == empty
1647.42 s
[algebraic-graphs] OK: symmetricClosure (vertex x) == vertex x
1647.42 s
[algebraic-graphs] OK: symmetricClosure (edge x y) == edges [(x,y), (y,x)]
1647.42 s
[algebraic-graphs] OK: symmetricClosure x == overlay x (transpose x)
1647.42 s
[algebraic-graphs] OK: symmetricClosure . symmetricClosure == symmetricClosure
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Relation.transitiveClosure ============
1647.42 s
[algebraic-graphs] OK: transitiveClosure empty == empty
1647.42 s
[algebraic-graphs] OK: transitiveClosure (vertex x) == vertex x
1647.42 s
[algebraic-graphs] OK: transitiveClosure (edge x y) == edge x y
1647.42 s
[algebraic-graphs] OK: transitiveClosure (path $ nub xs) == clique (nub $ xs)
1647.42 s
[algebraic-graphs] OK: transitiveClosure . transitiveClosure == transitiveClosure
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Relation.induceJust ============
1647.42 s
[algebraic-graphs] OK: induceJust (vertex Nothing) == empty
1647.42 s
[algebraic-graphs] OK: induceJust (edge (Just x) Nothing) == vertex x
1647.42 s
[algebraic-graphs] OK: induceJust . gmap Just == id
1647.42 s
[algebraic-graphs] OK: induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ ReflexiveRelation ============
1647.42 s
[algebraic-graphs] OK: Axioms of reflexive graphs
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ TransitiveRelation ============
1647.42 s
[algebraic-graphs] OK: Axioms of transitive graphs
1647.42 s
[algebraic-graphs] OK: path xs == (clique xs :: TransitiveRelation Int)
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ PreorderRelation ============
1647.42 s
[algebraic-graphs] OK: Axioms of preorder graphs
1647.42 s
[algebraic-graphs] OK: path xs == (clique xs :: PreorderRelation Int)
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation ============
1647.42 s
[algebraic-graphs] OK: Axioms of undirected graphs
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.consistent ============
1647.42 s
[algebraic-graphs] OK: Consistency of the Arbitrary instance
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] OK: consistent empty == True
1647.42 s
[algebraic-graphs] OK: consistent (vertex x) == True
1647.42 s
[algebraic-graphs] OK: consistent (overlay x y) == True
1647.42 s
[algebraic-graphs] OK: consistent (connect x y) == True
1647.42 s
[algebraic-graphs] OK: consistent (edge x y) == True
1647.42 s
[algebraic-graphs] OK: consistent (edges xs) == True
1647.42 s
[algebraic-graphs] OK: consistent (stars xs) == True
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.Show ============
1647.42 s
[algebraic-graphs] OK: show (empty ) == "empty"
1647.42 s
[algebraic-graphs] OK: show (1 ) == "vertex 1"
1647.42 s
[algebraic-graphs] OK: show (1 + 2 ) == "vertices [1,2]"
1647.42 s
[algebraic-graphs] OK: show (1 * 2 ) == "edge 1 2"
1647.42 s
[algebraic-graphs] OK: show (1 * 2 * 3) == "edges [(1,2),(1,3),(2,3)]"
1647.42 s
[algebraic-graphs] OK: show (1 * 2 + 3) == "overlay (vertex 3) (edge 1 2)"
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] OK: show (vertex (-1) ) == "vertex (-1)"
1647.42 s
[algebraic-graphs] OK: show (vertex (-1) + vertex (-2) ) == "vertices [-2,-1]"
1647.42 s
[algebraic-graphs] OK: show (vertex (-2) * vertex (-1) ) == "edge (-2) (-1)"
1647.42 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) * vertex (-1)) == "edges [(-3,-2),(-3,-1),(-2,-1)]"
1647.42 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) + vertex (-1)) == "overlay (vertex (-1)) (edge (-3) (-2))"
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] OK: show (2 * 1 ) == "edge 1 2"
1647.42 s
[algebraic-graphs] OK: show (1 * 2 * 1) == "edges [(1,1),(1,2)]"
1647.42 s
[algebraic-graphs] OK: show (3 * 2 * 1) == "edges [(1,2),(1,3),(2,3)]"
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.toSymmetric ============
1647.42 s
[algebraic-graphs] OK: toSymmetric (edge 1 2) == edge 1 2
1647.42 s
[algebraic-graphs] OK: toSymmetric . fromSymmetric == id
1647.42 s
[algebraic-graphs] OK: fromSymmetric . toSymmetric == symmetricClosure
1647.42 s
[algebraic-graphs] OK: vertexCount . toSymmetric == vertexCount
1647.42 s
[algebraic-graphs] OK: (*2) . edgeCount . toSymmetric >= edgeCount
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.fromSymmetric ============
1647.42 s
[algebraic-graphs] OK: fromSymmetric (edge 1 2) == edges [(1,2), (2,1)]
1647.42 s
[algebraic-graphs] OK: vertexCount . fromSymmetric == vertexCount
1647.42 s
[algebraic-graphs] OK: edgeCount . fromSymmetric <= (*2) . edgeCount
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.Ord ============
1647.42 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1647.42 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1647.42 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1647.42 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1647.42 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1647.42 s
[algebraic-graphs] OK: edge 2 1 < edge 1 3
1647.42 s
[algebraic-graphs] OK: edge 1 2 == edge 2 1
1647.42 s
[algebraic-graphs] OK: x <= x + y
1647.42 s
[algebraic-graphs] OK: x + y <= x * y
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.empty ============
1647.42 s
[algebraic-graphs] OK: isEmpty empty == True
1647.42 s
[algebraic-graphs] OK: hasVertex x empty == False
1647.42 s
[algebraic-graphs] OK: vertexCount empty == 0
1647.42 s
[algebraic-graphs] OK: edgeCount empty == 0
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.vertex ============
1647.42 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1647.42 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1647.42 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1647.42 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.edge ============
1647.42 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1647.42 s
[algebraic-graphs] OK: edge x y == edge y x
1647.42 s
[algebraic-graphs] OK: edge x y == edges [(x,y), (y,x)]
1647.42 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1647.42 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1647.42 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1647.42 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.overlay ============
1647.42 s
[algebraic-graphs] OK: isEmpty (overlay x y) == isEmpty x && isEmpty y
1647.42 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1647.42 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1647.42 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1647.42 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1647.42 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1647.42 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1647.42 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.connect ============
1647.42 s
[algebraic-graphs] OK: connect x y == connect y x
1647.42 s
[algebraic-graphs] OK: isEmpty (connect x y) == isEmpty x && isEmpty y
1647.42 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1647.42 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1647.42 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1647.42 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1647.42 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1647.42 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y `div` 2
1647.42 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1647.42 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1647.42 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.vertices ============
1647.42 s
[algebraic-graphs] OK: vertices [] == empty
1647.42 s
[algebraic-graphs] OK: vertices [x] == vertex x
1647.42 s
[algebraic-graphs] OK: vertices == overlays . map vertex
1647.42 s
[algebraic-graphs] OK: hasVertex x . vertices == elem x
1647.42 s
[algebraic-graphs] OK: vertexCount . vertices == length . nub
1647.42 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.edges ============
1647.42 s
[algebraic-graphs] OK: edges [] == empty
1647.42 s
[algebraic-graphs] OK: edges [(x,y)] == edge x y
1647.42 s
[algebraic-graphs] OK: edges [(x,y), (y,x)] == edge x y
1647.42 s
[algebraic-graphs]
1647.42 s
[algebraic-graphs] ============ Symmetric.Relation.overlays ============
1647.42 s
[algebraic-graphs] OK: overlays [] == empty
1647.49 s
[haskell-language-server] [ 6 of 10] Compiling Ide.Plugin.Eval.Rules ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Rules.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Rules.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Rules.dyn_o )
1647.98 s
[haskell-language-server] [ 7 of 10] Compiling Ide.Plugin.Eval.Parse.Comments ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Parse/Comments.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Parse/Comments.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Parse/Comments.dyn_o )
1650.55 s
[haskell-language-server] [ 8 of 10] Compiling Ide.Plugin.Eval.Code ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Code.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Code.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Code.dyn_o )
1650.55 s
[haskell-language-server] [ 9 of 10] Compiling Ide.Plugin.Eval.Handlers ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Handlers.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Handlers.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Handlers.dyn_o )
1652.42 s
[haskell-language-server] [10 of 10] Compiling Ide.Plugin.Eval ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval.o, dist/build/hls-eval-plugin/Ide/Plugin/Eval.dyn_o )
1653.03 s
[haskell-language-server] [ 1 of 10] Compiling Ide.Plugin.Eval.Config ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Config.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Config.p_o )
1653.63 s
[haskell-language-server] [ 2 of 10] Compiling Ide.Plugin.Eval.Parse.Option ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Parse/Option.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Parse/Option.p_o )
1653.78 s
[haskell-language-server] [ 3 of 10] Compiling Ide.Plugin.Eval.Util ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Util.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Util.p_o )
1653.86 s
[haskell-language-server] [ 4 of 10] Compiling Ide.Plugin.Eval.GHC ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/GHC.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/GHC.p_o )
1654.84 s
[haskell-language-server] [ 5 of 10] Compiling Ide.Plugin.Eval.Types ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Types.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Types.p_o )
1660.17 s
[algebraic-graphs] OK: overlays [x] == x
1660.17 s
[algebraic-graphs] OK: overlays [x,y] == overlay x y
1660.17 s
[algebraic-graphs] OK: overlays == foldr overlay empty
1660.19 s
[algebraic-graphs] OK: isEmpty . overlays == all isEmpty
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.connects ============
1660.19 s
[algebraic-graphs] OK: connects [] == empty
1660.19 s
[algebraic-graphs] OK: connects [x] == x
1660.19 s
[algebraic-graphs] OK: connects [x,y] == connect x y
1660.19 s
[algebraic-graphs] OK: connects == foldr connect empty
1660.19 s
[algebraic-graphs] OK: isEmpty . connects == all isEmpty
1660.19 s
[algebraic-graphs] OK: connects == connects . reverse
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.isSubgraphOf ============
1660.19 s
[algebraic-graphs] OK: isSubgraphOf empty x == True
1660.19 s
[algebraic-graphs] OK: isSubgraphOf (vertex x) empty == False
1660.19 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1660.19 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1660.19 s
[algebraic-graphs] OK: isSubgraphOf (path xs) (circuit xs) == True
1660.19 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1660.19 s
[algebraic-graphs] OK: isSubgraphOf (edge x y) (edge y x) == True
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.toGraph et al. ============
1660.19 s
[algebraic-graphs] OK: toGraph == foldg Empty Vertex Overlay Connect
1660.19 s
[algebraic-graphs] OK: foldg == Algebra.Graph.foldg . toGraph
1660.19 s
[algebraic-graphs] OK: isEmpty == foldg True (const False) (&&) (&&)
1660.19 s
[algebraic-graphs] OK: size == foldg 1 (const 1) (+) (+)
1660.19 s
[algebraic-graphs] OK: hasVertex x == foldg False (==x) (||) (||)
1660.19 s
[algebraic-graphs] OK: hasEdge x y == Algebra.Graph.hasEdge x y . toGraph
1660.19 s
[algebraic-graphs] OK: vertexCount == Set.size . vertexSet
1660.19 s
[algebraic-graphs] OK: edgeCount == Set.size . edgeSet
1660.19 s
[algebraic-graphs] OK: vertexList == Set.toAscList . vertexSet
1660.19 s
[algebraic-graphs] OK: edgeList == Set.toAscList . edgeSet
1660.19 s
[algebraic-graphs] OK: vertexSet == foldg Set.empty Set.singleton Set.union Set.union
1660.19 s
[algebraic-graphs] OK: vertexIntSet == foldg IntSet.empty IntSet.singleton IntSet.union IntSet.union
1660.19 s
[algebraic-graphs] OK: adjacencyList == Algebra.Graph.AdjacencyMap.adjacencyList . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: adjacencyMap == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: adjacencyIntMap == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMap
1660.19 s
[algebraic-graphs] OK: adjacencyMapTranspose == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMapTranspose
1660.19 s
[algebraic-graphs] OK: adjacencyIntMapTranspose == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMapTranspose
1660.19 s
[algebraic-graphs] OK: dfsForest == Algebra.Graph.AdjacencyMap.dfsForest . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: dfsForestFrom == Algebra.Graph.AdjacencyMap.dfsForestFrom . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: dfs == Algebra.Graph.AdjacencyMap.dfs . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: reachable == Algebra.Graph.AdjacencyMap.reachable . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: topSort == Algebra.Graph.AdjacencyMap.topSort . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: isAcyclic == Algebra.Graph.AdjacencyMap.isAcyclic . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: isTopSortOf vs == Algebra.Graph.AdjacencyMap.isTopSortOf vs . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: toAdjacencyMap == foldg empty vertex overlay connect
1660.19 s
[algebraic-graphs] OK: toAdjacencyMapTranspose == foldg empty vertex overlay (flip connect)
1660.19 s
[algebraic-graphs] OK: toAdjacencyIntMap == foldg empty vertex overlay connect
1660.19 s
[algebraic-graphs] OK: toAdjacencyIntMapTranspose == foldg empty vertex overlay (flip connect)
1660.19 s
[algebraic-graphs] OK: isDfsForestOf f == Algebra.Graph.AdjacencyMap.isDfsForestOf f . toAdjacencyMap
1660.19 s
[algebraic-graphs] OK: isTopSortOf vs == Algebra.Graph.AdjacencyMap.isTopSortOf vs . toAdjacencyMap
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.isEmpty ============
1660.19 s
[algebraic-graphs] OK: isEmpty empty == True
1660.19 s
[algebraic-graphs] OK: isEmpty (overlay empty empty) == True
1660.19 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1660.19 s
[algebraic-graphs] OK: isEmpty (removeVertex x $ vertex x) == True
1660.19 s
[algebraic-graphs] OK: isEmpty (removeEdge x y $ edge x y) == False
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.hasVertex ============
1660.19 s
[algebraic-graphs] OK: hasVertex x empty == False
1660.19 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1660.19 s
[algebraic-graphs] OK: hasVertex x . removeVertex x == const False
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.hasEdge ============
1660.19 s
[algebraic-graphs] OK: hasEdge x y empty == False
1660.19 s
[algebraic-graphs] OK: hasEdge x y (vertex z) == False
1660.19 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1660.19 s
[algebraic-graphs] OK: hasEdge x y (edge y x) == True
1660.19 s
[algebraic-graphs] OK: hasEdge x y . removeEdge x y == const False
1660.19 s
[algebraic-graphs] OK: hasEdge x y == elem (min x y, max x y) . edgeList
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.vertexCount ============
1660.19 s
[algebraic-graphs] OK: vertexCount empty == 0
1660.19 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1660.19 s
[algebraic-graphs] OK: vertexCount == length . vertexList
1660.19 s
[algebraic-graphs] OK: vertexCount x < vertexCount y ==> x < y
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.edgeCount ============
1660.19 s
[algebraic-graphs] OK: edgeCount empty == 0
1660.19 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1660.19 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1660.19 s
[algebraic-graphs] OK: edgeCount == length . edgeList
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.vertexList ============
1660.19 s
[algebraic-graphs] OK: vertexList empty == []
1660.19 s
[algebraic-graphs] OK: vertexList (vertex x) == [x]
1660.19 s
[algebraic-graphs] OK: vertexList . vertices == nub . sort
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.vertexSet ============
1660.19 s
[algebraic-graphs] OK: vertexSet empty == Set.empty
1660.19 s
[algebraic-graphs] OK: vertexSet . vertex == Set.singleton
1660.19 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.vertexIntSet ============
1660.19 s
[algebraic-graphs] OK: vertexIntSet empty == IntSet.empty
1660.19 s
[algebraic-graphs] OK: vertexIntSet . vertex == IntSet.singleton
1660.19 s
[algebraic-graphs] OK: vertexIntSet . vertices == IntSet.fromList
1660.19 s
[algebraic-graphs] OK: vertexIntSet . clique == IntSet.fromList
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.edgeList ============
1660.19 s
[algebraic-graphs] OK: edgeList empty == []
1660.19 s
[algebraic-graphs] OK: edgeList (vertex x) == []
1660.19 s
[algebraic-graphs] OK: edgeList (edge x y) == [(min x y, max y x)]
1660.19 s
[algebraic-graphs] OK: edgeList (star 2 [3,1]) == [(1,2), (2,3)]
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.edgeSet ============
1660.19 s
[algebraic-graphs] OK: edgeSet empty == Set.empty
1660.19 s
[algebraic-graphs] OK: edgeSet (vertex x) == Set.empty
1660.19 s
[algebraic-graphs] OK: edgeSet (edge x y) == Set.singleton (min x y, max x y)
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.adjacencyList ============
1660.19 s
[algebraic-graphs] OK: adjacencyList empty == []
1660.19 s
[algebraic-graphs] OK: adjacencyList (vertex x) == [(x, [])]
1660.19 s
[algebraic-graphs] OK: adjacencyList (edge 1 2) == [(1, [2]), (2, [1])]
1660.19 s
[algebraic-graphs] OK: adjacencyList (star 2 [3,1]) == [(1, [2]), (2, [1,3]), (3, [2])]
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.neighbours ============
1660.19 s
[algebraic-graphs] OK: neighbours x empty == Set.empty
1660.19 s
[algebraic-graphs] OK: neighbours x (vertex x) == Set.empty
1660.19 s
[algebraic-graphs] OK: neighbours x (edge x y) == Set.fromList [y]
1660.19 s
[algebraic-graphs] OK: neighbours y (edge x y) == Set.fromList [x]
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.path ============
1660.19 s
[algebraic-graphs] OK: path [] == empty
1660.19 s
[algebraic-graphs] OK: path [x] == vertex x
1660.19 s
[algebraic-graphs] OK: path [x,y] == edge x y
1660.19 s
[algebraic-graphs] OK: path == path . reverse
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.circuit ============
1660.19 s
[algebraic-graphs] OK: circuit [] == empty
1660.19 s
[algebraic-graphs] OK: circuit [x] == edge x x
1660.19 s
[algebraic-graphs] OK: circuit [x,y] == edges [(x,y), (y,x)]
1660.19 s
[algebraic-graphs] OK: circuit == circuit . reverse
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.clique ============
1660.19 s
[algebraic-graphs] OK: clique [] == empty
1660.19 s
[algebraic-graphs] OK: clique [x] == vertex x
1660.19 s
[algebraic-graphs] OK: clique [x,y] == edge x y
1660.19 s
[algebraic-graphs] OK: clique [x,y,z] == edges [(x,y), (x,z), (y,z)]
1660.19 s
[algebraic-graphs] OK: clique (xs ++ ys) == connect (clique xs) (clique ys)
1660.19 s
[algebraic-graphs] OK: clique == clique . reverse
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.biclique ============
1660.19 s
[algebraic-graphs] OK: biclique [] [] == empty
1660.19 s
[algebraic-graphs] OK: biclique [x] [] == vertex x
1660.19 s
[algebraic-graphs] OK: biclique [] [y] == vertex y
1660.19 s
[algebraic-graphs] OK: biclique [x1,x2] [y1,y2] == edges [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1660.19 s
[algebraic-graphs] OK: biclique xs ys == connect (vertices xs) (vertices ys)
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.star ============
1660.19 s
[algebraic-graphs] OK: star x [] == vertex x
1660.19 s
[algebraic-graphs] OK: star x [y] == edge x y
1660.19 s
[algebraic-graphs] OK: star x [y,z] == edges [(x,y), (x,z)]
1660.19 s
[algebraic-graphs] OK: star x ys == connect (vertex x) (vertices ys)
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.stars ============
1660.19 s
[algebraic-graphs] OK: stars [] == empty
1660.19 s
[algebraic-graphs] OK: stars [(x, [])] == vertex x
1660.19 s
[algebraic-graphs] OK: stars [(x, [y])] == edge x y
1660.19 s
[algebraic-graphs] OK: stars [(x, ys)] == star x ys
1660.19 s
[algebraic-graphs] OK: stars == overlays . map (uncurry star)
1660.19 s
[algebraic-graphs] OK: stars . adjacencyList == id
1660.19 s
[algebraic-graphs] OK: overlay (stars xs) (stars ys) == stars (xs ++ ys)
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.tree ============
1660.19 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1660.19 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path [x,y,z]
1660.19 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1660.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)]
1660.19 s
[algebraic-graphs]
1660.19 s
[algebraic-graphs] ============ Symmetric.Relation.forest ============
1660.19 s
[algebraic-graphs] OK: forest [] == empty
1662.58 s
[haskell-language-server] [ 6 of 10] Compiling Ide.Plugin.Eval.Rules ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Rules.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Rules.p_o )
1663.21 s
[haskell-language-server] [ 7 of 10] Compiling Ide.Plugin.Eval.Parse.Comments ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Parse/Comments.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Parse/Comments.p_o )
1665.80 s
[haskell-language-server] [ 8 of 10] Compiling Ide.Plugin.Eval.Code ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Code.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Code.p_o )
1665.83 s
[haskell-language-server] [ 9 of 10] Compiling Ide.Plugin.Eval.Handlers ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval/Handlers.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval/Handlers.p_o )
1667.34 s
[algebraic-graphs] OK: forest [x] == tree x
1667.34 s
[algebraic-graphs] OK: forest [Node 1 [Node 2 [], Node 3 []], Node 4 [Node 5 []]] == edges [(1,2), (1,3), (4,5)]
1667.34 s
[algebraic-graphs] OK: forest == overlays . map tree
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Symmetric.Relation.removeVertex ============
1667.34 s
[algebraic-graphs] OK: removeVertex x (vertex x) == empty
1667.34 s
[algebraic-graphs] OK: removeVertex 1 (vertex 2) == vertex 2
1667.34 s
[algebraic-graphs] OK: removeVertex x (edge x x) == empty
1667.34 s
[algebraic-graphs] OK: removeVertex 1 (edge 1 2) == vertex 2
1667.34 s
[algebraic-graphs] OK: removeVertex x . removeVertex x == removeVertex x
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Symmetric.Relation.removeEdge ============
1667.34 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices [x,y]
1667.34 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1667.34 s
[algebraic-graphs] OK: removeEdge x y . removeVertex x == removeVertex x
1667.34 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1667.34 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1667.34 s
[algebraic-graphs] OK: removeEdge x y == removeEdge y x
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Symmetric.Relation.replaceVertex ============
1667.34 s
[algebraic-graphs] OK: replaceVertex x x == id
1667.34 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1667.34 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Symmetric.Relation.mergeVertices ============
1667.34 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1667.34 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1667.34 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1667.34 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Symmetric.Relation.gmap ============
1667.34 s
[algebraic-graphs] OK: gmap f empty == empty
1667.34 s
[algebraic-graphs] OK: gmap f (vertex x) == vertex (f x)
1667.34 s
[algebraic-graphs] OK: gmap f (edge x y) == edge (f x) (f y)
1667.34 s
[algebraic-graphs] OK: gmap id == id
1667.34 s
[algebraic-graphs] OK: gmap f . gmap g == gmap (f . g)
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Symmetric.Relation.induce ============
1667.34 s
[algebraic-graphs] OK: induce (const True ) x == x
1667.34 s
[algebraic-graphs] OK: induce (const False) x == empty
1667.34 s
[algebraic-graphs] OK: induce (/= x) == removeVertex x
1667.34 s
[algebraic-graphs] OK: induce p . induce q == induce (\x -> p x && q x)
1667.34 s
[algebraic-graphs] OK: isSubgraphOf (induce p x) x == True
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Symmetric.Relation.induceJust ============
1667.34 s
[algebraic-graphs] OK: induceJust (vertex Nothing) == empty
1667.34 s
[algebraic-graphs] OK: induceJust (edge (Just x) Nothing) == vertex x
1667.34 s
[algebraic-graphs] OK: induceJust . gmap Just == id
1667.34 s
[algebraic-graphs] OK: induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Example.Todo (Holiday) ============
1667.34 s
[algebraic-graphs] OK: A todo list is semantically Maybe [a]
1667.34 s
[algebraic-graphs] OK: The overlay operator (+) adds non-dependent items to the todo list
1667.34 s
[algebraic-graphs] OK: The connect operator (*) adds dependency between items
1667.34 s
[algebraic-graphs] OK: Contradictory constraints make the todo list impossible to schedule
1667.34 s
[algebraic-graphs] OK: Introduce item priority to schedule the todo list
1667.34 s
[algebraic-graphs] OK: Custom connect operators pull/repel arguments during scheduling
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Example.Todo (Commandline) ============
1667.34 s
[algebraic-graphs] OK: The pull connect operator maintains command line semantics
1667.34 s
[algebraic-graphs] OK: Swapping flags are allowed by the commutative overlay opeartor
1667.34 s
[algebraic-graphs] OK: The usual connect operator breaks semantics
1667.34 s
[algebraic-graphs] OK: Transform command lines by adding optimisation flag
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Typed ============
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Typed.fromAdjacencyMap ============
1667.34 s
[algebraic-graphs] OK: toGraphKL (fromAdjacencyMap (1 * 2 + 3 * 1)) == array (0,2) [(0,[1]), (1,[]), (2,[0])]
1667.34 s
[algebraic-graphs] OK: toGraphKL (fromAdjacencyMap (1 * 2 + 2 * 1)) == array (0,1) [(0,[1]), (1,[0])]
1667.34 s
[algebraic-graphs] OK: map (fromVertexKL h) (vertices $ toGraphKL h) == vertexList g
1667.34 s
[algebraic-graphs] OK: map (\(x, y) -> (fromVertexKL h x, fromVertexKL h y)) (edges $ toGraphKL h) == edgeList g
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Typed.fromAdjacencyIntMap ============
1667.34 s
[algebraic-graphs] OK: toGraphKL (fromAdjacencyIntMap (1 * 2 + 3 * 1)) == array (0,2) [(0,[1]), (1,[]), (2,[0])]
1667.34 s
[algebraic-graphs] OK: toGraphKL (fromAdjacencyIntMap (1 * 2 + 2 * 1)) == array (0,1) [(0,[1]), (1,[0])]
1667.34 s
[algebraic-graphs] OK: map (fromVertexKL h) (vertices $ toGraphKL h) == IntSet.toAscList (vertexIntSet g)
1667.34 s
[algebraic-graphs] OK: map (\(x, y) -> (fromVertexKL h x, fromVertexKL h y)) (edges $ toGraphKL h) == edgeList g
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Typed.dfsForest ============
1667.34 s
[algebraic-graphs] OK: forest (dfsForest % edge 1 1) == vertex 1
1667.34 s
[algebraic-graphs] OK: forest (dfsForest % edge 1 2) == edge 1 2
1667.34 s
[algebraic-graphs] OK: forest (dfsForest % edge 2 1) == vertices [1, 2]
1667.34 s
[algebraic-graphs] OK: isSubgraphOf (forest $ dfsForest % x) x == True
1667.34 s
[algebraic-graphs] OK: dfsForest % forest (dfsForest % x) == dfsForest % x
1667.34 s
[algebraic-graphs] OK: dfsForest % vertices vs == map (\v -> Node v []) (nub $ sort vs)
1667.34 s
[algebraic-graphs] OK: dfsForest % (3 * (1 + 4) * (1 + 5)) == <correct result>
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Typed.dfsForestFrom ============
1667.34 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 1) [1] == vertex 1
1667.34 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 2) [0] == empty
1667.34 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 2) [1] == edge 1 2
1667.34 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 2) [2] == vertex 2
1667.34 s
[algebraic-graphs] OK: forest $ (dfsForestFrom % edge 1 2) [2,1] == vertices [1,2]
1667.34 s
[algebraic-graphs] OK: isSubgraphOf (forest $ dfsForestFrom % x $ vs) x == True
1667.34 s
[algebraic-graphs] OK: dfsForestFrom % x $ vertexList x == dfsForest % x
1667.34 s
[algebraic-graphs] OK: dfsForestFrom % vertices vs $ vs == map (\v -> Node v []) (nub vs)
1667.34 s
[algebraic-graphs] OK: dfsForestFrom % x $ [] == []
1667.34 s
[algebraic-graphs] OK: dfsForestFrom % (3 * (1 + 4) * (1 + 5)) $ [1,4] == <correct result>
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Typed.dfs ============
1667.34 s
[algebraic-graphs] OK: dfs % edge 1 1 $ [1] == [1]
1667.34 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [0] == []
1667.34 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [1] == [1,2]
1667.34 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [2] == [2]
1667.34 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [1,2] == [1,2]
1667.34 s
[algebraic-graphs] OK: dfs % edge 1 2 $ [2,1] == [2,1]
1667.34 s
[algebraic-graphs] OK: dfs % x $ [] == []
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] OK: dfs % (3 * (1 + 4) * (1 + 5)) $ [1,4] == [1,5,4]
1667.34 s
[algebraic-graphs] OK: and [ hasVertex v x | v <- dfs % x $ vs ] == True
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Typed.topSort ============
1667.34 s
[algebraic-graphs] OK: topSort % (1 * 2 + 3 * 1) == [3,1,2]
1667.34 s
[algebraic-graphs] OK: topSort % (1 * 2 + 2 * 1) == [1,2]
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected ============
1667.34 s
[algebraic-graphs] OK: Axioms of undirected graphs
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected.Show ============
1667.34 s
[algebraic-graphs] OK: show (empty ) == "empty"
1667.34 s
[algebraic-graphs] OK: show (1 ) == "vertex 1"
1667.34 s
[algebraic-graphs] OK: show (1 + 2 ) == "vertices [1,2]"
1667.34 s
[algebraic-graphs] OK: show (1 * 2 ) == "edge 1 2"
1667.34 s
[algebraic-graphs] OK: show (1 * 2 * 3) == "edges [(1,2),(1,3),(2,3)]"
1667.34 s
[algebraic-graphs] OK: show (1 * 2 + 3) == "overlay (vertex 3) (edge 1 2)"
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] OK: show (vertex (-1) ) == "vertex (-1)"
1667.34 s
[algebraic-graphs] OK: show (vertex (-1) + vertex (-2) ) == "vertices [-2,-1]"
1667.34 s
[algebraic-graphs] OK: show (vertex (-2) * vertex (-1) ) == "edge (-2) (-1)"
1667.34 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) * vertex (-1)) == "edges [(-3,-2),(-3,-1),(-2,-1)]"
1667.34 s
[algebraic-graphs] OK: show (vertex (-3) * vertex (-2) + vertex (-1)) == "overlay (vertex (-1)) (edge (-3) (-2))"
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] OK: show (2 * 1 ) == "edge 1 2"
1667.34 s
[algebraic-graphs] OK: show (1 * 2 * 1) == "edges [(1,1),(1,2)]"
1667.34 s
[algebraic-graphs] OK: show (3 * 2 * 1) == "edges [(1,2),(1,3),(2,3)]"
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected.toUndirected ============
1667.34 s
[algebraic-graphs] OK: toUndirected (edge 1 2) == edge 1 2
1667.34 s
[algebraic-graphs] OK: toUndirected . fromUndirected == id
1667.34 s
[algebraic-graphs] OK: vertexCount . toUndirected == vertexCount
1667.34 s
[algebraic-graphs] OK: (*2) . edgeCount . toUndirected >= edgeCount
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected.fromUndirected ============
1667.34 s
[algebraic-graphs] OK: fromUndirected (edge 1 2) == edges [(1,2),(2,1)]
1667.34 s
[algebraic-graphs] OK: toUndirected . fromUndirected == id
1667.34 s
[algebraic-graphs] OK: vertexCount . fromUndirected == vertexCount
1667.34 s
[algebraic-graphs] OK: edgeCount . fromUndirected <= (*2) . edgeCount
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected.complement ================
1667.34 s
[algebraic-graphs] OK: complement empty == empty
1667.34 s
[algebraic-graphs] OK: complement (vertex x) == vertex x
1667.34 s
[algebraic-graphs] OK: complement (edge 1 1) == edge 1 1
1667.34 s
[algebraic-graphs] OK: complement (edge 1 2) == vertices [1, 2]
1667.34 s
[algebraic-graphs] OK: complement (star 1 [2, 3]) == overlay (vertex 1) (edge 2 3)
1667.34 s
[algebraic-graphs] OK: complement . complement == id
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected.Ord ============
1667.34 s
[algebraic-graphs] OK: vertex 1 < vertex 2
1667.34 s
[algebraic-graphs] OK: vertex 3 < edge 1 2
1667.34 s
[algebraic-graphs] OK: vertex 1 < edge 1 1
1667.34 s
[algebraic-graphs] OK: edge 1 1 < edge 1 2
1667.34 s
[algebraic-graphs] OK: edge 1 2 < edge 1 1 + edge 2 2
1667.34 s
[algebraic-graphs] OK: edge 2 1 < edge 1 3
1667.34 s
[algebraic-graphs] OK: edge 1 2 == edge 2 1
1667.34 s
[algebraic-graphs] OK: x <= x + y
1667.34 s
[algebraic-graphs] OK: x + y <= x * y
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected.empty ============
1667.34 s
[algebraic-graphs] OK: isEmpty empty == True
1667.34 s
[algebraic-graphs] OK: hasVertex x empty == False
1667.34 s
[algebraic-graphs] OK: vertexCount empty == 0
1667.34 s
[algebraic-graphs] OK: edgeCount empty == 0
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected.vertex ============
1667.34 s
[algebraic-graphs] OK: isEmpty (vertex x) == False
1667.34 s
[algebraic-graphs] OK: hasVertex x (vertex y) == (x == y)
1667.34 s
[algebraic-graphs] OK: vertexCount (vertex x) == 1
1667.34 s
[algebraic-graphs] OK: edgeCount (vertex x) == 0
1667.34 s
[algebraic-graphs]
1667.34 s
[algebraic-graphs] ============ Graph.Undirected.edge ============
1667.34 s
[algebraic-graphs] OK: edge x y == connect (vertex x) (vertex y)
1667.34 s
[algebraic-graphs] OK: edge x y == edge y x
1667.65 s
[haskell-language-server] [10 of 10] Compiling Ide.Plugin.Eval ( plugins/hls-eval-plugin/src/Ide/Plugin/Eval.hs, dist/build/hls-eval-plugin/Ide/Plugin/Eval.p_o )
1674.03 s
[haskell-language-server] Preprocessing library 'hls-signature-help-plugin' for haskell-language-server-2.12.0.0..
1674.03 s
[haskell-language-server] Building library 'hls-signature-help-plugin' for haskell-language-server-2.12.0.0..
1674.15 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.SignatureHelp ( plugins/hls-signature-help-plugin/src/Ide/Plugin/SignatureHelp.hs, dist/build/hls-signature-help-plugin/Ide/Plugin/SignatureHelp.o, dist/build/hls-signature-help-plugin/Ide/Plugin/SignatureHelp.dyn_o )
1676.07 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.SignatureHelp ( plugins/hls-signature-help-plugin/src/Ide/Plugin/SignatureHelp.hs, dist/build/hls-signature-help-plugin/Ide/Plugin/SignatureHelp.p_o )
1677.31 s
[algebraic-graphs] OK: edge x y == edges [(x,y), (y,x)]
1677.31 s
[algebraic-graphs] OK: hasEdge x y (edge x y) == True
1677.31 s
[algebraic-graphs] OK: edgeCount (edge x y) == 1
1677.31 s
[algebraic-graphs] OK: vertexCount (edge 1 1) == 1
1677.31 s
[algebraic-graphs] OK: vertexCount (edge 1 2) == 2
1677.31 s
[algebraic-graphs]
1677.31 s
[algebraic-graphs] ============ Graph.Undirected.overlay ============
1677.31 s
[algebraic-graphs] OK: isEmpty (overlay x y) == isEmpty x && isEmpty y
1677.31 s
[algebraic-graphs] OK: hasVertex z (overlay x y) == hasVertex z x || hasVertex z y
1677.31 s
[algebraic-graphs] OK: vertexCount (overlay x y) >= vertexCount x
1677.31 s
[algebraic-graphs] OK: vertexCount (overlay x y) <= vertexCount x + vertexCount y
1677.31 s
[algebraic-graphs] OK: edgeCount (overlay x y) >= edgeCount x
1677.31 s
[algebraic-graphs] OK: edgeCount (overlay x y) <= edgeCount x + edgeCount y
1677.31 s
[algebraic-graphs] OK: vertexCount (overlay 1 2) == 2
1677.31 s
[algebraic-graphs] OK: edgeCount (overlay 1 2) == 0
1677.31 s
[algebraic-graphs]
1677.31 s
[algebraic-graphs] ============ Graph.Undirected.connect ============
1677.31 s
[algebraic-graphs] OK: connect x y == connect y x
1677.31 s
[algebraic-graphs] OK: isEmpty (connect x y) == isEmpty x && isEmpty y
1677.31 s
[algebraic-graphs] OK: hasVertex z (connect x y) == hasVertex z x || hasVertex z y
1677.31 s
[algebraic-graphs] OK: vertexCount (connect x y) >= vertexCount x
1677.31 s
[algebraic-graphs] OK: vertexCount (connect x y) <= vertexCount x + vertexCount y
1677.31 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount x
1677.31 s
[algebraic-graphs] OK: edgeCount (connect x y) >= edgeCount y
1677.31 s
[algebraic-graphs] OK: edgeCount (connect x y) >= vertexCount x * vertexCount y `div` 2
1677.31 s
[algebraic-graphs] OK: edgeCount (connect x y) <= vertexCount x * vertexCount y + edgeCount x + edgeCount y
1677.31 s
[algebraic-graphs] OK: vertexCount (connect 1 2) == 2
1677.31 s
[algebraic-graphs] OK: edgeCount (connect 1 2) == 1
1677.31 s
[algebraic-graphs]
1677.31 s
[algebraic-graphs] ============ Graph.Undirected.vertices ============
1677.31 s
[algebraic-graphs] OK: vertices [] == empty
1677.31 s
[algebraic-graphs] OK: vertices [x] == vertex x
1677.31 s
[algebraic-graphs] OK: vertices == overlays . map vertex
1677.31 s
[algebraic-graphs] OK: hasVertex x . vertices == elem x
1677.31 s
[algebraic-graphs] OK: vertexCount . vertices == length . nub
1677.31 s
[algebraic-graphs] OK: vertexSet . vertices == Set.fromList
1677.31 s
[algebraic-graphs]
1677.31 s
[algebraic-graphs] ============ Graph.Undirected.edges ============
1677.31 s
[algebraic-graphs] OK: edges [] == empty
1677.31 s
[algebraic-graphs] OK: edges [(x,y)] == edge x y
1677.31 s
[algebraic-graphs] OK: edges [(x,y), (y,x)] == edge x y
1677.31 s
[algebraic-graphs]
1677.31 s
[algebraic-graphs] ============ Graph.Undirected.overlays ============
1677.31 s
[algebraic-graphs] OK: overlays [] == empty
1677.31 s
[algebraic-graphs] OK: overlays [x] == x
1677.31 s
[algebraic-graphs] OK: overlays [x,y] == overlay x y
1677.31 s
[algebraic-graphs] OK: overlays == foldr overlay empty
1677.31 s
[algebraic-graphs] OK: isEmpty . overlays == all isEmpty
1677.31 s
[algebraic-graphs]
1677.31 s
[algebraic-graphs] ============ Graph.Undirected.connects ============
1677.31 s
[algebraic-graphs] OK: connects [] == empty
1677.31 s
[algebraic-graphs] OK: connects [x] == x
1677.31 s
[algebraic-graphs] OK: connects [x,y] == connect x y
1677.31 s
[algebraic-graphs] OK: connects == foldr connect empty
1677.31 s
[algebraic-graphs] OK: isEmpty . connects == all isEmpty
1677.31 s
[algebraic-graphs] OK: connects == connects . reverse
1677.31 s
[algebraic-graphs]
1677.31 s
[algebraic-graphs] ============ Graph.Undirected.isSubgraphOf ============
1677.31 s
[algebraic-graphs] OK: isSubgraphOf empty x == True
1677.31 s
[algebraic-graphs] OK: isSubgraphOf (vertex x) empty == False
1677.31 s
[algebraic-graphs] OK: isSubgraphOf x (overlay x y) == True
1677.31 s
[algebraic-graphs] OK: isSubgraphOf (overlay x y) (connect x y) == True
1677.31 s
[algebraic-graphs] OK: isSubgraphOf (path xs) (circuit xs) == True
1677.31 s
[algebraic-graphs] OK: isSubgraphOf x y ==> x <= y
1677.31 s
[algebraic-graphs] OK: isSubgraphOf (edge x y) (edge y x) == True
1677.31 s
[algebraic-graphs]
1677.31 s
[algebraic-graphs] ============ Graph.Undirected.path ============
1677.31 s
[algebraic-graphs] OK: path [] == empty
1677.31 s
[algebraic-graphs] OK: path [x] == vertex x
1677.32 s
[algebraic-graphs] OK: path [x,y] == edge x y
1677.32 s
[algebraic-graphs] OK: path == path . reverse
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.circuit ============
1677.32 s
[algebraic-graphs] OK: circuit [] == empty
1677.32 s
[algebraic-graphs] OK: circuit [x] == edge x x
1677.32 s
[algebraic-graphs] OK: circuit [x,y] == edges [(x,y), (y,x)]
1677.32 s
[algebraic-graphs] OK: circuit == circuit . reverse
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.clique ============
1677.32 s
[algebraic-graphs] OK: clique [] == empty
1677.32 s
[algebraic-graphs] OK: clique [x] == vertex x
1677.32 s
[algebraic-graphs] OK: clique [x,y] == edge x y
1677.32 s
[algebraic-graphs] OK: clique [x,y,z] == edges [(x,y), (x,z), (y,z)]
1677.32 s
[algebraic-graphs] OK: clique (xs ++ ys) == connect (clique xs) (clique ys)
1677.32 s
[algebraic-graphs] OK: clique == clique . reverse
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.biclique ============
1677.32 s
[algebraic-graphs] OK: biclique [] [] == empty
1677.32 s
[algebraic-graphs] OK: biclique [x] [] == vertex x
1677.32 s
[algebraic-graphs] OK: biclique [] [y] == vertex y
1677.32 s
[algebraic-graphs] OK: biclique [x1,x2] [y1,y2] == edges [(x1,y1), (x1,y2), (x2,y1), (x2,y2)]
1677.32 s
[algebraic-graphs] OK: biclique xs ys == connect (vertices xs) (vertices ys)
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.star ============
1677.32 s
[algebraic-graphs] OK: star x [] == vertex x
1677.32 s
[algebraic-graphs] OK: star x [y] == edge x y
1677.32 s
[algebraic-graphs] OK: star x [y,z] == edges [(x,y), (x,z)]
1677.32 s
[algebraic-graphs] OK: star x ys == connect (vertex x) (vertices ys)
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.stars ============
1677.32 s
[algebraic-graphs] OK: stars [] == empty
1677.32 s
[algebraic-graphs] OK: stars [(x, [])] == vertex x
1677.32 s
[algebraic-graphs] OK: stars [(x, [y])] == edge x y
1677.32 s
[algebraic-graphs] OK: stars [(x, ys)] == star x ys
1677.32 s
[algebraic-graphs] OK: stars == overlays . map (uncurry star)
1677.32 s
[algebraic-graphs] OK: stars . adjacencyList == id
1677.32 s
[algebraic-graphs] OK: overlay (stars xs) (stars ys) == stars (xs ++ ys)
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.tree ============
1677.32 s
[algebraic-graphs] OK: tree (Node x []) == vertex x
1677.32 s
[algebraic-graphs] OK: tree (Node x [Node y [Node z []]]) == path [x,y,z]
1677.32 s
[algebraic-graphs] OK: tree (Node x [Node y [], Node z []]) == star x [y,z]
1677.32 s
[algebraic-graphs] OK: tree (Node 1 [Node 2 [], Node 3 [Node 4 [], Node 5 []]]) == edges [(1,2), (1,3), (3,4), (3,5)]
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.forest ============
1677.32 s
[algebraic-graphs] OK: forest [] == empty
1677.32 s
[algebraic-graphs] OK: forest [x] == tree x
1677.32 s
[algebraic-graphs] OK: forest [Node 1 [Node 2 [], Node 3 []], Node 4 [Node 5 []]] == edges [(1,2), (1,3), (4,5)]
1677.32 s
[algebraic-graphs] OK: forest == overlays . map tree
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.removeVertex ============
1677.32 s
[algebraic-graphs] OK: removeVertex x (vertex x) == empty
1677.32 s
[algebraic-graphs] OK: removeVertex 1 (vertex 2) == vertex 2
1677.32 s
[algebraic-graphs] OK: removeVertex x (edge x x) == empty
1677.32 s
[algebraic-graphs] OK: removeVertex 1 (edge 1 2) == vertex 2
1677.32 s
[algebraic-graphs] OK: removeVertex x . removeVertex x == removeVertex x
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.removeEdge ============
1677.32 s
[algebraic-graphs] OK: removeEdge x y (edge x y) == vertices [x,y]
1677.32 s
[algebraic-graphs] OK: removeEdge x y . removeEdge x y == removeEdge x y
1677.32 s
[algebraic-graphs] OK: removeEdge x y . removeVertex x == removeVertex x
1677.32 s
[algebraic-graphs] OK: removeEdge 1 1 (1 * 1 * 2 * 2) == 1 * 2 * 2
1677.32 s
[algebraic-graphs] OK: removeEdge 1 2 (1 * 1 * 2 * 2) == 1 * 1 + 2 * 2
1677.32 s
[algebraic-graphs] OK: removeEdge x y == removeEdge y x
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.replaceVertex ============
1677.32 s
[algebraic-graphs] OK: replaceVertex x x == id
1677.32 s
[algebraic-graphs] OK: replaceVertex x y (vertex x) == vertex y
1677.32 s
[algebraic-graphs] OK: replaceVertex x y == mergeVertices (== x) y
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.mergeVertices ============
1677.32 s
[algebraic-graphs] OK: mergeVertices (const False) x == id
1677.32 s
[algebraic-graphs] OK: mergeVertices (== x) y == replaceVertex x y
1677.32 s
[algebraic-graphs] OK: mergeVertices even 1 (0 * 2) == 1 * 1
1677.32 s
[algebraic-graphs] OK: mergeVertices odd 1 (3 + 4 * 5) == 4 * 1
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.gmap ============
1677.32 s
[algebraic-graphs] OK: gmap f empty == empty
1677.32 s
[algebraic-graphs] OK: gmap f (vertex x) == vertex (f x)
1677.32 s
[algebraic-graphs] OK: gmap f (edge x y) == edge (f x) (f y)
1677.32 s
[algebraic-graphs] OK: gmap id == id
1677.32 s
[algebraic-graphs] OK: gmap f . gmap g == gmap (f . g)
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.induce ============
1677.32 s
[algebraic-graphs] OK: induce (const True ) x == x
1677.32 s
[algebraic-graphs] OK: induce (const False) x == empty
1677.32 s
[algebraic-graphs] OK: induce (/= x) == removeVertex x
1677.32 s
[algebraic-graphs] OK: induce p . induce q == induce (\x -> p x && q x)
1677.32 s
[algebraic-graphs] OK: isSubgraphOf (induce p x) x == True
1677.32 s
[algebraic-graphs]
1677.32 s
[algebraic-graphs] ============ Graph.Undirected.induceJust ============
1677.32 s
[algebraic-graphs] OK: induceJust (vertex Nothing) == empty
1677.32 s
[algebraic-graphs] OK: induceJust (edge (Just x) Nothing) == vertex x
1677.32 s
[algebraic-graphs] OK: induceJust . gmap Just == id
1677.32 s
[algebraic-graphs] OK: induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
1677.32 s
[algebraic-graphs] Test suite main: PASS
1677.32 s
[algebraic-graphs] Test suite logged to: dist/test/algebraic-graphs-0.7-main.log
1677.32 s
[algebraic-graphs] 1 of 1 test suites (1 of 1 test cases) passed.
1677.33 s
[algebraic-graphs] checkPhase completed in 2 minutes 4 seconds
1677.33 s
[algebraic-graphs] Phase: haddockPhase
1677.46 s
[algebraic-graphs] Preprocessing library for algebraic-graphs-0.7..
1677.47 s
[algebraic-graphs] Running Haddock on library for algebraic-graphs-0.7..
1677.52 s
[algebraic-graphs] Warning: --source-* options are ignored when --hyperlinked-source is enabled.
1677.84 s
[algebraic-graphs] 100% ( 58 / 58) in 'Algebra.Graph.AdjacencyMap'
1678.03 s
[algebraic-graphs] 100% ( 56 / 56) in 'Algebra.Graph.AdjacencyIntMap'
1678.11 s
[algebraic-graphs] Warning: 'nub' is out of scope.
1678.11 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.11 s
[algebraic-graphs] Warning: 'sort' is out of scope.
1678.11 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.11 s
[algebraic-graphs] 93% ( 14 / 15) in 'Algebra.Graph.AdjacencyIntMap.Algorithm'
1678.11 s
[algebraic-graphs] Missing documentation for:
1678.11 s
[algebraic-graphs] Cycle (src/Algebra/Graph/AdjacencyIntMap/Algorithm.hs:227)
1678.17 s
[algebraic-graphs] Warning: 'IsList' is out of scope.
1678.17 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.18 s
[algebraic-graphs] 100% ( 19 / 19) in 'Algebra.Graph.Internal'
1678.38 s
[algebraic-graphs] 100% ( 61 / 61) in 'Algebra.Graph'
1678.49 s
[algebraic-graphs] Warning: 'mplus' is out of scope.
1678.49 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.49 s
[algebraic-graphs] Warning: 'vertexCount' is out of scope.
1678.49 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.49 s
[algebraic-graphs] Warning: 'hasVertex' is out of scope.
1678.49 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.49 s
[algebraic-graphs] Warning: 'vertexSet' is out of scope.
1678.49 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.49 s
[algebraic-graphs] Warning: 'isEmpty' is out of scope.
1678.49 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.49 s
[algebraic-graphs] Warning: 'edgeList' is out of scope.
1678.49 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.49 s
[algebraic-graphs] Warning: 'adjacencyList' is out of scope.
1678.49 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.50 s
[algebraic-graphs] Warning: 'box' is out of scope.
1678.50 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.50 s
[algebraic-graphs] Warning: 'edgeCount' is out of scope.
1678.50 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.50 s
[algebraic-graphs] 100% ( 42 / 42) in 'Algebra.Graph.HigherKinded.Class'
1678.59 s
[algebraic-graphs] Warning: 'nub' is out of scope.
1678.59 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.60 s
[algebraic-graphs] 100% ( 63 / 63) in 'Algebra.Graph.Bipartite.AdjacencyMap'
1678.78 s
[algebraic-graphs] Warning: 'isRight' is out of scope.
1678.78 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1678.79 s
[algebraic-graphs] 100% ( 25 / 25) in 'Algebra.Graph.Bipartite.AdjacencyMap.Algorithm'
1678.91 s
[algebraic-graphs] 100% ( 37 / 37) in 'Algebra.Graph.Label'
1679.03 s
[algebraic-graphs] Warning: 'isEmpty' is out of scope.
1679.03 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.07 s
[algebraic-graphs] Warning: 'empty' is out of scope.
1679.07 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.07 s
[algebraic-graphs] Warning: 'vertexList' is out of scope.
1679.07 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.07 s
[algebraic-graphs] Warning: 'edges' is out of scope.
1679.07 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.07 s
[algebraic-graphs] Warning: 'adjacencyList' is out of scope.
1679.07 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.07 s
[algebraic-graphs] Warning: 'stars' is out of scope.
1679.07 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.07 s
[algebraic-graphs] 100% ( 51 / 51) in 'Algebra.Graph.NonEmpty.AdjacencyMap'
1679.21 s
[algebraic-graphs] Warning: 'nub' is out of scope.
1679.21 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.21 s
[algebraic-graphs] Warning: 'sort' is out of scope.
1679.21 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.22 s
[algebraic-graphs] 93% ( 15 / 16) in 'Algebra.Graph.AdjacencyMap.Algorithm'
1679.22 s
[algebraic-graphs] Missing documentation for:
1679.22 s
[algebraic-graphs] Cycle (src/Algebra/Graph/AdjacencyMap/Algorithm.hs:228)
1679.32 s
[algebraic-graphs] 100% ( 44 / 44) in 'Algebra.Graph.Acyclic.AdjacencyMap'
1679.39 s
[algebraic-graphs] 100% ( 8 / 8) in 'Algebra.Graph.ToGraph'
1679.44 s
[algebraic-graphs]
1679.44 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:171:32: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1679.44 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1679.44 s
[algebraic-graphs] will become an error in a future GHC release.
1679.44 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1679.44 s
[algebraic-graphs] |
1679.44 s
[algebraic-graphs] 171 | vertexIntSet :: ToVertex t ~ Int => t -> IntSet
1679.44 s
[algebraic-graphs] | ^
1679.44 s
[algebraic-graphs]
1679.44 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:197:29: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1679.44 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1679.44 s
[algebraic-graphs] will become an error in a future GHC release.
1679.44 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1679.45 s
[algebraic-graphs] |
1679.45 s
[algebraic-graphs] 197 | preIntSet :: ToVertex t ~ Int => Int -> t -> IntSet
1679.45 s
[algebraic-graphs] | ^
1679.45 s
[algebraic-graphs]
1679.45 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:215:30: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1679.45 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1679.45 s
[algebraic-graphs] will become an error in a future GHC release.
1679.45 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1679.45 s
[algebraic-graphs] |
1679.45 s
[algebraic-graphs] 215 | postIntSet :: ToVertex t ~ Int => Int -> t -> IntSet
1679.45 s
[algebraic-graphs] | ^
1679.45 s
[algebraic-graphs]
1679.45 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:303:37: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1679.45 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1679.45 s
[algebraic-graphs] will become an error in a future GHC release.
1679.45 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1679.45 s
[algebraic-graphs] |
1679.45 s
[algebraic-graphs] 303 | toAdjacencyIntMap :: ToVertex t ~ Int => t -> AIM.AdjacencyIntMap
1679.45 s
[algebraic-graphs] | ^
1679.45 s
[algebraic-graphs]
1679.45 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:312:46: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1679.45 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1679.45 s
[algebraic-graphs] will become an error in a future GHC release.
1679.45 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1679.45 s
[algebraic-graphs] |
1679.45 s
[algebraic-graphs] 312 | toAdjacencyIntMapTranspose :: ToVertex t ~ Int => t -> AIM.AdjacencyIntMap
1679.45 s
[algebraic-graphs] | ^
1679.45 s
[algebraic-graphs]
1679.45 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:452:43: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1679.45 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1679.45 s
[algebraic-graphs] will become an error in a future GHC release.
1679.45 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1679.45 s
[algebraic-graphs] |
1679.45 s
[algebraic-graphs] 452 | adjacencyIntMap :: (ToGraph t, ToVertex t ~ Int) => t -> IntMap IntSet
1679.45 s
[algebraic-graphs] | ^
1679.45 s
[algebraic-graphs]
1679.45 s
[algebraic-graphs] src/Algebra/Graph/ToGraph.hs:471:52: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1679.45 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1679.45 s
[algebraic-graphs] will become an error in a future GHC release.
1679.45 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1679.45 s
[algebraic-graphs] |
1679.46 s
[algebraic-graphs] 471 | adjacencyIntMapTranspose :: (ToGraph t, ToVertex t ~ Int) => t -> IntMap IntSet
1679.46 s
[algebraic-graphs] | ^
1679.53 s
[algebraic-graphs] Warning: 'AdjacencyMap' is out of scope.
1679.53 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.53 s
[algebraic-graphs] 100% ( 56 / 56) in 'Algebra.Graph.Relation'
1679.73 s
[algebraic-graphs] 100% ( 48 / 48) in 'Algebra.Graph.Relation.Symmetric'
1679.82 s
[algebraic-graphs] Warning: 'vertexList' is out of scope.
1679.82 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1679.84 s
[algebraic-graphs] 100% ( 53 / 53) in 'Algebra.Graph.NonEmpty'
1679.96 s
[algebraic-graphs] 100% ( 49 / 49) in 'Algebra.Graph.Labelled.AdjacencyMap'
1680.24 s
[algebraic-graphs] 100% ( 49 / 49) in 'Algebra.Graph.Labelled'
1680.64 s
[algebraic-graphs] 100% ( 6 / 6) in 'Algebra.Graph.Labelled.Example.Network'
1680.67 s
[algebraic-graphs] 100% ( 5 / 5) in 'Algebra.Graph.Labelled.Example.Automaton'
1680.71 s
[algebraic-graphs] 100% ( 14 / 14) in 'Algebra.Graph.Export'
1680.72 s
[algebraic-graphs]
1680.72 s
[algebraic-graphs] src/Algebra/Graph/Export.hs:185:41: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1680.72 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1680.72 s
[algebraic-graphs] will become an error in a future GHC release.
1680.72 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1680.72 s
[algebraic-graphs] |
1680.72 s
[algebraic-graphs] 185 | export :: (Ord a, ToGraph g, ToVertex g ~ a) => (a -> Doc s) -> (a -> a -> Doc s) -> g -> Doc s
1680.72 s
[algebraic-graphs] | ^
1680.73 s
[algebraic-graphs] Warning: 'Graph' is out of scope.
1680.74 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1680.74 s
[algebraic-graphs] 100% ( 11 / 11) in 'Algebra.Graph.Export.Dot'
1680.74 s
[algebraic-graphs]
1680.74 s
[algebraic-graphs] src/Algebra/Graph/Export/Dot.hs:121:63: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1680.74 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1680.74 s
[algebraic-graphs] will become an error in a future GHC release.
1680.74 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1680.74 s
[algebraic-graphs] |
1680.74 s
[algebraic-graphs] 121 | export :: (IsString s, Monoid s, Ord a, ToGraph g, ToVertex g ~ a) => Style a s -> g -> s
1680.74 s
[algebraic-graphs] | ^
1680.74 s
[algebraic-graphs]
1680.75 s
[algebraic-graphs] src/Algebra/Graph/Export/Dot.hs:165:78: warning : [ GHC-58520 ] [ -Wtype-equality-requires-operators ]
1680.75 s
[algebraic-graphs] The use of ‘~’ without TypeOperators
1680.75 s
[algebraic-graphs] will become an error in a future GHC release.
1680.75 s
[algebraic-graphs] Suggested fix: Perhaps you intended to use TypeOperators
1680.75 s
[algebraic-graphs] |
1680.75 s
[algebraic-graphs] 165 | exportAsIs :: (IsString s, Monoid s, Ord (ToVertex g), ToGraph g, ToVertex g ~ s) => g -> s
1680.75 s
[algebraic-graphs] | ^
1680.80 s
[algebraic-graphs] 100% ( 50 / 50) in 'Algebra.Graph.Undirected'
1680.96 s
[algebraic-graphs] 100% ( 27 / 27) in 'Algebra.Graph.Class'
1681.02 s
[algebraic-graphs] Warning: 'Transitive' is out of scope.
1681.02 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1681.03 s
[algebraic-graphs] 100% ( 5 / 5) in 'Algebra.Graph.Relation.Transitive'
1681.04 s
[algebraic-graphs] Warning: 'Reflexive' is out of scope.
1681.04 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1681.04 s
[algebraic-graphs] 100% ( 5 / 5) in 'Algebra.Graph.Relation.Reflexive'
1681.06 s
[algebraic-graphs] Warning: 'Preorder' is out of scope.
1681.06 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1681.06 s
[algebraic-graphs] 100% ( 5 / 5) in 'Algebra.Graph.Relation.Preorder'
1681.15 s
[algebraic-graphs] 0% ( 0 / 8) in 'Algebra.Graph.Example.Todo'
1681.15 s
[algebraic-graphs] Missing documentation for:
1681.15 s
[algebraic-graphs] Module header
1681.15 s
[algebraic-graphs] Todo (src/Algebra/Graph/Example/Todo.hs:13)
1681.16 s
[algebraic-graphs] todo (src/Algebra/Graph/Example/Todo.hs:41)
1681.16 s
[algebraic-graphs] low (src/Algebra/Graph/Example/Todo.hs:22)
1681.16 s
[algebraic-graphs] high (src/Algebra/Graph/Example/Todo.hs:26)
1681.16 s
[algebraic-graphs] ~*~ (src/Algebra/Graph/Example/Todo.hs:34)
1681.16 s
[algebraic-graphs] >*< (src/Algebra/Graph/Example/Todo.hs:38)
1681.16 s
[algebraic-graphs] priority (src/Algebra/Graph/Example/Todo.hs:30)
1681.18 s
[algebraic-graphs] Warning: 'array' is out of scope.
1681.18 s
[algebraic-graphs] If you qualify the identifier, haddock can try to link it anyway.
1681.18 s
[algebraic-graphs] 90% ( 10 / 11) in 'Data.Graph.Typed'
1681.18 s
[algebraic-graphs] Missing documentation for:
1681.18 s
[algebraic-graphs] scc (src/Data/Graph/Typed.hs:191)
1683.45 s
[haskell-language-server] Preprocessing executable 'plugin-tutorial' for haskell-language-server-2.12.0.0..
1683.45 s
[haskell-language-server] Building executable 'plugin-tutorial' for haskell-language-server-2.12.0.0..
1683.62 s
[haskell-language-server] [1 of 1] Compiling Main ( docs/contributing/plugin-tutorial.lhs, dist/build/plugin-tutorial/plugin-tutorial-tmp/Main.dyn_o )
1684.80 s
[algebraic-graphs] Documentation created: dist/doc/html/algebraic-graphs/,
1684.80 s
[algebraic-graphs] dist/doc/html/algebraic-graphs/algebraic-graphs.txt
1684.87 s
[algebraic-graphs] Preprocessing test suite 'main' for algebraic-graphs-0.7..
1684.88 s
[algebraic-graphs] Phase: installPhase
1684.95 s
[algebraic-graphs] Installing library in /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/algebraic-graphs-0.7-DAzqSe4OEaY2UL8NUkdChE
1685.05 s
[haskell-language-server] [2 of 2] Linking dist/build/plugin-tutorial/plugin-tutorial
1685.56 s
[algebraic-graphs] Phase: fixupPhase
1685.58 s
[algebraic-graphs] shrinking RPATHs of ELF executables and libraries in /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7
1685.60 s
[algebraic-graphs] shrinking /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHSalgebraic-graphs-0.7-DAzqSe4OEaY2UL8NUkdChE-ghc9.6.7.so
1685.61 s
[algebraic-graphs] checking for references to /build/ in /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7...
1685.65 s
[algebraic-graphs] patching script interpreter paths in /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7
1685.65 s
[algebraic-graphs] stripping (with command strip and flags -S -p) in /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/lib
1685.91 s
[algebraic-graphs] shrinking RPATHs of ELF executables and libraries in /nix/store/fzswxhazq1h53lb7a661wgwcpps3n75x-algebraic-graphs-0.7-doc
1685.94 s
[algebraic-graphs] checking for references to /build/ in /nix/store/fzswxhazq1h53lb7a661wgwcpps3n75x-algebraic-graphs-0.7-doc...
1685.97 s
[algebraic-graphs] patching script interpreter paths in /nix/store/fzswxhazq1h53lb7a661wgwcpps3n75x-algebraic-graphs-0.7-doc
1686.12 s
[algebraic-graphs:post-build] Uploading to cachix cache "sellout": /nix/store/fzswxhazq1h53lb7a661wgwcpps3n75x-algebraic-graphs-0.7-doc /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7
1686.55 s
[algebraic-graphs:post-build] Nothing to push - all store paths are already on Cachix.
1686.57 s
[algebraic-graphs:post-build] Uploading to the NixCI cache: /nix/store/fzswxhazq1h53lb7a661wgwcpps3n75x-algebraic-graphs-0.7-doc /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7
1686.61 s
[algebraic-graphs:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1686.62 s
[algebraic-graphs:post-build] copying 2 paths...
1686.62 s
[algebraic-graphs:post-build] copying path '/nix/store/fzswxhazq1h53lb7a661wgwcpps3n75x-algebraic-graphs-0.7-doc' to 'https://cache.nix-ci.com'...
1688.05 s
[algebraic-graphs:post-build] copying path '/nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7' to 'https://cache.nix-ci.com'...
1694.07 s
[algebraic-graphs:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1694.15 s
[algebraic-graphs:post-build] copying 0 paths...
1694.17 s
Progress: 22 of 27 built (1 building), 341 of 341 downloaded from cache
1694.22 s
Building /nix/store/3ik1jpbmsnyv5kdcr4w2ajwvybsflc6w-ghc-9.6.7-with-packages.drv
1694.22 s
[haskell-language-server] Preprocessing library 'hls-stan-plugin' for haskell-language-server-2.12.0.0..
1694.22 s
[haskell-language-server] Building library 'hls-stan-plugin' for haskell-language-server-2.12.0.0..
1694.22 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.Stan ( plugins/hls-stan-plugin/src/Ide/Plugin/Stan.hs, dist/build/hls-stan-plugin/Ide/Plugin/Stan.o, dist/build/hls-stan-plugin/Ide/Plugin/Stan.dyn_o )
1694.22 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.Stan ( plugins/hls-stan-plugin/src/Ide/Plugin/Stan.hs, dist/build/hls-stan-plugin/Ide/Plugin/Stan.p_o )
1694.28 s
[ghc-9.6.7-with-packages] /nix/store/m3h55v6hp7pfchbn3d61214yzlr937a9-doctest-0.24.2/nix-support:
1694.28 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.28 s
[ghc-9.6.7-with-packages] /nix/store/ws4bxm02xf3qm4nhj7wqa0pmnyap2ly6-ghc-compat-plugin-0.1.0.1/nix-support:
1694.28 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.29 s
[ghc-9.6.7-with-packages] /nix/store/dy7plzxvi4bj3cj8g64wf3k5vaj5c70a-hedgehog-1.5/nix-support:
1694.29 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.31 s
[ghc-9.6.7-with-packages] /nix/store/ail5c1d42qk0dz8qgk574rnarpqblk5z-Cabal-3.12.1.0/nix-support:
1694.31 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.33 s
[ghc-9.6.7-with-packages] /nix/store/wi8abvw0fnprp2b9wkz929vvkxaglh9l-cabal-doctest-1.0.12/nix-support:
1694.33 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.34 s
[ghc-9.6.7-with-packages] /nix/store/1cnj5acqwjghacz5lcl0df0g61b7b2g1-temporary-1.3/nix-support:
1694.34 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.34 s
[ghc-9.6.7-with-packages] /nix/store/1cnj5acqwjghacz5lcl0df0g61b7b2g1-temporary-1.3/nix-support:
1694.34 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.34 s
[ghc-9.6.7-with-packages] /nix/store/fcbs80997frlprcgnfz1pgqzwx17bdfj-ansi-terminal-1.1.3/nix-support:
1694.34 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.35 s
[ghc-9.6.7-with-packages] /nix/store/fcbs80997frlprcgnfz1pgqzwx17bdfj-ansi-terminal-1.1.3/nix-support:
1694.35 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.35 s
[ghc-9.6.7-with-packages] /nix/store/jjabyw5gl9cvdkdwfmgvllmj76cd5xx2-async-2.2.5/nix-support:
1694.35 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.35 s
[ghc-9.6.7-with-packages] /nix/store/jjabyw5gl9cvdkdwfmgvllmj76cd5xx2-async-2.2.5/nix-support:
1694.35 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.35 s
[ghc-9.6.7-with-packages] /nix/store/1rnj3abisldb1ysvfg7jx4xq63kvnh9f-barbies-2.1.1.0/nix-support:
1694.35 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.36 s
[ghc-9.6.7-with-packages] /nix/store/1rnj3abisldb1ysvfg7jx4xq63kvnh9f-barbies-2.1.1.0/nix-support:
1694.36 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.36 s
[ghc-9.6.7-with-packages] /nix/store/ygwfbz0mwnsj9r4vy9zhqnhn5baqlwz7-concurrent-output-1.10.21/nix-support:
1694.36 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.36 s
[ghc-9.6.7-with-packages] /nix/store/ygwfbz0mwnsj9r4vy9zhqnhn5baqlwz7-concurrent-output-1.10.21/nix-support:
1694.36 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.36 s
[ghc-9.6.7-with-packages] /nix/store/76z6kzz2xf8gljhm76swxb542xp0lqkz-lifted-async-0.10.2.7/nix-support:
1694.36 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.37 s
[ghc-9.6.7-with-packages] /nix/store/76z6kzz2xf8gljhm76swxb542xp0lqkz-lifted-async-0.10.2.7/nix-support:
1694.37 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.37 s
[ghc-9.6.7-with-packages] /nix/store/iasz4h3zl5q9kgrf288g9fak6g03s54x-mmorph-1.2.1/nix-support:
1694.37 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.37 s
[ghc-9.6.7-with-packages] /nix/store/iasz4h3zl5q9kgrf288g9fak6g03s54x-mmorph-1.2.1/nix-support:
1694.37 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.37 s
[ghc-9.6.7-with-packages] /nix/store/9h348vl6yhan64ibbcabyjx2fmxs7d3b-monad-control-1.0.3.1/nix-support:
1694.37 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.37 s
[ghc-9.6.7-with-packages] /nix/store/9h348vl6yhan64ibbcabyjx2fmxs7d3b-monad-control-1.0.3.1/nix-support:
1694.37 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.37 s
[ghc-9.6.7-with-packages] /nix/store/wdxmylyqc8p4j414kk3ymndp5i2yqjm3-pretty-show-1.10/nix-support:
1694.37 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.37 s
[ghc-9.6.7-with-packages] /nix/store/wdxmylyqc8p4j414kk3ymndp5i2yqjm3-pretty-show-1.10/nix-support:
1694.37 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.38 s
[ghc-9.6.7-with-packages] /nix/store/k1gharvwzs4drk9axklr4dcizqkqnia7-primitive-0.9.1.0/nix-support:
1694.38 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.38 s
[ghc-9.6.7-with-packages] /nix/store/k1gharvwzs4drk9axklr4dcizqkqnia7-primitive-0.9.1.0/nix-support:
1694.38 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.38 s
[ghc-9.6.7-with-packages] /nix/store/nnj36snlh7c273pijflsjp18z8z6bv71-random-1.2.1.3/nix-support:
1694.38 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.38 s
[ghc-9.6.7-with-packages] /nix/store/nnj36snlh7c273pijflsjp18z8z6bv71-random-1.2.1.3/nix-support:
1694.38 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.38 s
[ghc-9.6.7-with-packages] /nix/store/hgb60y6pgscn0xg3sa2j4llfykqikdcb-resourcet-1.3.0/nix-support:
1694.38 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.39 s
[ghc-9.6.7-with-packages] /nix/store/hgb60y6pgscn0xg3sa2j4llfykqikdcb-resourcet-1.3.0/nix-support:
1694.39 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.39 s
[ghc-9.6.7-with-packages] /nix/store/gni425lh8g2a5k2iy04gza6hxwivikyp-safe-exceptions-0.1.7.4/nix-support:
1694.39 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.39 s
[ghc-9.6.7-with-packages] /nix/store/gni425lh8g2a5k2iy04gza6hxwivikyp-safe-exceptions-0.1.7.4/nix-support:
1694.39 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.39 s
[ghc-9.6.7-with-packages] /nix/store/iq5g0dfwam9zz3v08lgvcvvvgwhsbv0x-transformers-base-0.4.6/nix-support:
1694.39 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.39 s
[ghc-9.6.7-with-packages] /nix/store/iq5g0dfwam9zz3v08lgvcvvvgwhsbv0x-transformers-base-0.4.6/nix-support:
1694.39 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.39 s
[ghc-9.6.7-with-packages] /nix/store/w5r1n1grfq99nsaqjfsi3qspcxikk9hl-wl-pprint-annotated-0.1.0.1/nix-support:
1694.39 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.39 s
[ghc-9.6.7-with-packages] /nix/store/w5r1n1grfq99nsaqjfsi3qspcxikk9hl-wl-pprint-annotated-0.1.0.1/nix-support:
1694.39 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.41 s
[ghc-9.6.7-with-packages] /nix/store/30s9998mayqzpcc78fxddml3f031dznc-Cabal-syntax-3.12.1.0/nix-support:
1694.41 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.42 s
[ghc-9.6.7-with-packages] /nix/store/30s9998mayqzpcc78fxddml3f031dznc-Cabal-syntax-3.12.1.0/nix-support:
1694.42 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.42 s
[ghc-9.6.7-with-packages] /nix/store/i1773scyxkqyblf6vpzp8rwlnivkfggx-ansi-terminal-types-1.1.3/nix-support:
1694.42 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.42 s
[ghc-9.6.7-with-packages] /nix/store/i1773scyxkqyblf6vpzp8rwlnivkfggx-ansi-terminal-types-1.1.3/nix-support:
1694.42 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.43 s
[ghc-9.6.7-with-packages] /nix/store/6pimarw92xx2gdc004l52j33pgfnk5q3-hashable-1.5.0.0/nix-support:
1694.43 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.43 s
[ghc-9.6.7-with-packages] /nix/store/6pimarw92xx2gdc004l52j33pgfnk5q3-hashable-1.5.0.0/nix-support:
1694.43 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.43 s
[ghc-9.6.7-with-packages] /nix/store/r45rn7pmhwhm2a2arlc59m6q0ayf3x7k-distributive-0.6.2.1/nix-support:
1694.43 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.44 s
[ghc-9.6.7-with-packages] /nix/store/r45rn7pmhwhm2a2arlc59m6q0ayf3x7k-distributive-0.6.2.1/nix-support:
1694.44 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.44 s
[ghc-9.6.7-with-packages] /nix/store/g35hdx8r4gl48g5p5a7716hzmiacl823-constraints-0.14.2/nix-support:
1694.44 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.44 s
[ghc-9.6.7-with-packages] /nix/store/g35hdx8r4gl48g5p5a7716hzmiacl823-constraints-0.14.2/nix-support:
1694.44 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.44 s
[ghc-9.6.7-with-packages] /nix/store/0yc01qnfkqq6ncifsd27ap4dvplafl0w-lifted-base-0.2.3.12/nix-support:
1694.44 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.45 s
[ghc-9.6.7-with-packages] /nix/store/0yc01qnfkqq6ncifsd27ap4dvplafl0w-lifted-base-0.2.3.12/nix-support:
1694.45 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.45 s
[ghc-9.6.7-with-packages] /nix/store/x61ml6alhwgm163idq8ykgn021gn0lf6-transformers-compat-0.7.2/nix-support:
1694.45 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.45 s
[ghc-9.6.7-with-packages] /nix/store/x61ml6alhwgm163idq8ykgn021gn0lf6-transformers-compat-0.7.2/nix-support:
1694.45 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.46 s
[ghc-9.6.7-with-packages] /nix/store/zyhsf74vsbisnk8nxg7immascxvrgzrx-splitmix-0.1.3.1/nix-support:
1694.46 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.46 s
[ghc-9.6.7-with-packages] /nix/store/zyhsf74vsbisnk8nxg7immascxvrgzrx-splitmix-0.1.3.1/nix-support:
1694.46 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.46 s
[ghc-9.6.7-with-packages] /nix/store/qq625vh42zngn5an1w1fipnj2h9yfxb6-unliftio-core-0.2.1.0/nix-support:
1694.46 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.46 s
[ghc-9.6.7-with-packages] /nix/store/qq625vh42zngn5an1w1fipnj2h9yfxb6-unliftio-core-0.2.1.0/nix-support:
1694.46 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.46 s
[ghc-9.6.7-with-packages] /nix/store/hf7mjbw39mc2s31v9s0gvq0irxrj3ljz-base-orphans-0.9.3/nix-support:
1694.46 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.46 s
[ghc-9.6.7-with-packages] /nix/store/hf7mjbw39mc2s31v9s0gvq0irxrj3ljz-base-orphans-0.9.3/nix-support:
1694.46 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.47 s
[ghc-9.6.7-with-packages] /nix/store/8qkh2vgcsvil9pkzial83q66cc6csf0h-os-string-2.0.8/nix-support:
1694.47 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.47 s
[ghc-9.6.7-with-packages] /nix/store/8qkh2vgcsvil9pkzial83q66cc6csf0h-os-string-2.0.8/nix-support:
1694.47 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.47 s
[ghc-9.6.7-with-packages] /nix/store/74c3l72p3ahsbcdqzxpmicwp8cyhqj1d-tagged-0.8.9/nix-support:
1694.47 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.47 s
[ghc-9.6.7-with-packages] /nix/store/74c3l72p3ahsbcdqzxpmicwp8cyhqj1d-tagged-0.8.9/nix-support:
1694.47 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.47 s
[ghc-9.6.7-with-packages] /nix/store/fam1g9nds2cbk2b6xp4jv742dm7kkjkp-boring-0.2.2/nix-support:
1694.47 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1694.47 s
[ghc-9.6.7-with-packages] /nix/store/fam1g9nds2cbk2b6xp4jv742dm7kkjkp-boring-0.2.2/nix-support:
1694.47 s
[ghc-9.6.7-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/jnbci5ady6nnlicbwxrr3qdv18gip9p1-algebraic-graphs-0.7/nix-support/propagated-build-inputs
1695.16 s
[ghc-9.6.7-with-packages] Warning: include-dirs: /nix/store/10ypxbv07jfvlkjykxidyjjpakbcwdc6-ghc-9.6.7-with-packages/lib/ghc-9.6.7/lib/../lib/x86_64-linux-ghc-9.6.7/directory-1.3.8.5/include doesn't exist or isn't a directory
1696.36 s
[ghc-9.6.7-with-packages:post-build] Uploading to cachix cache "sellout": /nix/store/10ypxbv07jfvlkjykxidyjjpakbcwdc6-ghc-9.6.7-with-packages
1696.75 s
[ghc-9.6.7-with-packages:post-build] Pushing 1 paths (154 are already present) using zstd to cache sellout ⏳
1696.75 s
[ghc-9.6.7-with-packages:post-build]
1697.13 s
[ghc-9.6.7-with-packages:post-build] Pushing /nix/store/10ypxbv07jfvlkjykxidyjjpakbcwdc6-ghc-9.6.7-with-packages (4.85 MiB)
1698.57 s
[ghc-9.6.7-with-packages:post-build]
1698.57 s
[ghc-9.6.7-with-packages:post-build] All done.
1698.59 s
[ghc-9.6.7-with-packages:post-build] Uploading to the NixCI cache: /nix/store/10ypxbv07jfvlkjykxidyjjpakbcwdc6-ghc-9.6.7-with-packages
1698.63 s
[ghc-9.6.7-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1698.78 s
[ghc-9.6.7-with-packages:post-build] copying 1 paths...
1698.78 s
[ghc-9.6.7-with-packages:post-build] copying path '/nix/store/10ypxbv07jfvlkjykxidyjjpakbcwdc6-ghc-9.6.7-with-packages' to 'https://cache.nix-ci.com'...
1699.80 s
[ghc-9.6.7-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1699.98 s
[ghc-9.6.7-with-packages:post-build] copying 1 paths...
1699.98 s
[ghc-9.6.7-with-packages:post-build] copying path '/nix/store/3ik1jpbmsnyv5kdcr4w2ajwvybsflc6w-ghc-9.6.7-with-packages.drv' to 'https://cache.nix-ci.com'...
1700.15 s
Progress: 23 of 26 built (1 building), 341 of 341 downloaded from cache
1700.15 s
[haskell-language-server] Preprocessing library 'hls-explicit-imports-plugin' for haskell-language-server-2.12.0.0..
1700.15 s
[haskell-language-server] Building library 'hls-explicit-imports-plugin' for haskell-language-server-2.12.0.0..
1700.15 s
[haskell-language-server]
1700.15 s
[haskell-language-server] <no location info>: warning : [ GHC-42258 ] [ -Wunused-packages ]
1700.15 s
[haskell-language-server] The following packages were specified via -package or -package-id flags,
1700.15 s
[haskell-language-server] but were not needed for compilation:
1700.15 s
[haskell-language-server] - ghc-9.6.7 (exposed by flag -package-id ghc-9.6.7)
1700.15 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.ExplicitImports ( plugins/hls-explicit-imports-plugin/src/Ide/Plugin/ExplicitImports.hs, dist/build/hls-explicit-imports-plugin/Ide/Plugin/ExplicitImports.o, dist/build/hls-explicit-imports-plugin/Ide/Plugin/ExplicitImports.dyn_o )
1703.10 s
[haskell-language-server]
1703.10 s
[haskell-language-server] <no location info>: warning : [ GHC-42258 ] [ -Wunused-packages ]
1703.10 s
[haskell-language-server] The following packages were specified via -package or -package-id flags,
1703.10 s
[haskell-language-server] but were not needed for compilation:
1703.10 s
[haskell-language-server] - ghc-9.6.7 (exposed by flag -package-id ghc-9.6.7)
1703.11 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.ExplicitImports ( plugins/hls-explicit-imports-plugin/src/Ide/Plugin/ExplicitImports.hs, dist/build/hls-explicit-imports-plugin/Ide/Plugin/ExplicitImports.p_o )
1713.78 s
[haskell-language-server] Preprocessing library 'hls-fourmolu-plugin' for haskell-language-server-2.12.0.0..
1713.78 s
[haskell-language-server] Building library 'hls-fourmolu-plugin' for haskell-language-server-2.12.0.0..
1713.88 s
[haskell-language-server]
1713.88 s
[haskell-language-server] <no location info>: warning : [ GHC-42258 ] [ -Wunused-packages ]
1713.88 s
[haskell-language-server] The following packages were specified via -package or -package-id flags,
1713.88 s
[haskell-language-server] but were not needed for compilation:
1713.88 s
[haskell-language-server] - yaml-0.11.11.2 (exposed by flag -package-id yaml-0.11.11.2-Klyw2bZtzsLLiJpYse4XVy)
1713.90 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 )
1719.11 s
[haskell-language-server]
1719.11 s
[haskell-language-server] <no location info>: warning : [ GHC-42258 ] [ -Wunused-packages ]
1719.13 s
[haskell-language-server] The following packages were specified via -package or -package-id flags,
1719.13 s
[haskell-language-server] but were not needed for compilation:
1719.13 s
[haskell-language-server] - yaml-0.11.11.2 (exposed by flag -package-id yaml-0.11.11.2-Klyw2bZtzsLLiJpYse4XVy)
1719.13 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 )
1728.99 s
[haskell-language-server] Preprocessing library 'hls-explicit-fixity-plugin' for haskell-language-server-2.12.0.0..
1729.00 s
[haskell-language-server] Building library 'hls-explicit-fixity-plugin' for haskell-language-server-2.12.0.0..
1729.12 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.ExplicitFixity ( plugins/hls-explicit-fixity-plugin/src/Ide/Plugin/ExplicitFixity.hs, dist/build/hls-explicit-fixity-plugin/Ide/Plugin/ExplicitFixity.o, dist/build/hls-explicit-fixity-plugin/Ide/Plugin/ExplicitFixity.dyn_o )
1731.10 s
[haskell-language-server] [1 of 1] Compiling Ide.Plugin.ExplicitFixity ( plugins/hls-explicit-fixity-plugin/src/Ide/Plugin/ExplicitFixity.hs, dist/build/hls-explicit-fixity-plugin/Ide/Plugin/ExplicitFixity.p_o )
1737.53 s
[haskell-language-server] Preprocessing executable 'ghcide-bench' for haskell-language-server-2.12.0.0..
1737.53 s
[haskell-language-server] Building executable 'ghcide-bench' for haskell-language-server-2.12.0.0..
1737.66 s
[haskell-language-server] [1 of 1] Compiling Main ( ghcide-bench/exe/Main.hs, dist/build/ghcide-bench/ghcide-bench-tmp/Main.dyn_o )
1738.09 s
[haskell-language-server] [2 of 2] Linking dist/build/ghcide-bench/ghcide-bench
1739.74 s
[haskell-language-server] Preprocessing library 'hls-module-name-plugin' for haskell-language-server-2.12.0.0..
1739.74 s
[haskell-language-server] Building library 'hls-module-name-plugin' for haskell-language-server-2.12.0.0..
1739.83 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 )
1741.42 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 )
1747.64 s
[haskell-language-server] Preprocessing library for haskell-language-server-2.12.0.0..
1747.64 s
[haskell-language-server] Building library for haskell-language-server-2.12.0.0..
1747.88 s
[haskell-language-server]
1747.88 s
[haskell-language-server] <no location info>: warning : [ GHC-42258 ] [ -Wunused-packages ]
1747.88 s
[haskell-language-server] The following packages were specified via -package or -package-id flags,
1747.88 s
[haskell-language-server] but were not needed for compilation:
1747.88 s
[haskell-language-server] - ghc-9.6.7 (exposed by flag -package-id ghc-9.6.7)
1747.89 s
[haskell-language-server] [1 of 5] Compiling HlsPlugins ( src/HlsPlugins.hs, dist/build/HlsPlugins.o, dist/build/HlsPlugins.dyn_o )
1749.16 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 )
1749.16 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 )
1750.74 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 )
1751.23 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 )
1752.12 s
[haskell-language-server]
1752.12 s
[haskell-language-server] <no location info>: warning : [ GHC-42258 ] [ -Wunused-packages ]
1752.12 s
[haskell-language-server] The following packages were specified via -package or -package-id flags,
1752.12 s
[haskell-language-server] but were not needed for compilation:
1752.12 s
[haskell-language-server] - ghc-9.6.7 (exposed by flag -package-id ghc-9.6.7)
1752.14 s
[haskell-language-server] [1 of 5] Compiling HlsPlugins ( src/HlsPlugins.hs, dist/build/HlsPlugins.p_o )
1753.33 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 )
1753.34 s
[haskell-language-server] [3 of 5] Compiling Ide.Version ( src/Ide/Version.hs, dist/build/Ide/Version.p_o )
1755.12 s
[haskell-language-server] [4 of 5] Compiling Ide.Arguments ( src/Ide/Arguments.hs, dist/build/Ide/Arguments.p_o )
1755.66 s
[haskell-language-server] [5 of 5] Compiling Ide.Main ( src/Ide/Main.hs, dist/build/Ide/Main.p_o )
1764.13 s
[haskell-language-server] Preprocessing executable 'haskell-language-server-wrapper' for haskell-language-server-2.12.0.0..
1764.15 s
[haskell-language-server] Building executable 'haskell-language-server-wrapper' for haskell-language-server-2.12.0.0..
1764.33 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 )
1765.38 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 )
1765.77 s
[haskell-language-server] [3 of 3] Linking dist/build/haskell-language-server-wrapper/haskell-language-server-wrapper
1767.97 s
[haskell-language-server] Preprocessing executable 'haskell-language-server' for haskell-language-server-2.12.0.0..
1767.97 s
[haskell-language-server] Building executable 'haskell-language-server' for haskell-language-server-2.12.0.0..
1768.10 s
[haskell-language-server] [1 of 1] Compiling Main ( exe/Main.hs, dist/build/haskell-language-server/haskell-language-server-tmp/Main.dyn_o )
1769.21 s
[haskell-language-server] [2 of 2] Linking dist/build/haskell-language-server/haskell-language-server
1771.39 s
[haskell-language-server] buildPhase completed in 10 minutes 38 seconds
1771.41 s
[haskell-language-server] Phase: haddockPhase
1771.41 s
[haskell-language-server] Phase: installPhase
1771.57 s
[haskell-language-server] Installing internal library hls-overloaded-record-dot-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-LmS0Oaq8JEiKIjz8eue5JQ-hls-overloaded-record-dot-plugin
1771.67 s
[haskell-language-server] Installing internal library hls-change-type-signature-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-Kj6oNR22I886LfKlaRm9AZ-hls-change-type-signature-plugin
1771.69 s
[haskell-language-server] Installing internal library hls-class-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-KJugDuYFyuNCZrpJBAEd2L-hls-class-plugin
1771.76 s
[haskell-language-server] Installing internal library hls-call-hierarchy-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-KCZeCKCF0CR1LxLF1Qyqx-hls-call-hierarchy-plugin
1771.82 s
[haskell-language-server] Installing executable ghcide-test-preprocessor in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1771.82 s
[haskell-language-server] Warning: The directory
1771.82 s
[haskell-language-server] /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1771.82 s
[haskell-language-server] is not in the system search path.
1771.82 s
[haskell-language-server] Installing internal library hls-code-range-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-IlQ6ooLqcb4JVvN71Nikdv-hls-code-range-plugin
1771.86 s
[haskell-language-server] Installing internal library hls-notes-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-HnjBmqziRtsFA50VY8PqMO-hls-notes-plugin
1771.89 s
[haskell-language-server] Installing internal library ghcide-bench-lib in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-Hd1xwC4Olq41Qon7oYPkbR-ghcide-bench-lib
1771.98 s
[haskell-language-server] Installing internal library hls-floskell-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-HM2OaruVxbdllAqBgbVTR-hls-floskell-plugin
1771.99 s
[haskell-language-server] Installing internal library hls-stylish-haskell-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-HHVpmZRXc4gCeddzhmNfSI-hls-stylish-haskell-plugin
1772.01 s
[haskell-language-server] Installing internal library hls-pragmas-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-Gaz5X4ZzCzi8VvaiD2gmYR-hls-pragmas-plugin
1772.05 s
[haskell-language-server] Installing internal library hls-semantic-tokens-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-EtM0vpUVofECj7cWpXAoB6-hls-semantic-tokens-plugin
1772.12 s
[haskell-language-server] Installing internal library hls-ormolu-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-DfDaMlvI8lE3DtJu9XSrI5-hls-ormolu-plugin
1772.14 s
[haskell-language-server] Installing internal library hls-explicit-record-fields-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-9NuvF5K83zjKEROrI0FsBg-hls-explicit-record-fields-plugin
1772.18 s
[haskell-language-server] Installing internal library hls-cabal-gild-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-9IYOuKHYLJSCX7b1AraPXk-hls-cabal-gild-plugin
1772.20 s
[haskell-language-server] Installing internal library hls-cabal-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-91A0RtgcyvRB8lnXxJg4SR-hls-cabal-plugin
1772.36 s
[haskell-language-server] Installing internal library hls-hlint-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-8EsIybRW7RJGEX8RNOax2i-hls-hlint-plugin
1772.41 s
[haskell-language-server] Installing internal library hls-refactor-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-7oCsBxMOBkzJR743HuvsXg-hls-refactor-plugin
1772.75 s
[haskell-language-server] Installing internal library hls-rename-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-H9PT6LMhSpFLT3aRk45KC-hls-rename-plugin
1772.78 s
[haskell-language-server] Installing internal library hls-splice-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-IjIvGk3YOOdDvnjSgwvDD5-hls-splice-plugin
1772.83 s
[haskell-language-server] Installing internal library hls-retrie-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-IueXAjwy7vDCQ9yZlE0eWC-hls-retrie-plugin
1772.93 s
[haskell-language-server] Installing internal library hls-gadt-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-Jekx7yfTfBvJqE6MXsE6qC-hls-gadt-plugin
1772.96 s
[haskell-language-server] Installing internal library hls-alternate-number-format-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-6m52MSfiYbsEI118ApNGYQ-hls-alternate-number-format-plugin
1773.00 s
[haskell-language-server] Installing internal library hls-qualify-imported-names-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-6i4cyuaZhiA26LXYUa3UA8-hls-qualify-imported-names-plugin
1773.03 s
[haskell-language-server] Installing internal library hls-cabal-fmt-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-5LbobgaiD5N8xyn4MWHKvG-hls-cabal-fmt-plugin
1773.05 s
[haskell-language-server] Installing internal library hls-eval-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-4tsQqxESdVp65ApN1sKhnG-hls-eval-plugin
1773.22 s
[haskell-language-server] Installing internal library hls-signature-help-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-4t4FMaGlV9pFITLwsWZhSl-hls-signature-help-plugin
1773.24 s
[haskell-language-server] Installing executable plugin-tutorial in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1773.24 s
[haskell-language-server] Warning: The directory
1773.24 s
[haskell-language-server] /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1773.24 s
[haskell-language-server] is not in the system search path.
1773.25 s
[haskell-language-server] Installing internal library hls-stan-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-3lKcuB6bhJZIoci0rRUAjC-hls-stan-plugin
1773.27 s
[haskell-language-server] Installing internal library hls-explicit-imports-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-2o2dcEbcAfpD8MpoQM4cQl-hls-explicit-imports-plugin
1773.32 s
[haskell-language-server] Installing internal library hls-fourmolu-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-29JOMnegjOO3WArLA0PeeE-hls-fourmolu-plugin
1773.35 s
[haskell-language-server] Installing internal library hls-explicit-fixity-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-21byJEHANtiCpGzHaEj9fb-hls-explicit-fixity-plugin
1773.37 s
[haskell-language-server] Installing executable ghcide-bench in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1773.37 s
[haskell-language-server] Warning: The directory
1773.37 s
[haskell-language-server] /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1773.37 s
[haskell-language-server] is not in the system search path.
1773.37 s
[haskell-language-server] Installing internal library hls-module-name-plugin in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-1Dqyh9wtUd3Bj75VBTa1tF-hls-module-name-plugin
1773.40 s
[haskell-language-server] Installing library in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/haskell-language-server-2.12.0.0-47HXa15Qd2U2UOYZkxf2fF
1773.45 s
[haskell-language-server] Installing executable haskell-language-server-wrapper in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1773.45 s
[haskell-language-server] Warning: The directory
1773.45 s
[haskell-language-server] /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1773.45 s
[haskell-language-server] is not in the system search path.
1773.45 s
[haskell-language-server] Installing executable haskell-language-server in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1773.45 s
[haskell-language-server] Warning: The directory
1773.45 s
[haskell-language-server] /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1773.45 s
[haskell-language-server] is not in the system search path.
1776.34 s
[haskell-language-server] Phase: fixupPhase
1776.35 s
[haskell-language-server] shrinking RPATHs of ELF executables and libraries in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0
1776.36 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-9NuvF5K83zjKEROrI0FsBg-hls-explicit-record-fields-plugin-ghc9.6.7.so
1776.56 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-47HXa15Qd2U2UOYZkxf2fF-ghc9.6.7.so
1776.73 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-DfDaMlvI8lE3DtJu9XSrI5-hls-ormolu-plugin-ghc9.6.7.so
1776.85 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-8EsIybRW7RJGEX8RNOax2i-hls-hlint-plugin-ghc9.6.7.so
1776.98 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-6m52MSfiYbsEI118ApNGYQ-hls-alternate-number-format-plugin-ghc9.6.7.so
1777.11 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-29JOMnegjOO3WArLA0PeeE-hls-fourmolu-plugin-ghc9.6.7.so
1777.25 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-IlQ6ooLqcb4JVvN71Nikdv-hls-code-range-plugin-ghc9.6.7.so
1777.37 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-1Dqyh9wtUd3Bj75VBTa1tF-hls-module-name-plugin-ghc9.6.7.so
1777.50 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-2o2dcEbcAfpD8MpoQM4cQl-hls-explicit-imports-plugin-ghc9.6.7.so
1777.64 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-KJugDuYFyuNCZrpJBAEd2L-hls-class-plugin-ghc9.6.7.so
1777.76 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-KCZeCKCF0CR1LxLF1Qyqx-hls-call-hierarchy-plugin-ghc9.6.7.so
1777.88 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-HM2OaruVxbdllAqBgbVTR-hls-floskell-plugin-ghc9.6.7.so
1778.01 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-4tsQqxESdVp65ApN1sKhnG-hls-eval-plugin-ghc9.6.7.so
1778.14 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-EtM0vpUVofECj7cWpXAoB6-hls-semantic-tokens-plugin-ghc9.6.7.so
1778.26 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-LmS0Oaq8JEiKIjz8eue5JQ-hls-overloaded-record-dot-plugin-ghc9.6.7.so
1778.38 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-21byJEHANtiCpGzHaEj9fb-hls-explicit-fixity-plugin-ghc9.6.7.so
1778.50 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-IueXAjwy7vDCQ9yZlE0eWC-hls-retrie-plugin-ghc9.6.7.so
1778.65 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-5LbobgaiD5N8xyn4MWHKvG-hls-cabal-fmt-plugin-ghc9.6.7.so
1778.78 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-3lKcuB6bhJZIoci0rRUAjC-hls-stan-plugin-ghc9.6.7.so
1778.92 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-Jekx7yfTfBvJqE6MXsE6qC-hls-gadt-plugin-ghc9.6.7.so
1779.06 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-7oCsBxMOBkzJR743HuvsXg-hls-refactor-plugin-ghc9.6.7.so
1779.19 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-Gaz5X4ZzCzi8VvaiD2gmYR-hls-pragmas-plugin-ghc9.6.7.so
1779.31 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-91A0RtgcyvRB8lnXxJg4SR-hls-cabal-plugin-ghc9.6.7.so
1779.44 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-HnjBmqziRtsFA50VY8PqMO-hls-notes-plugin-ghc9.6.7.so
1779.56 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-HHVpmZRXc4gCeddzhmNfSI-hls-stylish-haskell-plugin-ghc9.6.7.so
1779.68 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-H9PT6LMhSpFLT3aRk45KC-hls-rename-plugin-ghc9.6.7.so
1779.80 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-6i4cyuaZhiA26LXYUa3UA8-hls-qualify-imported-names-plugin-ghc9.6.7.so
1779.93 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-9IYOuKHYLJSCX7b1AraPXk-hls-cabal-gild-plugin-ghc9.6.7.so
1780.05 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-Hd1xwC4Olq41Qon7oYPkbR-ghcide-bench-lib-ghc9.6.7.so
1780.20 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-IjIvGk3YOOdDvnjSgwvDD5-hls-splice-plugin-ghc9.6.7.so
1780.32 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-Kj6oNR22I886LfKlaRm9AZ-hls-change-type-signature-plugin-ghc9.6.7.so
1780.44 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib/ghc-9.6.7/lib/x86_64-linux-ghc-9.6.7/libHShaskell-language-server-2.12.0.0-4t4FMaGlV9pFITLwsWZhSl-hls-signature-help-plugin-ghc9.6.7.so
1780.56 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin/ghcide-bench
1780.72 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin/.haskell-language-server-9.6.7-unwrapped
1780.89 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin/plugin-tutorial
1781.02 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin/ghcide-test-preprocessor
1781.03 s
[haskell-language-server] shrinking /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin/haskell-language-server-wrapper
1781.21 s
[haskell-language-server] checking for references to /build/ in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0...
1781.34 s
[haskell-language-server] patching script interpreter paths in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0
1781.36 s
[haskell-language-server] /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin/haskell-language-server: interpreter directive changed from "#!/bin/sh" to "/nix/store/3hgg7pr65imdrifqqh3flg3arvkc2r22-bash-5.3p3/bin/sh"
1781.37 s
[haskell-language-server] stripping (with command strip and flags -S -p) in /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/lib /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin
1782.22 s
[haskell-language-server] rewriting symlink /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0/bin/haskell-language-server-9.6.7 to be relative to /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0
1784.34 s
[haskell-language-server:post-build] Uploading to cachix cache "sellout": /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0
1784.85 s
[haskell-language-server:post-build] Pushing 1 paths (660 are already present) using zstd to cache sellout ⏳
1784.85 s
[haskell-language-server:post-build]
1785.20 s
[haskell-language-server:post-build] Pushing /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0 (123.63 MiB)
1787.98 s
[haskell-language-server:post-build]
1787.98 s
[haskell-language-server:post-build] All done.
1788.00 s
[haskell-language-server:post-build] Uploading to the NixCI cache: /nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0
1788.04 s
[haskell-language-server:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1788.10 s
[haskell-language-server:post-build] copying 1 paths...
1788.10 s
[haskell-language-server:post-build] copying path '/nix/store/p7zzsjhig1c3rs78325znzdvxip6rzfh-haskell-language-server-2.12.0.0' to 'https://cache.nix-ci.com'...
1810.67 s
[haskell-language-server:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1810.91 s
[haskell-language-server:post-build] copying 1 paths...
1810.91 s
[haskell-language-server:post-build] copying path '/nix/store/3ar7h9qlgjsynrjnc8x5py4d6f9jkh09-haskell-language-server-2.12.0.0.drv' to 'https://cache.nix-ci.com'...
1811.08 s
Progress: 24 of 26 built, 341 of 341 downloaded from cache
1811.18 s
Building /nix/store/qcsvgix30xcj8plxn109fy9rs352myv7-ghc-shell-for-packages-0.drv
1812.20 s
[ghc-shell-for-packages:post-build] Uploading to cachix cache "sellout": /nix/store/0s6512b93ihybzr11v7g4idbwv34myk9-ghc-shell-for-packages-0
1812.68 s
[ghc-shell-for-packages:post-build] Pushing 1 paths (878 are already present) using zstd to cache sellout ⏳
1812.68 s
[ghc-shell-for-packages:post-build]
1813.29 s
[ghc-shell-for-packages:post-build] Pushing /nix/store/0s6512b93ihybzr11v7g4idbwv34myk9-ghc-shell-for-packages-0 (336.00 B)
1814.13 s
[ghc-shell-for-packages:post-build]
1814.13 s
[ghc-shell-for-packages:post-build] All done.
1814.15 s
[ghc-shell-for-packages:post-build] Uploading to the NixCI cache: /nix/store/0s6512b93ihybzr11v7g4idbwv34myk9-ghc-shell-for-packages-0
1814.19 s
[ghc-shell-for-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1814.24 s
[ghc-shell-for-packages:post-build] copying 1 paths...
1814.24 s
[ghc-shell-for-packages:post-build] copying path '/nix/store/0s6512b93ihybzr11v7g4idbwv34myk9-ghc-shell-for-packages-0' to 'https://cache.nix-ci.com'...
1814.44 s
[ghc-shell-for-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
1814.78 s
[ghc-shell-for-packages:post-build] copying 1 paths...
1814.78 s
[ghc-shell-for-packages:post-build] copying path '/nix/store/qcsvgix30xcj8plxn109fy9rs352myv7-ghc-shell-for-packages-0.drv' to 'https://cache.nix-ci.com'...
1815.09 s
Progress: 25 of 26 built, 341 of 341 downloaded from cache
1815.10 s
Progress: 26 of 26 built, 341 of 341 downloaded from cache
1815.10 s
/nix/store/0s6512b93ihybzr11v7g4idbwv34myk9-ghc-shell-for-packages-0
1815.18 s
Build succeeded.