ghc/tests/typecheck/should_compile/tc065.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _interface_ ShouldSucceed 1 302
   3 _instance_modules_
   4 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
   5 _usages_
   6 List 1 :: partition 1;
   7 PrelBase 1 :: $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalDouble0 1 $dEvalInt0 1 $dEvalOrdering0 1 $dFunctor0 1 $dMonad0 1 $dMonadPlus0 1 $dMonadZero0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdInt0 1 $dOrdOrdering0 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mmax 1 $mmin 1 otherwise 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadPlus 1 MonadZero 1 Ord 1 Ordering 1;
   8 PrelList 1 :: elem 1 head 1;
   9 PrelNum 1 :: $dEqDouble0 1 $dOrdDouble0 1;
  10 PrelTup 1 :: $dEq0 1 $dEq2 1 $dEval0 1 $dEval2 1 $dOrd0 1 $dOrd2 1 snd 1;
  11 Set 1 :: $dEqSet0 1 $dEvalSet0 1 elementOf 1 setToList 1 Set 1;
  12 _exports_
  13 ShouldSucceed dfs isCyclic isRecursiveCycle lookupVertex mkDigraph mkEdges mkVertices stronglyConnComp topSort Cycle Digraph(MkDigraph) Edge FlattenedDependencyInfo MaybeErr(Succeeded Failed);
  14 _instances_
  15 instance _forall_ [a] => {PrelBase.Eval (Digraph a)} = $dEvalDigraph0;
  16 instance _forall_ [a b] => {PrelBase.Eval (MaybeErr a b)} = $dEvalMaybeErr0;
  17 _declarations_
  18 1 $dEvalDigraph0 _:_ _forall_ [a] => {PrelBase.Eval (Digraph a)} ;;
  19 1 $dEvalMaybeErr0 _:_ _forall_ [a b] => {PrelBase.Eval (MaybeErr a b)} ;;
  20 1 data Digraph vertex = MkDigraph [vertex] ;
  21 1 data MaybeErr a b = Succeeded a |  Failed b ;
  22 1 dfs _:_ _forall_ [a] {PrelBase.Eq a} => (a -> [a]) -> ([a], [a]) -> [a] -> ([a], [a]) ;;
  23 1 isCyclic _:_ _forall_ [a] {PrelBase.Eq a} => [Edge a] -> [a] -> PrelBase.Bool ;;
  24 1 isRecursiveCycle _:_ _forall_ [a] {PrelBase.Eq a} => Cycle a -> [Edge a] -> PrelBase.Bool ;;
  25 1 lookupVertex _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Ord b} => FlattenedDependencyInfo a b c -> a -> c ;;
  26 1 mkDigraph _:_ _forall_ [a] => [a] -> Digraph a ;;
  27 1 mkEdges _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Ord b} => [a] -> FlattenedDependencyInfo a b c -> [Edge a] ;;
  28 1 mkVertices _:_ _forall_ [a b c] => FlattenedDependencyInfo a b c -> [a] ;;
  29 1 stronglyConnComp _:_ _forall_ [a] {PrelBase.Eq a} => [Edge a] -> [a] -> [[a]] ;;
  30 1 topSort _:_ _forall_ [a] {PrelBase.Eq a} => [Edge a] -> [a] -> MaybeErr [a] [[a]] ;;
  31 1 type Cycle vertex = [vertex] ;
  32 1 type Edge vertex = (vertex, vertex) ;
  33 1 type FlattenedDependencyInfo vertex name code = [(vertex, Set.Set name, Set.Set name, code)] ;