[commit: ghc] master: Add a new determinism test (9854f14)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/9854f14ef0a3a6f399a1aa4c141c5e3dddcd77ff/ghc

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

commit 9854f14ef0a3a6f399a1aa4c141c5e3dddcd77ff
Author: Bartosz Nitka <niteria at gmail.com>
Date:   Thu Jun 30 06:59:02 2016 -0700

    Add a new determinism test
    
    This is one of the testcases that I forgot to commit


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

9854f14ef0a3a6f399a1aa4c141c5e3dddcd77ff
 testsuite/driver/extra_files.py                    |  1 +
 testsuite/tests/determinism/determ021/A.hs         |  8 ++++++++
 .../determinism/{determ003 => determ021}/Makefile  |  2 +-
 .../determinism/{determ009 => determ021}/all.T     |  4 ++--
 .../tests/determinism/determ021/determ021.stdout   | 22 ++++++++++++++++++++++
 5 files changed, 34 insertions(+), 3 deletions(-)

diff --git a/testsuite/driver/extra_files.py b/testsuite/driver/extra_files.py
index 43e78af..bc5d460 100644
--- a/testsuite/driver/extra_files.py
+++ b/testsuite/driver/extra_files.py
@@ -202,6 +202,7 @@ extra_src_files = {
   'determ017': ['A.hs'],
   'determ018': ['A.hs'],
   'determ019': ['A.hs'],
+  'determ021': ['A.hs'],
   'dodgy': ['DodgyA.hs'],
   'driver011': ['A011.hs'],
   'driver012': ['A012.hs'],
diff --git a/testsuite/tests/determinism/determ021/A.hs b/testsuite/tests/determinism/determ021/A.hs
new file mode 100644
index 0000000..773a012
--- /dev/null
+++ b/testsuite/tests/determinism/determ021/A.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE ApplicativeDo #-}
+{-# OPTIONS_GHC -ddump-types #-}
+module A where
+
+test2 f = do
+  x <- f 3
+  y <- f 4
+  return (x + y)
diff --git a/testsuite/tests/determinism/determ003/Makefile b/testsuite/tests/determinism/determ021/Makefile
similarity index 96%
copy from testsuite/tests/determinism/determ003/Makefile
copy to testsuite/tests/determinism/determ021/Makefile
index faff63e..e88edef 100644
--- a/testsuite/tests/determinism/determ003/Makefile
+++ b/testsuite/tests/determinism/determ021/Makefile
@@ -2,7 +2,7 @@ TOP=../../..
 include $(TOP)/mk/boilerplate.mk
 include $(TOP)/mk/test.mk
 
-determ003:
+determ021:
 	$(RM) A.hi A.o
 	'$(TEST_HC)' $(TEST_HC_OPTS) -O -dinitial-unique=0 -dunique-increment=1 A.hs
 	$(CP) A.hi A.normal.hi
diff --git a/testsuite/tests/determinism/determ009/all.T b/testsuite/tests/determinism/determ021/all.T
similarity index 50%
copy from testsuite/tests/determinism/determ009/all.T
copy to testsuite/tests/determinism/determ021/all.T
index 7cae393..35af362 100644
--- a/testsuite/tests/determinism/determ009/all.T
+++ b/testsuite/tests/determinism/determ021/all.T
@@ -1,4 +1,4 @@
-test('determ009',
+test('determ021',
      extra_clean(['A.o', 'A.hi', 'A.normal.hi']),
      run_command,
-     ['$MAKE -s --no-print-directory determ009'])
+     ['$MAKE -s --no-print-directory determ021'])
diff --git a/testsuite/tests/determinism/determ021/determ021.stdout b/testsuite/tests/determinism/determ021/determ021.stdout
new file mode 100644
index 0000000..747064f
--- /dev/null
+++ b/testsuite/tests/determinism/determ021/determ021.stdout
@@ -0,0 +1,22 @@
+[1 of 1] Compiling A                ( A.hs, A.o )
+TYPE SIGNATURES
+  test2 ::
+    forall t b (f :: * -> *).
+    (Num b, Num t, Applicative f) =>
+    (t -> f b) -> f b
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]
+[1 of 1] Compiling A                ( A.hs, A.o )
+TYPE SIGNATURES
+  test2 ::
+    forall t b (f :: * -> *).
+    (Num b, Num t, Applicative f) =>
+    (t -> f b) -> f b
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]