diff options
Diffstat (limited to 'ghc/compiler/tests/deSugar/ds003.stderr')
-rw-r--r-- | ghc/compiler/tests/deSugar/ds003.stderr | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/ghc/compiler/tests/deSugar/ds003.stderr b/ghc/compiler/tests/deSugar/ds003.stderr new file mode 100644 index 0000000000..da843e7124 --- /dev/null +++ b/ghc/compiler/tests/deSugar/ds003.stderr @@ -0,0 +1,61 @@ +Desugared: +Test.f :: for all d, e, f, g. [d] -> (e, f) -> Bool -> [g] +Test.f = + /\ t106 o107 o108 t113 -> \ ds.122 y.123 ds.124 -> + let + fail.125 = + (error [t113]) + "\"ds003.hs\", line 8: pattern-matching failure [function binding]\n"S in + let + fail.149 = + let + fail.142 = + let + fail.128 = + case ds.124 of { + True -> + let y.126 = y.123 in + let x.127 = ds.122 in Nil! t113 + _ -> fail.125 + } + in + case ds.122 of { + (:) x.129 ds.130 -> + case ds.130 of { + (:) x1.131 ds.132 -> + case ds.132 of { + (:) x2.133 x3.134 -> + let z.135 = ds.124 in + let + y.138 = + case y.123 of { + MkTuple2 y.136 ys.137 -> y.136 + } in + let + ys.141 = + case y.123 of { + MkTuple2 y.139 ys.140 -> ys.140 + } + in Nil! t113 + _ -> fail.128 + } + _ -> fail.128 + } + _ -> fail.128 + } + in + case y.123 of { + MkTuple2 y.143 ys.144 -> + let z.146 = let z.145 = ds.124 in z.145 in + let a.147 = y.123 in let x.148 = ds.122 in Nil! t113 + } + in + case ds.122 of { + Nil -> + case ds.124 of { + True -> Nil! t113 + _ -> fail.149 + } + _ -> fail.149 + } + |