[commit: ghc] wip/T13861: WIP: status quo (4c209ef)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/T13861
Link       : http://ghc.haskell.org/trac/ghc/changeset/4c209ef3b3c236b554ebbfec4b5400f6795be7d3/ghc

>---------------------------------------------------------------

commit 4c209ef3b3c236b554ebbfec4b5400f6795be7d3
Author: Gabor Greif <ggreif at gmail.com>
Date:   Fri Dec 22 14:26:35 2017 +0100

    WIP: status quo
    
    two responses not totally understood yet


>---------------------------------------------------------------

4c209ef3b3c236b554ebbfec4b5400f6795be7d3
 testsuite/tests/simplStg/should_run/T13861.hs     | 20 ++++++++++----------
 testsuite/tests/simplStg/should_run/T13861.stdout |  3 +++
 2 files changed, 13 insertions(+), 10 deletions(-)

diff --git a/testsuite/tests/simplStg/should_run/T13861.hs b/testsuite/tests/simplStg/should_run/T13861.hs
index 4645348..2cb12cc 100644
--- a/testsuite/tests/simplStg/should_run/T13861.hs
+++ b/testsuite/tests/simplStg/should_run/T13861.hs
@@ -60,28 +60,28 @@ eq1 Refl = []
 
 test x = do
     let (r1,r2) = bar x
-    (same $! r1) $! r2
+    (same $! r1) $! r2                  -- yes
     let r3 = foo r1
-    (same $! r1) $! r3
+    (same $! r1) $! r3                  -- yes
     let (r30, r31) = (R 'l', foo' r30)
-    (same $! r30) $! r31
+    (same $! r30) $! r31                -- no, strictness
 
     let (r40, r41) = (['l'], baz r40)
-    (same $! r40) $! r41
+    (same $! r40) $! r41                -- no, arity mismatch
     let (r42, r43) = ([], baz r42)
-    (same $! r42) $! r43
+    (same $! r42) $! r43                -- no, WHY?
     let (r44, r45) = ("ab", baz r44)
-    (same $! r44) $! r45
+    (same $! r44) $! r45                -- no, arity mismatch
     let (r46, r47) = (Refl, eq1 r46)
-    (same $! r46) $! r47
+    (same $! r46) $! r47                -- no, WHY?
 
     let (r4,_) = bar r1
     let r5 = nested r4
-    (same $! r4) $! r5
+    (same $! r4) $! r5                  -- yes
     let (T _ r6 r7) = rec1 x
-    (same $! r6) $! r7
+    (same $! r6) $! r7                  -- yes
     let s1@(S _ s2) = rec2 x
-    (same $! s1) $! s2
+    (same $! s1) $! s2                  -- no, not supported
     case r3 of
       Just b -> print ("YAY", b)
       Nothing -> print "BAD"
diff --git a/testsuite/tests/simplStg/should_run/T13861.stdout b/testsuite/tests/simplStg/should_run/T13861.stdout
index 3127164..50228bd 100644
--- a/testsuite/tests/simplStg/should_run/T13861.stdout
+++ b/testsuite/tests/simplStg/should_run/T13861.stdout
@@ -2,6 +2,9 @@ yes
 yes
 no
 no
+no
+no
+no
 yes
 yes
 no