ghc/compiler/tests/stranal/test.stderr

   1
   2
   3 --================================================================================
   4 Simplified:
   5 `$d2'  ::
   6     `{PrelBase.Eval (LList t{-r3s-})}'
   7 `$d2' =
   8     _/\_ `t{-sUf-}' ->
   9         `PrelBase.void'
  10 `Nill'  ::
  11     `LList t{-r3s-}'
  12 `Nill' =
  13     _/\_ `t{-sUc-}' ->
  14         `Nill'
  15             {_@_ `t{-sUc-}'}
  16 `Conss'  ::
  17     `t{-r3s-} -> LList t{-r3s-} -> LList t{-r3s-}'
  18 `Conss' =
  19     _/\_ `t{-sUd-}' -> \ `tpl'  ::
  20                              `t{-sUd-}'
  21                          `tpl' `tpl'  ::
  22                                    `LList t{-sUd-}'
  23                                `tpl' ->
  24         `Conss'
  25             {_@_ `t{-sUd-}' `tpl' `tpl'}
  26 `TTrue'  ::
  27     `BBool'
  28 `TTrue' =
  29     `TTrue'
  30         {}
  31 `FFalse'  ::
  32     `BBool'
  33 `FFalse' =
  34     `FFalse'
  35         {}
  36 `f'  ::
  37     `LList t{-aGi-} -> BBool'
  38 `f' =
  39     _/\_ `t{-sUe-}' -> \ `ds'  ::
  40                              `LList t{-sUe-}'
  41                          `ds' ->
  42         case `ds' of {
  43           `Nill' ->
  44               `TTrue'
  45                   {};
  46           `Conss' `a' `as' ->
  47               `FFalse'
  48                   {};
  49         }
  50 `$d1'  ::
  51     `{PrelBase.Eval BBool}'
  52 `$d1' =
  53     `PrelBase.void'