ghc/tests/typecheck/should_compile/tc065.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed dfs isCyclic isRecursiveCycle lookupVertex mkDigraph mkEdges mkVertices stronglyConnComp topSort Cycle Digraph(MkDigraph) Edge FlattenedDependencyInfo MaybeErr(Succeeded Failed);
   4 _instances_
   5 instance _forall_ [a] => {PrelBase.Eval (Digraph a)} = $dEvalDigraph0;
   6 instance _forall_ [a b] => {PrelBase.Eval (MaybeErr a b)} = $dEvalMaybeErr0;
   7 _declarations_
   8 1 $dEvalDigraph0 _:_ _forall_ [a] => {PrelBase.Eval (Digraph a)} ;;
   9 1 $dEvalMaybeErr0 _:_ _forall_ [a b] => {PrelBase.Eval (MaybeErr a b)} ;;
  10 1 data Digraph vertex = MkDigraph [vertex] ;
  11 1 data MaybeErr a b = Succeeded a |  Failed b ;
  12 1 dfs _:_ _forall_ [a] {PrelBase.Eq a} => (a -> [a]) -> ([a], [a]) -> [a] -> ([a], [a]) ;;
  13 1 isCyclic _:_ _forall_ [a] {PrelBase.Eq a} => [Edge a] -> [a] -> PrelBase.Bool ;;
  14 1 isRecursiveCycle _:_ _forall_ [a] {PrelBase.Eq a} => Cycle a -> [Edge a] -> PrelBase.Bool ;;
  15 1 lookupVertex _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Ord b} => FlattenedDependencyInfo a b c -> a -> c ;;
  16 1 mkDigraph _:_ _forall_ [a] => [a] -> Digraph a ;;
  17 1 mkEdges _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Ord b} => [a] -> FlattenedDependencyInfo a b c -> [Edge a] ;;
  18 1 mkVertices _:_ _forall_ [a b c] => FlattenedDependencyInfo a b c -> [a] ;;
  19 1 stronglyConnComp _:_ _forall_ [a] {PrelBase.Eq a} => [Edge a] -> [a] -> [[a]] ;;
  20 1 topSort _:_ _forall_ [a] {PrelBase.Eq a} => [Edge a] -> [a] -> MaybeErr [a] [[a]] ;;
  21 1 type Cycle vertex = [vertex] ;
  22 1 type Edge vertex = (vertex, vertex) ;
  23 1 type FlattenedDependencyInfo vertex name code = [(vertex, Set.Set name, Set.Set name, code)] ;