diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T2431.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/spec-inline.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/stranal/should_run/T14171.hs | 16 | ||||
| -rw-r--r-- | testsuite/tests/stranal/should_run/all.T | 1 | ||||
| -rw-r--r-- | testsuite/tests/stranal/sigs/UnsatFun.stderr | 8 |
5 files changed, 23 insertions, 6 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr index 3c1c232887..54308c6a5b 100644 --- a/testsuite/tests/deSugar/should_compile/T2431.stderr +++ b/testsuite/tests/deSugar/should_compile/T2431.stderr @@ -17,7 +17,7 @@ T2431.$WRefl -- RHS size: {terms: 4, types: 8, coercions: 0, joins: 0/0} absurd :: forall a. (Int :~: Bool) -> a -[GblId, Arity=1, Caf=NoCafRefs, Str=<L,U>x, Unf=OtherCon []] +[GblId, Arity=1, Caf=NoCafRefs, Str=<L,U>b, Unf=OtherCon []] absurd = \ (@ a) (x :: Int :~: Bool) -> case x of { } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} diff --git a/testsuite/tests/simplCore/should_compile/spec-inline.stderr b/testsuite/tests/simplCore/should_compile/spec-inline.stderr index d978cc5719..07b04c215e 100644 --- a/testsuite/tests/simplCore/should_compile/spec-inline.stderr +++ b/testsuite/tests/simplCore/should_compile/spec-inline.stderr @@ -54,7 +54,7 @@ lvl = "spec-inline.hs:(19,5)-(29,25)|function go"# -- RHS size: {terms: 2, types: 2, coercions: 0, joins: 0/0} Roman.foo3 :: Int -[GblId, Str=x] +[GblId, Str=b] Roman.foo3 = Control.Exception.Base.patError @ 'GHC.Types.LiftedRep @ Int lvl diff --git a/testsuite/tests/stranal/should_run/T14171.hs b/testsuite/tests/stranal/should_run/T14171.hs new file mode 100644 index 0000000000..edee0830d9 --- /dev/null +++ b/testsuite/tests/stranal/should_run/T14171.hs @@ -0,0 +1,16 @@ +module Main where + +import Control.Concurrent.STM +import Control.Concurrent.STM.TVar + +chkLoop :: TVar String -> STM () +chkLoop v = do + val <- readTVar v + if (length val == 2) then retry else return () + +main :: IO () +main = do + v <- newTVarIO "hi" + atomically $ do + chkLoop v `orElse` return () + error "you're expected to see this" diff --git a/testsuite/tests/stranal/should_run/all.T b/testsuite/tests/stranal/should_run/all.T index f33adac932..278b91b292 100644 --- a/testsuite/tests/stranal/should_run/all.T +++ b/testsuite/tests/stranal/should_run/all.T @@ -20,5 +20,6 @@ test('T11555a', normal, compile_and_run, ['']) test('T12368', exit_code(1), compile_and_run, ['']) test('T12368a', exit_code(1), compile_and_run, ['']) test('T13380', [expect_broken(13380), exit_code(1)], compile_and_run, ['']) +test('T14171', [expect_broken(14171), exit_code(1)], compile_and_run, ['']) test('T14290', normal, compile_and_run, ['']) test('T14285', normal, multimod_compile_and_run, ['T14285', '']) diff --git a/testsuite/tests/stranal/sigs/UnsatFun.stderr b/testsuite/tests/stranal/sigs/UnsatFun.stderr index 1ea2fa4773..9fb8ab321f 100644 --- a/testsuite/tests/stranal/sigs/UnsatFun.stderr +++ b/testsuite/tests/stranal/sigs/UnsatFun.stderr @@ -1,8 +1,8 @@ ==================== Strictness signatures ==================== UnsatFun.$trModule: m -UnsatFun.f: <B,1*U(U)><B,A>x -UnsatFun.g: <B,1*U(U)>x +UnsatFun.f: <B,1*U(U)><B,A>b +UnsatFun.g: <B,1*U(U)>b UnsatFun.g': <L,1*U(U)> UnsatFun.g3: <L,U(U)>m UnsatFun.h: <C(S),1*C1(U(U))> @@ -13,8 +13,8 @@ UnsatFun.h3: <C(S),1*C1(U)>m ==================== Strictness signatures ==================== UnsatFun.$trModule: m -UnsatFun.f: <B,1*U(U)><B,A>x -UnsatFun.g: <B,1*U(U)>x +UnsatFun.f: <B,1*U(U)><B,A>b +UnsatFun.g: <B,1*U(U)>b UnsatFun.g': <L,1*U(U)> UnsatFun.g3: <L,U(U)>m UnsatFun.h: <C(S),1*C1(U(U))> |