ghc/compiler/tests/typecheck/should_fail/tcfail066.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 `IMonadOk' =
   6     `_/\_ a{-r44-} -> \ tpl tpl ->
   7          IMonadOk
   8              {_@_ a{-r44-} tpl tpl}'
   9 `IMonadFail' =
  10     `_/\_ a{-r44-} -> \ tpl tpl ->
  11          IMonadFail
  12              {_@_ a{-r44-} tpl tpl}'
  13 AbsBinds [`a{-aKg-}'] [] [([`a{-aKg-}'], `$d1', `d.Eval')]
  14     `d.Eval' =
  15         ({-dict-} [] [])
  16 `d.Num' =
  17     `PrelBase.$d3'
  18 `+' =
  19     `PrelBase.+'
  20         `IMonadState'
  21         `d.Num'
  22 AbsBinds [] [] [([], `tickI', `tickI')]
  23     `tickI'
  24         `n'     =   `\ s0      ->  IMonadOk
  25                                        PrelBase.()
  26                                        s0 + n PrelBase.()'
  27 AbsBinds
  28 [`t{-aJ6-}', `a{-aIN-}', `a{-aIR-}']
  29 []
  30 [([`t{-aJ6-}', `a{-aIN-}', `a{-aIR-}'], `thenI', `thenI')]
  31     `thenI'
  32         `m' `k' =   `\ s0      ->  case m   s0 of
  33                                      (IMonadFail s1 msg)
  34                                              ->  IMonadFail
  35                                                      a{-aIN-}
  36                                                      s1 msg
  37                                      (IMonadOk s1 r1)
  38                                              ->  k   r1 s1'
  39 AbsBinds [`a{-aJg-}'] [] [([`a{-aJg-}'], `failI', `failI')]
  40     `failI'
  41         `msg'   =   `\ s0      ->  IMonadFail
  42                                        a{-aJg-}
  43                                        s0 msg'
  44 AbsBinds [`a{-aJn-}'] [] [([`a{-aJn-}'], `returnI', `returnI')]
  45     `returnI'
  46         `r'     =   `\ s0      ->  IMonadOk
  47                                        a{-aJn-}
  48                                        s0 r'
  49 AbsBinds
  50 [`t{-aJz-}', `t{-aJC-}']
  51 []
  52 [([`t{-aJz-}', `t{-aJC-}'], `mapI', `mapI')]
  53     `mapI'
  54         `f' `PrelBase.[]'
  55                 =   `returnI
  56                          [t{-aJz-}]
  57                          PrelBase.[]
  58                              t{-aJz-}'
  59     `mapI'
  60         `f' (`x' `PrelBase.:' `xs')
  61                 =   `thenI
  62                          [IMonadState, [t{-aJz-}], t{-aJz-}]
  63                          (f   x)
  64                          (\ fx      ->  thenI
  65                                             [IMonadState, [t{-aJz-}], [t{-aJz-}]]
  66                                             (mapI
  67                                                  f xs)
  68                                             (\ fxs     ->  returnI
  69                                                                [t{-aJz-}]
  70                                                                PrelBase.:
  71                                                                    t{-aJz-}
  72                                                                    fx fxs))'
  73
  74 NOTE: Simplifier still going after 4 iterations; bailing out.