ghc/compiler/tests/typecheck/should_succeed/tc012.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds [t{-an8-}] [] [([t{-an8-}], q{-r3e,x-}, q_an2)]
   8     q_an2
   9         =   \ y_r3d   ->  y_r3d
  10 {- nonrec -}
  11 ghc: module version changed to 1; reason: no old .hi file
  12 _interface_ ShouldSucceed 1
  13 _instance_modules_
  14 ArrBase IO PrelNum
  15 _exports_
  16 ShouldSucceed q;
  17 _declarations_
  18 1 q _:_ _forall_ [a] => a -> a ;;