ghc/compiler/tests/deSugar/ds008.stderr

   1 Desugared:
   2 Test.f :: for all d, e. d -> [e]
   3 Test.f = /\ o81 t82 -> \ x.102 -> Nil! t82
   4 Test.g :: for all d, e, f, g, h. d -> ([e], [f], [g], [h])
   5 Test.g =
   6     /\ o85 t87 t89 t90 t91 -> \ x.103 ->
   7         MkTuple4!
   8             [t87]
   9             [t89]
  10             [t90]
  11             [t91]
  12             (((Test.f [t88]) t87) (Nil! t88))
  13             (Nil! t89)
  14             (Nil! t90)
  15             (Nil! t91)
  16 Test.h :: for all d, e, f, g, h. d -> ([e], [f], [g], [h])
  17 Test.h =
  18     /\ o94 t96 t97 t98 t99 -> \ x.104 ->
  19         (((((Test.g Int) t96) t97) t98) t99)
  20             (let dict.105 = dfun.Num.Int in  MkInt! 1#)
  21