X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail066.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail066.stderr;h=0000000000000000000000000000000000000000;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=9d8a6a1d8c98cc5041339757de8b0a3ae49bc24f;hpb=29b46083beaa048af4b4a68e8f96909ac98a639f;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail066.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail066.stderr
deleted file mode 100644
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.