[commit: ghc] master: Fix #13233 by checking for lev-poly primops (16b0a07)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/16b0a07e5d0c72c1171359e546d9373442ec0564/ghc

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

commit 16b0a07e5d0c72c1171359e546d9373442ec0564
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Sun Apr 23 14:16:32 2017 -0400

    Fix #13233 by checking for lev-poly primops
    
    The implementation plan is all in Note [Detecting forced eta expansion]
    in DsExpr.


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

16b0a07e5d0c72c1171359e546d9373442ec0564
 testsuite/tests/codeGen/should_fail/T13233.stderr | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/testsuite/tests/codeGen/should_fail/T13233.stderr b/testsuite/tests/codeGen/should_fail/T13233.stderr
index 2d167cf..c1cbb97 100644
--- a/testsuite/tests/codeGen/should_fail/T13233.stderr
+++ b/testsuite/tests/codeGen/should_fail/T13233.stderr
@@ -2,7 +2,7 @@
 T13233.hs:14:11: error:
     Cannot use primitive with levity-polymorphic arguments:
       GHC.Prim.(#,#) :: a -> a -> (# a, a #)
-    Levity polymorphic arguments:
+    Levity-polymorphic arguments:
       a :: TYPE rep
       a :: TYPE rep
 
@@ -10,7 +10,7 @@ T13233.hs:22:16: error:
     Cannot use primitive with levity-polymorphic arguments:
       GHC.Prim.(#,#) :: forall (a :: TYPE rep1) (b :: TYPE rep2).
                         a -> b -> (# a, b #)
-    Levity polymorphic arguments:
+    Levity-polymorphic arguments:
       a :: TYPE rep1
       b :: TYPE rep2
 
@@ -21,4 +21,4 @@ T13233.hs:27:10: error:
                  -> (State# RealWorld -> (# State# RealWorld, c #))
                  -> State# RealWorld
                  -> (# State# RealWorld, Weak# b #)
-    Levity polymorphic arguments: a :: TYPE rep
+    Levity-polymorphic arguments: a :: TYPE rep