[project @ 1997-07-31 00:05:10 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail041.stderr

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail041.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail041.stderr
deleted file mode 100644 (file)
index c2e2b69..0000000
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail041.stderr
+++ /dev/null
@@ -1,87 +0,0 @@
-
-
---================================================================================
-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'