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

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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail066.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail066.stderr
deleted file mode 100644 (file)
index 9d8a6a1..0000000
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail066.stderr
+++ /dev/null
@@ -1,74 +0,0 @@
-
-
---================================================================================
-Typechecked:
-`IMonadOk' =
-    `_/\_ a{-r44-} -> \ tpl tpl ->
-        IMonadOk
-            {_@_ a{-r44-} tpl tpl}'
-`IMonadFail' =
-    `_/\_ a{-r44-} -> \ tpl tpl ->
-        IMonadFail
-            {_@_ a{-r44-} tpl tpl}'
-AbsBinds [`a{-aKg-}'] [] [([`a{-aKg-}'], `$d1', `d.Eval')]
-    `d.Eval' =
-       ({-dict-} [] [])
-`d.Num' =
-    `PrelBase.$d3'
-`+' =
-    `PrelBase.+'
-       `IMonadState'
-       `d.Num'
-AbsBinds [] [] [([], `tickI', `tickI')]
-    `tickI'
-       `n'     =   `\ s0      ->  IMonadOk
-                                      PrelBase.()
-                                      s0 + n PrelBase.()'
-AbsBinds
-[`t{-aJ6-}', `a{-aIN-}', `a{-aIR-}']
-[]
-[([`t{-aJ6-}', `a{-aIN-}', `a{-aIR-}'], `thenI', `thenI')]
-    `thenI'
-       `m' `k' =   `\ s0      ->  case m   s0 of
-                                    (IMonadFail s1 msg)
-                                            ->  IMonadFail
-                                                    a{-aIN-}
-                                                    s1 msg
-                                    (IMonadOk s1 r1)
-                                            ->  k   r1 s1'
-AbsBinds [`a{-aJg-}'] [] [([`a{-aJg-}'], `failI', `failI')]
-    `failI'
-       `msg'   =   `\ s0      ->  IMonadFail
-                                      a{-aJg-}
-                                      s0 msg'
-AbsBinds [`a{-aJn-}'] [] [([`a{-aJn-}'], `returnI', `returnI')]
-    `returnI'
-       `r'     =   `\ s0      ->  IMonadOk
-                                      a{-aJn-}
-                                      s0 r'
-AbsBinds
-[`t{-aJz-}', `t{-aJC-}']
-[]
-[([`t{-aJz-}', `t{-aJC-}'], `mapI', `mapI')]
-    `mapI'
-       `f' `PrelBase.[]'
-               =   `returnI
-                        [t{-aJz-}]
-                        PrelBase.[]
-                            t{-aJz-}'
-    `mapI'
-       `f' (`x' `PrelBase.:' `xs')
-               =   `thenI
-                        [IMonadState, [t{-aJz-}], t{-aJz-}]
-                        (f   x)
-                        (\ fx      ->  thenI
-                                           [IMonadState, [t{-aJz-}], [t{-aJz-}]]
-                                           (mapI
-                                                f xs)
-                                           (\ fxs     ->  returnI
-                                                              [t{-aJz-}]
-                                                              PrelBase.:
-                                                                  t{-aJz-}
-                                                                  fx fxs))'
-
-NOTE: Simplifier still going after 4 iterations; bailing out.