X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail041.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail041.stderr;h=c2e2b69fc2e8570e92099ed5852527b278d3539c;hb=349880a7ab565d31c0a0f91eb3776be63d9bfa84;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=1eefbbdd8b1a6ae1ed9098001573232f981fa0ea;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail041.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail041.stderr
index e69de29..c2e2b69 100644
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail041.stderr
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail041.stderr
@@ -0,0 +1,87 @@
+
+
+--================================================================================
+Typechecked:
+`d.Ord' =
+    `PrelBase.$d6'
+`<=' =
+    `PrelBase.<='
+	`PrelBase.Int'
+	`d.Ord'
+`d.Num' =
+    `PrelBase.$d3'
+`fromInt' =
+    `PrelBase.fromInt'
+	`PrelBase.Int'
+	`d.Num'
+`lit' =
+    `fromInt'
+	`PrelBase.I#'
+	    1#
+`d.Integral' =
+    `PrelNum.$d36'
+`div' =
+    `PrelNum.div'
+	`PrelBase.Int'
+	`d.Integral'
+`fromInt' =
+    `fromInt'
+`lit' =
+    `fromInt'
+	`PrelBase.I#'
+	    2#
+AbsBinds
+[`a{-a121-}']
+[]
+[([`a{-a121-}'], `init_last', `init_last')]
+    `init_last'
+	`a' `b' =   `(a, a)'
+AbsBinds
+[`a{-a12a-}']
+[`d.Ord']
+[([`a{-a12a-}'], `merge', `merge')]
+    `merge'
+	`xs' `ys'
+		=   `xs'
+AbsBinds [`a{-a12l-}'] [`d.Ord'] [([`a{-a12l-}'], `sort', `sort')]
+    `d.Ord' =
+	`d.Ord'
+    `sort'
+	`xs'    =   `s   xs
+			 PrelList.length
+			     a{-a12l-}
+			     xs'
+		where
+		    AbsBinds [`b{-a12s-}'] [`d.Ord'] [([`b{-a12s-}'], `s', `s')]
+			`d.Ord' =
+			    `d.Ord'
+			`merge' =
+			    `merge'
+				`b{-a12s-}'
+				`d.Ord'
+			`d.Ord' =
+			    `d.Ord'
+			`sort' =
+			    `sort'
+				`b{-a12s-}'
+				`d.Ord'
+			`sort' =
+			    `sort'
+			`s' `xs' `k'
+				    =   `if k <= lit then
+					     xs
+					 else
+					     merge
+						 sort
+						     ys
+						 sort
+						     zs'
+				    where
+					AbsBinds [] [] [([], `ys', `ys'), ([], `zs', `zs')]
+					    (`ys', `zs')
+						=   `init_last
+							 b{-a12s-}
+							 xs k div lit'
+		    `s' =
+			`s' `a{-a12l-}'
+			    `d.Ord'