[project @ 1996-01-08 20:28:12 by partain]

[ghc-hetmet.git] / ghc / compiler / tests / deSugar / ds003.stderr

diff --git a/ghc/compiler/tests/deSugar/ds003.stderr b/ghc/compiler/tests/deSugar/ds003.stderr
new file mode 100644 (file)
index 0000000..da843e7
--- /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
+         }
+