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

diff --git a/ghc/compiler/tests/deSugar/ds027.stderr b/ghc/compiler/tests/deSugar/ds027.stderr
new file mode 100644
index 0000000..0b5be11
--- /dev/null
+++ b/ghc/compiler/tests/deSugar/ds027.stderr
@@ -0,0 +1,44 @@
+Desugared:
+{- plain CoRec -}
+dfun.Eq.Test.Foo :: <Eq Test.Foo>
+dfun.Eq.Test.Foo =
+    let
+      ==.76 =
+	  \ ds.83 ds.84 ->
+	      let
+		fail.85 =
+		    (error Bool)
+			"\"ds027.hs\", line 8: pattern-matching failure [function binding]\n"S
+	      in 
+		case ds.83 of {
+		  Test.Bar ->
+		      case ds.84 of {
+			Test.Baz -> True
+			_ ->  fail.85
+		      }
+		  _ ->  fail.85
+		} in
+    let
+      /=.77 =
+	  \ ds.89 ds.90 ->
+	      let
+		fail.91 =
+		    (error Bool)
+			"\"ds027.hs\", line 9: pattern-matching failure [function binding]\n"S
+	      in 
+		case ds.89 of {
+		  Test.Bar ->
+		      case ds.90 of {
+			Test.Baz -> False
+			_ ->  fail.91
+		      }
+		  _ ->  fail.91
+		}
+    in 
+      MkTuple2!
+	  (Test.Foo -> Test.Foo -> Bool)
+	  (Test.Foo -> Test.Foo -> Bool)
+	  ==.76
+	  /=.77
+{- end plain CoRec -}
+