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

diff --git a/ghc/compiler/tests/deSugar/ds005.stderr b/ghc/compiler/tests/deSugar/ds005.stderr
new file mode 100644
index 0000000..84c0664
--- /dev/null
+++ b/ghc/compiler/tests/deSugar/ds005.stderr
@@ -0,0 +1,65 @@
+Desugared:
+{- plain CoRec -}
+MapPairs.mappairs :: for all d, e, f. (d -> e -> f) -> [d] -> [e] -> [f]
+MapPairs.mappairs =
+    /\ t109 t112 t105 -> \ f.146 ds.147 ys.148 ->
+	let
+	  fail.149 =
+	      (error [t105])
+		  "\"ds005.hs\", line 10: pattern-matching failure [function binding]\n"S
+	in 
+	  case ds.147 of {
+	    Nil -> Nil! t105
+	    (:) x.150 xs.151 ->
+		case ys.148 of {
+		  Nil -> let f.152 = f.146 in  Nil! t105
+		  (:) y.153 ys.154 ->
+		      let xs.155 = xs.151 in
+		      let x.156 = x.150 in
+		      let f.157 = f.146
+		      in 
+			(: t105)
+			    (f.157 x.156 y.153)
+			    ((((MapPairs.mappairs t109) t112) t105)
+				 f.157 xs.155 ys.154)
+		}
+	  }
+{- end plain CoRec -}
+{- plain CoRec -}
+MapPairs.mappairs' :: for all d, e, f. (d -> e -> f) -> [d] -> [e] -> [f]
+MapPairs.mappairs' =
+    /\ t133 t136 t129 -> \ f.162 ds.163 ys.164 ->
+	let
+	  fail.165 =
+	      (error [t129])
+		  "\"ds005.hs\", line 15: pattern-matching failure [function binding]\n"S in
+	let
+	  fail.174 =
+	      let
+		fail.171 =
+		    case ds.163 of {
+		      (:) x.166 xs.167 ->
+			  case ys.164 of {
+			    (:) y.168 ys.169 ->
+				let f.170 = f.162
+				in 
+				  (: t129)
+				      (f.170 x.166 y.168)
+				      ((((MapPairs.mappairs' t133) t136) t129)
+					   f.170 xs.167 ys.169)
+			    _ ->  fail.165
+			  }
+		      _ ->  fail.165
+		    }
+	      in 
+		case ys.164 of {
+		  Nil -> let x.172 = ds.163 in let f.173 = f.162 in  Nil! t129
+		  _ ->  fail.171
+		}
+	in 
+	  case ds.163 of {
+	    Nil -> Nil! t129
+	    _ ->  fail.174
+	  }
+{- end plain CoRec -}
+