ghc/tests/typecheck/should_compile/tc093.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed bindState foo unState unitState St State(State) TS(TS vs);
   4 _instances_
   5 instance {PrelBase.Eq TS} = $dEqTS0;
   6 instance _forall_ [a b] => {PrelBase.Eval (State a b)} = $dEvalState0;
   7 instance {PrelBase.Eval TS} = $dEvalTS0;
   8 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Monad (State a)} = $dMonadState0;
   9 instance {PrelBase.Show TS} = $dShowTS0;
  10 _declarations_
  11 1 $dEqTS0 _:_ {PrelBase.Eq TS} ;;
  12 1 $dEvalState0 _:_ _forall_ [a b] => {PrelBase.Eval (State a b)} ;;
  13 1 $dEvalTS0 _:_ {PrelBase.Eval TS} ;;
  14 1 $dMonadState0 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Monad (State a)} ;;
  15 1 $dShowTS0 _:_ {PrelBase.Show TS} ;;
  16 1 bindState _:_ _forall_ [a b c] => State a b -> (b -> State a c) -> State a c ;;
  17 1 data State c a = State (c -> (a, c)) ;
  18 1 data TS = TS {vs :: PrelBase.Int} ;
  19 1 foo _:_ PrelBase.Int -> State TS PrelBase.Int ;;
  20 1 type St = State TS ;
  21 1 unState _:_ _forall_ [a b] => State a b -> a -> (b, a) ;;
  22 1 unitState _:_ _forall_ [a b] => a -> State b a ;;