[Git][ghc/ghc][wip/refactor-demand] Testsuite updates

[Sebastian Graf]

Sebastian Graf pushed to branch wip/refactor-demand at Glasgow Haskell Compiler / GHC


Commits:
ff04b6e3 by Sebastian Graf at 2020-11-18T15:46:37+01:00
Testsuite updates

- - - - -


3 changed files:

- testsuite/tests/simplCore/should_compile/T7360.stderr
- testsuite/tests/stranal/sigs/UnsatFun.hs
- testsuite/tests/stranal/sigs/UnsatFun.stderr


Changes:

=====================================
testsuite/tests/simplCore/should_compile/T7360.stderr
=====================================
@@ -21,7 +21,7 @@ T7360.$WFoo3
 
 -- RHS size: {terms: 5, types: 2, coercions: 0, joins: 0/0}
 fun1 [InlPrag=NOINLINE] :: Foo -> ()
-[GblId, Arity=1, Str=<SU>, Unf=OtherCon []]
+[GblId, Arity=1, Str=<SA>, Unf=OtherCon []]
 fun1 = \ (x :: Foo) -> case x of { __DEFAULT -> GHC.Tuple.() }
 
 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}


=====================================
testsuite/tests/stranal/sigs/UnsatFun.hs
=====================================
@@ -35,6 +35,7 @@ h3 f = f 2 `seq` 3
 
 
 -- And here we check that the depth of the strictness
--- of h is applied correctly.
+-- of h is applied correctly. The lambda is unsaturated
+-- and thus x is absent.
 g3 :: Int -> Int
 g3 x = h3 (\_ _ -> error (show x))


=====================================
testsuite/tests/stranal/sigs/UnsatFun.stderr
=====================================
@@ -4,10 +4,10 @@ UnsatFun.$trModule:
 UnsatFun.f: <SP(M)><B>b
 UnsatFun.g: <SP(M)>b
 UnsatFun.g': <1P(U)>
-UnsatFun.g3: <UP(U)>
+UnsatFun.g3: <A>
 UnsatFun.h: <SCS(U)>
 UnsatFun.h2: <SU><1CS(U)>
-UnsatFun.h3: <SCS(U)>
+UnsatFun.h3: <SCS(A)>
 
 
 
@@ -28,9 +28,9 @@ UnsatFun.$trModule:
 UnsatFun.f: <SP(M)><B>b
 UnsatFun.g: <SP(M)>b
 UnsatFun.g': <1P(U)>
-UnsatFun.g3: <UP(U)>
+UnsatFun.g3: <A>
 UnsatFun.h: <SCS(U)>
 UnsatFun.h2: <SU><1CS(U)>
-UnsatFun.h3: <SCS(U)>
+UnsatFun.h3: <SCS(A)>
 
 



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ff04b6e387cde4f6f6bfc2959443d4e9f3f96990

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ff04b6e387cde4f6f6bfc2959443d4e9f3f96990
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20201118/12e031ba/attachment-0001.html>