ghc/tests/typecheck/should_compile/tc093.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 __export ShouldSucceed bindState foo unState unitState St State{State} TS{TS vs};
   3 instance {PrelBase.Eq TS} = _fEqTS;
   4 instance __forall [c] {PrelBase.Eq c} => {PrelBase.Monad (State c)} = _fMonadState;
   5 instance {PrelBase.Show TS} = _fShowTS;
   6 1 _fEqTS :: {PrelBase.Eq TS} ;
   7 1 _fMonadState :: __forall [c] {PrelBase.Eq c} => {PrelBase.Monad (State c)} ;
   8 1 _fShowTS :: {PrelBase.Show TS} ;
   9 1 bindState :: __forall [c a b] => State c a -> (a -> State c b) -> State c b ;
  10 1 data State c a = State (c -> (a, c)) ;
  11 1 data TS = TS {vs :: PrelBase.Int} ;
  12 1 foo :: PrelBase.Int -> St PrelBase.Int ;
  13 1 type St a = State TS a ;
  14 1 unState :: __forall [c a] => State c a -> c -> (a, c) ;
  15 1 unitState :: __forall [a c] => a -> State c a ;