diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/stranal')
42 files changed, 0 insertions, 464 deletions
diff --git a/testsuite/tests/ghc-regress/stranal/Makefile b/testsuite/tests/ghc-regress/stranal/Makefile deleted file mode 100644 index 9101fbd40a..0000000000 --- a/testsuite/tests/ghc-regress/stranal/Makefile +++ /dev/null @@ -1,3 +0,0 @@ -TOP=../../.. -include $(TOP)/mk/boilerplate.mk -include $(TOP)/mk/test.mk diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/Makefile b/testsuite/tests/ghc-regress/stranal/should_compile/Makefile deleted file mode 100644 index 1c39d1c1fe..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/Makefile +++ /dev/null @@ -1,3 +0,0 @@ -TOP=../../../.. -include $(TOP)/mk/boilerplate.mk -include $(TOP)/mk/test.mk diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/T1988.hs b/testsuite/tests/ghc-regress/stranal/should_compile/T1988.hs deleted file mode 100644 index da99806ce1..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/T1988.hs +++ /dev/null @@ -1,12 +0,0 @@ -{-# OPTIONS_GHC -O2 #-} - --- Trac #1988: this one killed GHC 6.8.2 --- at least with -O2 - -module ShouldCompile where - -newtype CFTree = CFTree (String, [CFTree]) - -prCFTree :: CFTree -> String -prCFTree (CFTree (_,trees)) = concatMap ps trees - where ps t@(CFTree (_,[])) = prCFTree t diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/all.T b/testsuite/tests/ghc-regress/stranal/should_compile/all.T deleted file mode 100644 index 5814f39f7d..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/all.T +++ /dev/null @@ -1,18 +0,0 @@ -# Only compile with optimisation -setTestOpts( only_ways(['optasm']) ) - -test('default', normal, compile, ['']) -test('fact', normal, compile, ['']) -test('fun', normal, compile, ['']) -test('goo', normal, compile, ['']) -test('ins', normal, compile, ['']) -test('map', normal, compile, ['']) -test('sim', normal, compile, ['']) -test('str001', normal, compile, ['']) -test('str002', normal, compile, ['']) -test('syn', normal, compile, ['']) -test('test', normal, compile, ['']) -test('tst', normal, compile, ['']) -test('unu', normal, compile, ['']) -test('newtype', req_profiling, compile, ['-prof -auto-all']) -test('T1988', normal, compile, ['']) diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/default.hs b/testsuite/tests/ghc-regress/stranal/should_compile/default.hs deleted file mode 100644 index 43eb9f0633..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/default.hs +++ /dev/null @@ -1,16 +0,0 @@ -module Test where -data Boolean = FF | TT -data Pair a b = MkPair a b -data LList alpha = Nill | Conss alpha (LList alpha) -data Nat = Zero | Succ Nat -data Tree x = Leaf x | Node (Tree x) (Tree x) -data A a = MkA a (A a) - -append :: LList a -> LList a -> LList a -append xs ys = case xs of - Conss z zs -> Conss z (append zs ys) - v -> ys - - - - diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/default.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/default.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/default.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/fact.hs b/testsuite/tests/ghc-regress/stranal/should_compile/fact.hs deleted file mode 100644 index 9f23f9021e..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/fact.hs +++ /dev/null @@ -1,3 +0,0 @@ -module Test where -fact :: Int -> Int -fact n = if n==0 then 2 else (fact n) * n diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/fact.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/fact.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/fact.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/fun.hs b/testsuite/tests/ghc-regress/stranal/should_compile/fun.hs deleted file mode 100644 index 5bab460f3f..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/fun.hs +++ /dev/null @@ -1,6 +0,0 @@ -module Test where -data Fun = MkFun (Fun -> Fun) -data LList a = Nill | Conss a (LList a) - -g :: Fun -> Fun -g f = f diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/fun.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/fun.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/fun.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/goo.hs b/testsuite/tests/ghc-regress/stranal/should_compile/goo.hs deleted file mode 100644 index 00282bb79e..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/goo.hs +++ /dev/null @@ -1,10 +0,0 @@ -module Test where -data Goo a = Gsimpl | Gcompl ([Goo a]) -data Moo a b = Msimple | Mcompl (Moo b a) - - -idGoo :: Goo a -> Goo a -idGoo x = x - -idMoo :: Moo a b -> Moo a b -idMoo x = x diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/goo.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/goo.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/goo.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/ins.hs b/testsuite/tests/ghc-regress/stranal/should_compile/ins.hs deleted file mode 100644 index a50320cefa..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/ins.hs +++ /dev/null @@ -1,27 +0,0 @@ --- !! TEST OF DEFACTORISATION FOR FUNCTIONS THAT DROP --- !! POLYMORPHIC VARIABLES - -module Test where -data Boolean = FF | TT -data Pair a b = MkPair a b -data LList alpha = Nill | Conss alpha (LList alpha) -data Nat = Zero | Succ Nat -data Tree x = Leaf x | Node (Tree x) (Tree x) -data A a = MkA a (A a) - -append :: LList a -> LList a -> LList a -append xs ys = case xs of - Nill -> ys - Conss z zs -> Conss z (append zs ys) - --- The following function drops @b@. - -flat :: Tree (Pair a b) -> LList a -flat t = case t of - Leaf (MkPair a b) -> Conss a Nill - Node l r -> append (flat l) (flat r) - -fl :: Boolean -> LList Boolean -fl x = flat (Leaf (MkPair TT Zero)) - - diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/ins.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/ins.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/ins.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/map.hs b/testsuite/tests/ghc-regress/stranal/should_compile/map.hs deleted file mode 100644 index f4ec1ec769..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/map.hs +++ /dev/null @@ -1,32 +0,0 @@ -module Test where -data Boolean = FF | TT -data Pair a b = MkPair a b -data LList alpha = Nill | Conss alpha (LList alpha) -data Nat = Zero | Succ Nat -data Tree x = Leaf x | Node (Tree x) (Tree x) -data A a = MkA a (A a) - -{- -map :: (a -> b) -> [a] -> [b] -map f xs = case xs of - [] -> [] - (y:ys) -> (f y):(map f ys) - -map_ide :: [[a]] -> [[a]] -map_ide = map (\x->x) --} - -my_id :: a -> a -my_id x = x - -idNat :: Nat -> Nat -idNat x = x - -idBool :: Boolean -> Boolean -idBool x = x - -fun :: (a->b) -> a -> b -fun f x = g f - where - g f = f x - diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/map.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/map.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/map.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/newtype.hs b/testsuite/tests/ghc-regress/stranal/should_compile/newtype.hs deleted file mode 100644 index c68df28111..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/newtype.hs +++ /dev/null @@ -1,14 +0,0 @@ --- This one killed GHC 6.4 because it bogusly attributed --- the CPR property to the construtor T --- Result: a mkWWcpr crash --- Needs -prof -auto-all to show it up - -module ShouldCompile where - -newtype T a = T { unT :: a } - -f = unT - -test cs = f $ case cs of - [] -> T [] - (x:xs) -> T $ test cs diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/sim.hs b/testsuite/tests/ghc-regress/stranal/should_compile/sim.hs deleted file mode 100644 index d6de6ec09d..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/sim.hs +++ /dev/null @@ -1,103 +0,0 @@ -module Test where -data Boolean = FF | TT -data Pair a b = MkPair a b -data LList alpha = Nill | Conss alpha (LList alpha) -data Nat = Zero | Succ Nat -data Tree x = Leaf x | Node (Tree x) (Tree x) -data A a = MkA a (A a) -{- -id :: a -> a -id x = x - -idb :: Boolean -> Boolean -idb b = b - -swap :: Pair a b -> Pair b a -swap t = case t of - MkPair x y -> MkPair y x - -bang :: A (A a) -> Boolean -bang x = case x of - MkA y ys -> TT - -neg :: Boolean -> Boolean -neg b = case b of - FF -> TT - TT -> FF - -null :: LList x -> Boolean -null l = case l of - Nill -> TT - _ -> FF - -loop :: Boolean -> a -loop b = loop b --} -idl :: LList a -> LList a -idl xs = case xs of - Conss y ys -> Conss y (idl ys) - _ -> Nill -{- -idn :: Nat -> Nat -idn n = case n of - Zero -> Zero - Succ m -> Succ (idn m) - -add :: Nat -> Nat -> Nat -add a b = case a of - Zero -> b - Succ c -> Succ (add c b) - -length :: LList a -> Nat -length xs = case xs of - Nill -> Zero - Conss y ys -> Succ(length ys) - -before :: LList Nat -> LList Nat -before xs = case xs of - Nill -> Nill - Conss y ys -> case y of - Zero -> Nill - Succ n -> Conss y (before ys) - -reverse :: LList a -> LList a -reverse rs = case rs of - Nill -> Nill - Conss y ys -> append (reverse ys) (Conss y Nill) - -f :: Nat -> Nat -f n = case n of - Zero -> Zero - Succ m -> Succ (g m) - -g :: Nat -> Nat -g n = case n of - Zero -> Zero - Succ m -> Succ (f m) - -append :: LList a -> LList a -> LList a -append xs ys = case xs of - Nill -> ys - Conss z zs -> Conss z (append zs ys) - -flatten :: Tree alpha -> LList alpha -flatten t = case t of - Leaf x -> Conss x Nill - Node l r -> append (flatten l) (flatten r) - -sum :: Tree Nat -> Nat -sum t = case t of - Leaf t -> t - Node l r -> add (sum l) (sum r) - -suml :: LList Nat -> Nat -suml Nill = Zero -suml (Conss n ns) = add n (suml ns) - -map :: (a -> b) -> LList a -> LList b -map f xs = case xs of - Nill -> Nill - Conss y ys -> Conss (f y) (map f ys) --} - - diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/sim.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/sim.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/sim.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/str001.hs b/testsuite/tests/ghc-regress/stranal/should_compile/str001.hs deleted file mode 100644 index 6d27a923fd..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/str001.hs +++ /dev/null @@ -1,10 +0,0 @@ -{-# LANGUAGE DatatypeContexts #-} -module ShouldSucceed where - -{-# OPTIONS -O #-} - -newtype Num a => Point2 a = Point2 (a,a) - -area2 :: Num a => Point2 a -> Point2 a -> Point2 a -> a -area2 (Point2 (px,py)) (Point2 (qx,qy)) (Point2 (rx,ry)) - = (px-qx) * (py-ry) - (py-qy) * (px-rx) diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/str001.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/str001.stderr deleted file mode 100644 index 968ccf8885..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/str001.stderr +++ /dev/null @@ -1,4 +0,0 @@ - -str001.hs:1:14: - Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. - diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/str002.hs b/testsuite/tests/ghc-regress/stranal/should_compile/str002.hs deleted file mode 100644 index 65fb8a7ba2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/str002.hs +++ /dev/null @@ -1,12 +0,0 @@ --- !!! Recursive newtypes --- Needs -O --- This one made GHC < 5.00.2 go into an --- infinite loop in the strictness analysier - -module Foo where - -newtype V = MkV V - -f :: V -> V -f (MkV v) = v - diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/str002.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/str002.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/str002.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/syn.hs b/testsuite/tests/ghc-regress/stranal/should_compile/syn.hs deleted file mode 100644 index 6693db70d9..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/syn.hs +++ /dev/null @@ -1,15 +0,0 @@ --- !!! THIS TEST IS FOR TYPE SYNONIMS AND FACTORISATION IN THEIR PRESENCE. - -module Test where -data M a = A | B a (M a) -data L a = N | C a (Syn a) -type Syn b = L b - -idL :: L (Syn c) -> L (Syn c) -idL N = N -idL (C x l) = C x (idL l) - -idM:: M (L (Syn x)) -> M (L (Syn x)) -idM A = A -idM (B x l) = B (idL x) (idM l) - diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/syn.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/syn.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/syn.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/test.hs b/testsuite/tests/ghc-regress/stranal/should_compile/test.hs deleted file mode 100644 index c984c320d1..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/test.hs +++ /dev/null @@ -1,6 +0,0 @@ -module Test where -data LList t = Nill | Conss t (LList t) -data BBool = TTrue | FFalse - -f Nill = TTrue -f (Conss a as) = FFalse diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/test.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/test.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/test.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/tst.hs b/testsuite/tests/ghc-regress/stranal/should_compile/tst.hs deleted file mode 100644 index 561292107b..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/tst.hs +++ /dev/null @@ -1,3 +0,0 @@ -module Test where -a :: [a] -> [[a]] -a x = [x] diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/tst.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/tst.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/tst.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/unu.hs b/testsuite/tests/ghc-regress/stranal/should_compile/unu.hs deleted file mode 100644 index 54bb25e9ab..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/unu.hs +++ /dev/null @@ -1,76 +0,0 @@ -module Test where -data Boolean = FF | TT -data Pair a b = Mkpair a b -data LList alpha = Nill | Conss alpha (LList alpha) -data Nat = Zero | Succ Nat -data Tree t = Leaf t | Node (Tree t) (Tree t) -data A a = MkA a (A a) -data Foo baz = MkFoo (Foo (Foo baz)) -{- - append1 :: LList a -> LList a -> LList a - append1 xs ys = append2 xs - where - append2 xs = case xs of - Nill -> ys - Conss x xs -> Conss x (append3 xs) - append3 xs = case xs of - Nill -> ys - Conss x xs -> Conss x (append2 xs) - - loop :: a -> a - loop x = loop x - - hd :: LList b -> b - hd Nill = loop - hd (Conss y ys) = y - - hdb :: LList (LList b) -> LList b - hdb = hd - - append :: [a] -> [a] -> [a] - append [] ys = ys - append (x:xs) ys = x:(append xs ys) - - f :: [a] -> [a] - f y = append x (f y) - where x = append x (f y) --} -app :: LList a -> LList a -> LList a -app Nill Nill = Nill -app xs ys = case xs of - Nill -> ys - Conss z zs -> Conss z (app zs ys) -{- - app :: LList a -> LList a -> LList a - app xs ys = case xs of - Nill -> case ys of - Nill -> Nill - Conss u us -> ap - Conss a as -> ap - where ap = case xs of - Nill -> ys - Conss z zs -> Conss z (app zs ys) - - app :: LList a -> LList a -> LList a - app xs ys = case xs of - Nill -> case ys of - Nill -> Nill - Conss u us -> ap xs ys - Conss a as -> ap xs ys - - ap xs ys = case xs of - Nill -> ys - Conss z zs -> Conss z (app zs ys) - - ap :: LList a -> LList a -> LList a - ap xs ys = case xs of - Nill -> ys - Conss z zs -> Conss z (ap zs ys) - - app :: LList a -> LList a -> LList a - app xs ys = case xs of - Nill -> case ys of - Nill -> Nill - Conss u us -> ap xs ys - Conss a as -> ap xs ys --} diff --git a/testsuite/tests/ghc-regress/stranal/should_compile/unu.stderr b/testsuite/tests/ghc-regress/stranal/should_compile/unu.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_compile/unu.stderr +++ /dev/null diff --git a/testsuite/tests/ghc-regress/stranal/should_run/Makefile b/testsuite/tests/ghc-regress/stranal/should_run/Makefile deleted file mode 100644 index 1c39d1c1fe..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/Makefile +++ /dev/null @@ -1,3 +0,0 @@ -TOP=../../../.. -include $(TOP)/mk/boilerplate.mk -include $(TOP)/mk/test.mk diff --git a/testsuite/tests/ghc-regress/stranal/should_run/T2756b.hs b/testsuite/tests/ghc-regress/stranal/should_run/T2756b.hs deleted file mode 100644 index cb59d50c9b..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/T2756b.hs +++ /dev/null @@ -1,15 +0,0 @@ -module Main where - -data X = X () - -{-# NOINLINE newX #-} -newX :: () -> IO X -newX n = do - let {-# NOINLINE value #-} - value = n - return (X value) - -main = do - x <- newX (error "Why?") - case x of - X _ -> return () diff --git a/testsuite/tests/ghc-regress/stranal/should_run/all.T b/testsuite/tests/ghc-regress/stranal/should_run/all.T deleted file mode 100644 index d94a7c492d..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/all.T +++ /dev/null @@ -1,9 +0,0 @@ -# Optimised only, we're testing the strictness analyser here -setTestOpts( only_ways(['optasm']) ) - -test('strun001', normal, compile_and_run, ['']) -test('strun002', exit_code(1), compile_and_run, ['']) -test('strun003', normal, compile_and_run, ['']) -test('strun004', normal, compile_and_run, ['']) -test('T2756b', normal, compile_and_run, ['']) - diff --git a/testsuite/tests/ghc-regress/stranal/should_run/strun001.hs b/testsuite/tests/ghc-regress/stranal/should_run/strun001.hs deleted file mode 100644 index 43820f3028..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/strun001.hs +++ /dev/null @@ -1,15 +0,0 @@ --- Made the new demand analyser enter an absent arg --- Reason: it thought 'a' was unused in g. - -module Main where - --- Strictness: SS(AL) -> T -f True p@(x,y) = (p,y) -f False p@(x,y) = f y p - --- Easy to get the wrong strictness, --- by thinking 'a' is absent -g True a b = f False (a,b) -g False a b = g b a b - -main = print (g True 'a' True) diff --git a/testsuite/tests/ghc-regress/stranal/should_run/strun001.stdout b/testsuite/tests/ghc-regress/stranal/should_run/strun001.stdout deleted file mode 100644 index 9cba23c739..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/strun001.stdout +++ /dev/null @@ -1 +0,0 @@ -(('a',True),True) diff --git a/testsuite/tests/ghc-regress/stranal/should_run/strun002.hs b/testsuite/tests/ghc-regress/stranal/should_run/strun002.hs deleted file mode 100644 index 145166964d..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/strun002.hs +++ /dev/null @@ -1,12 +0,0 @@ --- This showed up an "entered-absent-arg" error in 5.02.1 - -module Main where - -is_volatile :: [Int] -> (String,Int) -> Int -is_volatile [] (destVarName, destPtr) - = error ("Variable not found: " ++ "(" ++ (show destPtr) ++ ") " ++ destVarName) -is_volatile (a:allWrites) (destVarName, destPtr) - | a == destPtr = a - | otherwise = is_volatile allWrites (destVarName, destPtr) - -main = print (is_volatile [] ("hello",2)) diff --git a/testsuite/tests/ghc-regress/stranal/should_run/strun002.stderr b/testsuite/tests/ghc-regress/stranal/should_run/strun002.stderr deleted file mode 100644 index ac89b7f80b..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/strun002.stderr +++ /dev/null @@ -1 +0,0 @@ -strun002: Variable not found: (2) hello diff --git a/testsuite/tests/ghc-regress/stranal/should_run/strun003.hs b/testsuite/tests/ghc-regress/stranal/should_run/strun003.hs deleted file mode 100644 index eaedd59e8c..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/strun003.hs +++ /dev/null @@ -1,23 +0,0 @@ --- This module should run fine with an empty argument list --- But it won't if the strictness analyser thinks that 'len' is use --- strictly, which was the case in GHC 6.0 - --- See the io_hack_reqd in DmdAnal.lhs - -module Main where - -import System.Environment -import System.Exit - -main = do - args <- getArgs - let len = read (head args) :: Int - - (if null args && useLazily len - then putStrLn "ok" >> exitWith ExitSuccess - else return () ) - - print len - -useLazily :: Int -> Bool -useLazily len = ([len,3,4] !! 1) == 3 diff --git a/testsuite/tests/ghc-regress/stranal/should_run/strun003.stdout b/testsuite/tests/ghc-regress/stranal/should_run/strun003.stdout deleted file mode 100644 index 9766475a41..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/strun003.stdout +++ /dev/null @@ -1 +0,0 @@ -ok diff --git a/testsuite/tests/ghc-regress/stranal/should_run/strun004.hs b/testsuite/tests/ghc-regress/stranal/should_run/strun004.hs deleted file mode 100644 index ff58f72ce5..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/strun004.hs +++ /dev/null @@ -1,10 +0,0 @@ -module Main where - -f 0 = 0 -f x = x + g (x-1) - -g 0 = 0 -g x = x - f (x-1) - -main = print (f 300) - diff --git a/testsuite/tests/ghc-regress/stranal/should_run/strun004.stdout b/testsuite/tests/ghc-regress/stranal/should_run/strun004.stdout deleted file mode 100644 index 697cb3a26d..0000000000 --- a/testsuite/tests/ghc-regress/stranal/should_run/strun004.stdout +++ /dev/null @@ -1 +0,0 @@ -300 |