X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds003.stderr;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds003.stderr;h=da843e7124f892501805e345755f19395024a74b;hb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;hp=0000000000000000000000000000000000000000;hpb=e48474bff05e6cfb506660420f025f694c870d38;p=ghc-hetmet.git

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