Testsuite: delete *.stderr-ghc-7.0 *.stdout-ghc-7.0
authorThomas Miedema <thomasmiedema@gmail.com>
Tue, 14 Jul 2015 11:57:29 +0000 (13:57 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Tue, 14 Jul 2015 12:11:25 +0000 (14:11 +0200)
No point in pretending the testsuite can be run with older versions of GHC.

17 files changed:
testsuite/driver/testlib.py
testsuite/tests/arrows/should_fail/T2111.stderr-ghc-7.0 [deleted file]
testsuite/tests/ghci.debugger/scripts/break024.stdout-ghc-7.0 [deleted file]
testsuite/tests/ghci/scripts/ghci025.stdout-ghc-7.0 [deleted file]
testsuite/tests/indexed-types/should_fail/T4174.stderr-ghc-7.0 [deleted file]
testsuite/tests/mdo/should_fail/mdofail001.stderr-ghc-7.0 [deleted file]
testsuite/tests/mdo/should_fail/mdofail002.stderr-ghc-7.0 [deleted file]
testsuite/tests/mdo/should_fail/mdofail003.stderr-ghc-7.0 [deleted file]
testsuite/tests/mdo/should_fail/mdofail004.stderr-ghc-7.0 [deleted file]
testsuite/tests/parser/should_fail/readFail045.stderr-ghc-7.0 [deleted file]
testsuite/tests/simplCore/should_compile/T3717.stderr-ghc-7.0 [deleted file]
testsuite/tests/simplCore/should_compile/T3772.stdout-ghc-7.0 [deleted file]
testsuite/tests/simplCore/should_compile/T4908.stderr-ghc-7.0 [deleted file]
testsuite/tests/simplCore/should_compile/spec-inline.stderr-ghc-7.0 [deleted file]
testsuite/tests/th/T2700.stderr-ghc-7.0 [deleted file]
testsuite/tests/typecheck/should_fail/tcfail016.stderr-ghc-7.0 [deleted file]
testsuite/tests/typecheck/should_fail/tcfail186.stderr-ghc-7.0 [deleted file]

index a7c1bed..4e419f4 100644 (file)
@@ -2104,7 +2104,7 @@ def qualify( name, suff ):
 
 # Finding the sample output.  The filename is of the form
 #
-#   <test>.stdout[-ghc-<version>][-ws-<wordsize>][-<platform>]
+#   <test>.stdout[-ws-<wordsize>][-<platform>]
 #
 # and we pick the most specific version available.  The <version> is
 # the major version of the compiler (e.g. 6.8.2 would be "6.8").  For
@@ -2114,12 +2114,11 @@ def platform_wordsize_qualify( name, suff ):
 
     basepath = qualify(name, suff)
 
-    paths = [(platformSpecific, basepath + ghcversion + ws + plat)
+    paths = [(platformSpecific, basepath + ws + plat)
              for (platformSpecific, plat) in [(1, '-' + config.platform),
                                               (1, '-' + config.os),
                                               (0, '')]
-             for ws   in ['-ws-' + config.wordsize, '']
-             for ghcversion in ['-ghc-' + config.compiler_maj_version, '']]
+             for ws in ['-ws-' + config.wordsize, '']]
 
     dir = glob.glob(basepath + '*')
     dir = [normalise_slashes_(d) for d in dir]
diff --git a/testsuite/tests/arrows/should_fail/T2111.stderr-ghc-7.0 b/testsuite/tests/arrows/should_fail/T2111.stderr-ghc-7.0
deleted file mode 100644 (file)
index 79eb1da..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-
-T2111.hs:6:23:
-    The arrow command
-      undefined -< x
-    was found where an expression was expected
-    In a stmt of a 'do' expression: x <- undefined -< x
-    In a stmt of a 'do' expression: rec {x <- undefined -< x}
-    In the expression:
-      do { rec {x <- undefined -< x};
-           undefined -< x }
diff --git a/testsuite/tests/ghci.debugger/scripts/break024.stdout-ghc-7.0 b/testsuite/tests/ghci.debugger/scripts/break024.stdout-ghc-7.0
deleted file mode 100644 (file)
index d2c3495..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-Left user error (error)
-Stopped at <exception thrown>
-_exception :: e = SomeException (GHC.Exception.D:Exception _
-                                                           (GHC.Show.D:Show ...) ....)
-                                (GHC.IO.Exception.IOError Nothing GHC.IO.Exception.UserError ....)
-_exception = SomeException (GHC.Exception.D:Exception _
-                                                      (GHC.Show.D:Show _ _ _) _ _)
-                           (GHC.IO.Exception.IOError Nothing GHC.IO.Exception.UserError []
-                                                     ['e','r','r','o','r'] Nothing Nothing)
-*** Exception: user error (error)
-Stopped at <exception thrown>
-_exception :: e = SomeException (GHC.Exception.D:Exception _
-                                                           (GHC.Show.D:Show ...) ....)
-                                (GHC.IO.Exception.IOError Nothing GHC.IO.Exception.UserError ....)
-_exception = SomeException (GHC.Exception.D:Exception _
-                                                      (GHC.Show.D:Show _ _ _) _ _)
-                           (GHC.IO.Exception.IOError Nothing GHC.IO.Exception.UserError []
-                                                     ['e','r','r','o','r'] Nothing Nothing)
-*** Exception: user error (error)
-Stopped at <exception thrown>
-_exception :: e = SomeException (GHC.Exception.D:Exception _
-                                                           (GHC.Show.D:Show ...) ....)
-                                (GHC.IO.Exception.IOError Nothing GHC.IO.Exception.UserError ....)
-_exception = SomeException (GHC.Exception.D:Exception _
-                                                      (GHC.Show.D:Show _ _ _) _ _)
-                           (GHC.IO.Exception.IOError Nothing GHC.IO.Exception.UserError []
-                                                     ['e','r','r','o','r'] Nothing Nothing)
-Left user error (error)
diff --git a/testsuite/tests/ghci/scripts/ghci025.stdout-ghc-7.0 b/testsuite/tests/ghci/scripts/ghci025.stdout-ghc-7.0
deleted file mode 100644 (file)
index d06660c..0000000
+++ /dev/null
@@ -1,111 +0,0 @@
--- test :browse! functionality
-:browse! *T
--- defined locally
-T.length :: T.Integer
-class N a
-class S a
-class C a b where
-  c1 :: N b => a -> b
-  c2 :: (N b, S b) => a -> b
-  c3 :: a1 -> b
-  c4 :: a1 -> b
-c1 :: (C a b, N b) => a -> b
-c2 :: (C a b, N b, S b) => a -> b
-c3 :: C a b => forall a1. a1 -> b
-c4 :: C a b => forall a1. a1 -> b
--- imported via Control.Monad
-class Monad m => MonadPlus m where
-  mzero :: m a
-  mplus :: m a -> m a -> m a
-mplus :: MonadPlus m => forall a. m a -> m a -> m a
-mzero :: MonadPlus m => forall a. m a
--- imported via Control.Monad, Prelude
-(>>) :: Monad m => forall a b. m a -> m b -> m b
-(>>=) :: Monad m => forall a b. m a -> (a -> m b) -> m b
-fail :: Monad m => forall a. GHC.Base.String -> m a
-return :: Monad m => forall a. a -> m a
--- imported via Control.Monad, Prelude, T
-class Monad m where
-  (>>=) :: m a -> (a -> m b) -> m b
-  (>>) :: m a -> m b -> m b
-  return :: a -> m a
-  fail :: GHC.Base.String -> m a
--- imported via Data.Maybe
-catMaybes :: [Maybe a] -> [a]
-fromJust :: Maybe a -> a
-fromMaybe :: a -> Maybe a -> a
-isJust :: Maybe a -> GHC.Bool.Bool
-isNothing :: Maybe a -> GHC.Bool.Bool
-listToMaybe :: [a] -> Maybe a
-mapMaybe :: (a -> Maybe b) -> [a] -> [b]
-maybe :: b -> (a -> b) -> Maybe a -> b
-maybeToList :: Maybe a -> [a]
--- imported via Data.Maybe, Prelude
-Just :: a -> Maybe a
-data Maybe a = Nothing | Just a
-Nothing :: Maybe a
--- imported via Prelude
-(+) :: GHC.Num.Num a => a -> a -> a
-(=<<) :: Monad m => (a -> m b) -> m a -> m b
-class Eq a where
-  (GHC.Classes.==) :: a -> a -> GHC.Bool.Bool
-  (GHC.Classes./=) :: a -> a -> GHC.Bool.Bool
--- imported via Prelude, T
-Prelude.length :: [a] -> GHC.Types.Int
--- imported via T
-data T.Integer
-  = integer-gmp:GHC.Integer.Type.S# GHC.Prim.Int#
-  | integer-gmp:GHC.Integer.Type.J# GHC.Prim.Int# GHC.Prim.ByteArray#
-T.length :: Data.ByteString.Internal.ByteString -> GHC.Types.Int
-:browse! T
--- defined locally
-T.length :: T.Integer
-class N a
-class S a
-class C a b where
-  c1 :: N b => a -> b
-  c2 :: (N b, S b) => a -> b
-  c3 :: a1 -> b
-  c4 :: a1 -> b
-c1 :: (C a b, N b) => a -> b
-c2 :: (C a b, N b, S b) => a -> b
-c3 :: C a b => forall a1. a1 -> b
-c4 :: C a b => forall a1. a1 -> b
-:browse! T -- with -fprint-explicit-foralls
--- defined locally
-T.length :: T.Integer
-class N a
-class S a
-class C a b where
-  c1 :: N b => a -> b
-  c2 :: (N b, S b) => a -> b
-  c3 :: forall a1. a1 -> b
-  c4 :: forall a1. a1 -> b
-c1 :: forall a b. (C a b, N b) => a -> b
-c2 :: forall a b. (C a b, N b, S b) => a -> b
-c3 :: forall a b. C a b => forall a1. a1 -> b
-c4 :: forall a b. C a b => forall a1. a1 -> b
--- test :browse! <target> relative to different contexts
-:browse! C -- from *C>
--- defined locally
-g :: forall a. Num a => a -> a
-h :: forall a. Integral a => a -> a
--- imported via D
-f :: forall a. Num a => a -> a
-:browse! C -- from *B>, after :add B
--- imported via C
-g :: forall a. Num a => a -> a
-h :: forall a. Integral a => a -> a
-f :: forall a. Num a => a -> a
-:browse! C -- from *C>, after :m *C
--- defined locally
-g :: forall a. Num a => a -> a
-h :: forall a. Integral a => a -> a
--- imported via D
-f :: forall a. Num a => a -> a
-:browse! C -- from *D>, after :m *D
--- not currently imported
-C.g :: forall a. Num a => a -> a
-C.h :: forall a. Integral a => a -> a
--- defined locally
-f :: forall a. Num a => a -> a
diff --git a/testsuite/tests/indexed-types/should_fail/T4174.stderr-ghc-7.0 b/testsuite/tests/indexed-types/should_fail/T4174.stderr-ghc-7.0
deleted file mode 100644 (file)
index 81fb603..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-
-T4174.hs:42:12:
-    Couldn't match type `False' with `True'
-    Expected type: True
-      Actual type: GHCVersion (WayOf m) :>=: GHC6'10 Minor1
-    In the expression: sync_large_objects
-    In an equation for `testcase': testcase = sync_large_objects
diff --git a/testsuite/tests/mdo/should_fail/mdofail001.stderr-ghc-7.0 b/testsuite/tests/mdo/should_fail/mdofail001.stderr-ghc-7.0
deleted file mode 100644 (file)
index 189c414..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-
-mdofail001.hs:10:36:
-    No instance for (Num Char)
-      arising from the literal `3'
-    Possible fix: add an instance declaration for (Num Char)
-    In the expression: 3
-    In the first argument of `l', namely `[1, 2, 3]'
-    In the expression: l [1, 2, 3]
diff --git a/testsuite/tests/mdo/should_fail/mdofail002.stderr-ghc-7.0 b/testsuite/tests/mdo/should_fail/mdofail002.stderr-ghc-7.0
deleted file mode 100644 (file)
index a1327c6..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-
-mdofail002.hs:10:9:
-    Conflicting definitions for `x'
-    Bound at: mdofail002.hs:10:9
-              mdofail002.hs:11:9
diff --git a/testsuite/tests/mdo/should_fail/mdofail003.stderr-ghc-7.0 b/testsuite/tests/mdo/should_fail/mdofail003.stderr-ghc-7.0
deleted file mode 100644 (file)
index e093fe0..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-
-mdofail003.hs:10:9:
-    Conflicting definitions for `x'
-    Bound at: mdofail003.hs:10:9
-              mdofail003.hs:11:13
diff --git a/testsuite/tests/mdo/should_fail/mdofail004.stderr-ghc-7.0 b/testsuite/tests/mdo/should_fail/mdofail004.stderr-ghc-7.0
deleted file mode 100644 (file)
index 63c0cae..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-
-mdofail004.hs:17:5:
-    No instance for (MonadFix X)
-      arising from a do statement
-    Possible fix: add an instance declaration for (MonadFix X)
-    In the expression: mdo { return [1, 2, ....] }
-    In an equation for `z': z = mdo { return [1, ....] }
diff --git a/testsuite/tests/parser/should_fail/readFail045.stderr-ghc-7.0 b/testsuite/tests/parser/should_fail/readFail045.stderr-ghc-7.0
deleted file mode 100644 (file)
index 3c25e23..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-
-readFail045.hs:6:21: parse error on input `.+'
diff --git a/testsuite/tests/simplCore/should_compile/T3717.stderr-ghc-7.0 b/testsuite/tests/simplCore/should_compile/T3717.stderr-ghc-7.0
deleted file mode 100644 (file)
index c7db559..0000000
+++ /dev/null
@@ -1,47 +0,0 @@
-
-==================== Tidy Core ====================
-lvl :: GHC.Integer.Type.Integer
-[GblId, Caf=NoCafRefs, Str=DmdType]
-lvl = GHC.Integer.Type.S# 1
-
-lvl1 :: GHC.Integer.Type.Integer
-[GblId, Caf=NoCafRefs, Str=DmdType]
-lvl1 = GHC.Integer.Type.S# 2
-
-Rec {
-T3717.$wfoo [Occ=LoopBreaker] :: GHC.Prim.Int# -> GHC.Prim.Int#
-[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType L]
-T3717.$wfoo =
-  \ (ww :: GHC.Prim.Int#) ->
-    case ww of ds {
-      __DEFAULT ->
-        case case GHC.Prim.<# ds 5 of _ {
-               GHC.Bool.False -> lvl1; GHC.Bool.True -> lvl
-             }
-        of _ { __DEFAULT ->
-        T3717.$wfoo (GHC.Prim.-# ds 1)
-        };
-      0 -> 0
-    }
-end Rec }
-
-T3717.foo [InlPrag=INLINE[0]] :: GHC.Types.Int -> GHC.Types.Int
-[GblId,
- Arity=1,
- Caf=NoCafRefs,
- Str=DmdType U(L)m,
- Unf=Unf{Src=Worker=T3717.$wfoo, TopLvl=True, Arity=1, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int) ->
-                 case w of _ { GHC.Types.I# ww [Occ=Once] ->
-                 case T3717.$wfoo ww of ww1 { __DEFAULT -> GHC.Types.I# ww1 }
-                 }}]
-T3717.foo =
-  \ (w :: GHC.Types.Int) ->
-    case w of _ { GHC.Types.I# ww ->
-    case T3717.$wfoo ww of ww1 { __DEFAULT -> GHC.Types.I# ww1 }
-    }
-
-
-
diff --git a/testsuite/tests/simplCore/should_compile/T3772.stdout-ghc-7.0 b/testsuite/tests/simplCore/should_compile/T3772.stdout-ghc-7.0
deleted file mode 100644 (file)
index c226e09..0000000
+++ /dev/null
@@ -1,25 +0,0 @@
-
-==================== Tidy Core ====================
-Rec {
-xs :: GHC.Prim.Int# -> ()
-[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType L]
-xs =
-  \ (m :: GHC.Prim.Int#) ->
-    case GHC.Prim.<=# m 1 of _ {
-      GHC.Bool.False -> xs (GHC.Prim.-# m 1);
-      GHC.Bool.True -> GHC.Unit.()
-    }
-end Rec }
-
-T3772.foo [InlPrag=NOINLINE] :: GHC.Types.Int -> ()
-[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType U(L)]
-T3772.foo =
-  \ (n :: GHC.Types.Int) ->
-    case n of _ { GHC.Types.I# n# ->
-    case GHC.Prim.<=# n# 0 of _ {
-      GHC.Bool.False -> xs n#; GHC.Bool.True -> GHC.Unit.()
-    }
-    }
-
-
-
diff --git a/testsuite/tests/simplCore/should_compile/T4908.stderr-ghc-7.0 b/testsuite/tests/simplCore/should_compile/T4908.stderr-ghc-7.0
deleted file mode 100644 (file)
index 44e6915..0000000
+++ /dev/null
@@ -1,77 +0,0 @@
-
-==================== Tidy Core ====================
-Rec {
-T4908.f_$s$wf [Occ=LoopBreaker]
-  :: GHC.Types.Int
-     -> GHC.Prim.Int#
-     -> GHC.Prim.Int#
-     -> GHC.Bool.Bool
-[GblId, Arity=3, Caf=NoCafRefs, Str=DmdType LLL]
-T4908.f_$s$wf =
-  \ (sc :: GHC.Types.Int)
-    (sc1 :: GHC.Prim.Int#)
-    (sc2 :: GHC.Prim.Int#) ->
-    case sc2 of ds {
-      __DEFAULT ->
-        case sc1 of ds1 {
-          __DEFAULT -> T4908.f_$s$wf sc ds1 (GHC.Prim.-# ds 1);
-          0 -> GHC.Bool.True
-        };
-      0 -> GHC.Bool.True
-    }
-end Rec }
-
-T4908.$wf
-  :: GHC.Prim.Int#
-     -> (GHC.Types.Int, GHC.Types.Int)
-     -> GHC.Bool.Bool
-[GblId,
- Arity=2,
- Caf=NoCafRefs,
- Str=DmdType LL,
- Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [3 2] 11 2}]
-T4908.$wf =
-  \ (ww :: GHC.Prim.Int#) (w :: (GHC.Types.Int, GHC.Types.Int)) ->
-    case ww of ds {
-      __DEFAULT ->
-        case w of _ { (a, b) ->
-        case b of _ { GHC.Types.I# ds1 ->
-        case ds1 of ds2 {
-          __DEFAULT -> T4908.f_$s$wf a ds2 (GHC.Prim.-# ds 1);
-          0 -> GHC.Bool.True
-        }
-        }
-        };
-      0 -> GHC.Bool.True
-    }
-
-T4908.f [InlPrag=INLINE[0]]
-  :: GHC.Types.Int
-     -> (GHC.Types.Int, GHC.Types.Int)
-     -> GHC.Bool.Bool
-[GblId,
- Arity=2,
- Caf=NoCafRefs,
- Str=DmdType U(L)L,
- Unf=Unf{Src=Worker=T4908.$wf, TopLvl=True, Arity=2, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int)
-                 (w1 [Occ=Once] :: (GHC.Types.Int, GHC.Types.Int)) ->
-                 case w of _ { GHC.Types.I# ww [Occ=Once] -> T4908.$wf ww w1 }}]
-T4908.f =
-  \ (w :: GHC.Types.Int) (w1 :: (GHC.Types.Int, GHC.Types.Int)) ->
-    case w of _ { GHC.Types.I# ww -> T4908.$wf ww w1 }
-
-
------- Local rules for imported ids --------
-"SC:$wf0" [ALWAYS]
-    forall {sc :: GHC.Types.Int
-            sc1 :: GHC.Prim.Int#
-            sc2 :: GHC.Prim.Int#}
-      T4908.$wf sc2 (sc, GHC.Types.I# sc1)
-      = T4908.f_$s$wf sc sc1 sc2
-
-
diff --git a/testsuite/tests/simplCore/should_compile/spec-inline.stderr-ghc-7.0 b/testsuite/tests/simplCore/should_compile/spec-inline.stderr-ghc-7.0
deleted file mode 100644 (file)
index dd3a7eb..0000000
+++ /dev/null
@@ -1,154 +0,0 @@
-
-==================== Tidy Core ====================
-Roman.foo2 :: GHC.Types.Int
-[GblId,
- Caf=NoCafRefs,
- Str=DmdType m,
- Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [] 1 2}]
-Roman.foo2 = GHC.Types.I# 6
-
-Roman.foo1 :: Data.Maybe.Maybe GHC.Types.Int
-[GblId,
- Caf=NoCafRefs,
- Str=DmdType,
- Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [] 1 2}]
-Roman.foo1 = Data.Maybe.Just @ GHC.Types.Int Roman.foo2
-
-Roman.foo3 :: GHC.Types.Int
-[GblId, Str=DmdType b]
-Roman.foo3 =
-  Control.Exception.Base.patError
-    @ GHC.Types.Int "spec-inline.hs:(19,5)-(29,25)|function go"
-
-Rec {
-Roman.foo_$s$wgo [Occ=LoopBreaker]
-  :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int#
-[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType LL]
-Roman.foo_$s$wgo =
-  \ (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#) ->
-    let {
-      a [Dmd=Just L] :: GHC.Prim.Int#
-      [LclId, Str=DmdType]
-      a =
-        GHC.Prim.+#
-          (GHC.Prim.+#
-             (GHC.Prim.+#
-                (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# sc sc) sc) sc) sc)
-             sc)
-          sc } in
-    case GHC.Prim.<=# sc1 0 of _ {
-      GHC.Bool.False ->
-        case GHC.Prim.<# sc1 100 of _ {
-          GHC.Bool.False ->
-            case GHC.Prim.<# sc1 500 of _ {
-              GHC.Bool.False ->
-                Roman.foo_$s$wgo (GHC.Prim.+# a a) (GHC.Prim.-# sc1 1);
-              GHC.Bool.True -> Roman.foo_$s$wgo a (GHC.Prim.-# sc1 3)
-            };
-          GHC.Bool.True -> Roman.foo_$s$wgo sc (GHC.Prim.-# sc1 2)
-        };
-      GHC.Bool.True -> 0
-    }
-end Rec }
-
-Roman.$wgo
-  :: Data.Maybe.Maybe GHC.Types.Int
-     -> Data.Maybe.Maybe GHC.Types.Int
-     -> GHC.Prim.Int#
-[GblId,
- Arity=2,
- Str=DmdType SS,
- Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [6 3] 37 0}]
-Roman.$wgo =
-  \ (w :: Data.Maybe.Maybe GHC.Types.Int)
-    (w1 :: Data.Maybe.Maybe GHC.Types.Int) ->
-    case w1 of _ {
-      Data.Maybe.Nothing ->
-        Roman.foo3
-        `cast` (CoUnsafe GHC.Types.Int GHC.Prim.Int#
-                :: GHC.Types.Int ~ GHC.Prim.Int#);
-      Data.Maybe.Just x ->
-        case x of _ { GHC.Types.I# ipv ->
-        let {
-          a [Dmd=Just L] :: GHC.Prim.Int#
-          [LclId, Str=DmdType]
-          a =
-            GHC.Prim.+#
-              (GHC.Prim.+#
-                 (GHC.Prim.+#
-                    (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# ipv ipv) ipv) ipv) ipv)
-                 ipv)
-              ipv } in
-        case w of _ {
-          Data.Maybe.Nothing -> Roman.foo_$s$wgo a 10;
-          Data.Maybe.Just n ->
-            case n of _ { GHC.Types.I# x2 ->
-            case GHC.Prim.<=# x2 0 of _ {
-              GHC.Bool.False ->
-                case GHC.Prim.<# x2 100 of _ {
-                  GHC.Bool.False ->
-                    case GHC.Prim.<# x2 500 of _ {
-                      GHC.Bool.False ->
-                        Roman.foo_$s$wgo (GHC.Prim.+# a a) (GHC.Prim.-# x2 1);
-                      GHC.Bool.True -> Roman.foo_$s$wgo a (GHC.Prim.-# x2 3)
-                    };
-                  GHC.Bool.True -> Roman.foo_$s$wgo ipv (GHC.Prim.-# x2 2)
-                };
-              GHC.Bool.True -> 0
-            }
-            }
-        }
-        }
-    }
-
-Roman.foo_go [InlPrag=INLINE[0]]
-  :: Data.Maybe.Maybe GHC.Types.Int
-     -> Data.Maybe.Maybe GHC.Types.Int
-     -> GHC.Types.Int
-[GblId,
- Arity=2,
- Str=DmdType SSm,
- Unf=Unf{Src=Worker=Roman.$wgo, TopLvl=True, Arity=2, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (w [Occ=Once] :: Data.Maybe.Maybe GHC.Types.Int)
-                 (w1 [Occ=Once] :: Data.Maybe.Maybe GHC.Types.Int) ->
-                 case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }}]
-Roman.foo_go =
-  \ (w :: Data.Maybe.Maybe GHC.Types.Int)
-    (w1 :: Data.Maybe.Maybe GHC.Types.Int) ->
-    case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }
-
-Roman.foo :: GHC.Types.Int -> GHC.Types.Int
-[GblId,
- Arity=1,
- Caf=NoCafRefs,
- Str=DmdType S(A)m,
- Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (n [Occ=Once!] :: GHC.Types.Int) ->
-                 case n of n1 { GHC.Types.I# _ ->
-                 Roman.foo_go (Data.Maybe.Just @ GHC.Types.Int n1) Roman.foo1
-                 }}]
-Roman.foo =
-  \ (n :: GHC.Types.Int) ->
-    case n of _ { GHC.Types.I# ipv ->
-    case Roman.foo_$s$wgo 6 ipv of ww { __DEFAULT -> GHC.Types.I# ww }
-    }
-
-
------- Local rules for imported ids --------
-"SC:$wgo0" [ALWAYS]
-    forall {sc :: GHC.Prim.Int# sc1 :: GHC.Prim.Int#}
-      Roman.$wgo (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc1))
-                 (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc))
-      = Roman.foo_$s$wgo sc sc1
-
-
diff --git a/testsuite/tests/th/T2700.stderr-ghc-7.0 b/testsuite/tests/th/T2700.stderr-ghc-7.0
deleted file mode 100644 (file)
index 6637147..0000000
+++ /dev/null
@@ -1 +0,0 @@
-foo :: (GHC.Types.Int -> GHC.Bool.Bool) -> GHC.Bool.Bool\r
diff --git a/testsuite/tests/typecheck/should_fail/tcfail016.stderr-ghc-7.0 b/testsuite/tests/typecheck/should_fail/tcfail016.stderr-ghc-7.0
deleted file mode 100644 (file)
index 8d2b960..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-
-tcfail016.hs:9:20:
-    Couldn't match expected type `Expr t0'
-                with actual type `(t0, Expr t0)'
-      Expected type: Expr t0
-        Actual type: AnnExpr t0
-    In the first argument of `g', namely `e1'
-    In the first argument of `(++)', namely `(g e1)'
diff --git a/testsuite/tests/typecheck/should_fail/tcfail186.stderr-ghc-7.0 b/testsuite/tests/typecheck/should_fail/tcfail186.stderr-ghc-7.0
deleted file mode 100644 (file)
index 737a066..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-
-tcfail186.hs:7:9:
-    Couldn't match expected type `Int' with actual type `[Char]'
-      Expected type: PhantomSyn a0
-        Actual type: [Char]
-    In the first argument of `f', namely `"hoo"'
-    In the expression: f "hoo"