ghc/tests/typecheck/should_compile/tc093.stderr

   1
   2 uniqAway: 1 tries
   3 ghc: module version changed to 1; reason: no old .hi file
   4 _exports_
   5 ShouldSucceed bindState foo unState unitState St State{State} TS{TS vs};
   6 _instances_
   7 instance {PrelBase.Eq TS} = $dEqTS0;
   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 $dMonadState0 _:_ _forall_ [$a] {PrelBase.Eq $a} => {PrelBase.Monad (State $a)} ;;
  13 1 $dShowTS0 _:_ {PrelBase.Show TS} ;;
  14 1 bindState _:_ _forall_ [$a $b $c] => State $a $b -> ($b -> State $a $c) -> State $a $c ;;
  15 1 data State $r4h $r4i = State ($r4h -> ($r4i, $r4h)) ;
  16 1 data TS = TS {vs :: PrelBase.Int} ;
  17 1 foo _:_ PrelBase.Int -> State TS PrelBase.Int ;;
  18 1 type St = State TS ;
  19 1 unState _:_ _forall_ [$a $b] => State $a $b -> $a -> ($b, $a) ;;
  20 1 unitState _:_ _forall_ [$a $b] => $a -> State $b $a ;;