diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-04-23 14:16:32 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-05-02 23:07:28 -0400 |
| commit | 16b0a07e5d0c72c1171359e546d9373442ec0564 (patch) | |
| tree | 1b29e57104028eae78eb4032ebf1d9119f7eb147 | |
| parent | 09bf135ace55ce2572bf4168124d631e386c64bb (diff) | |
| download | haskell-16b0a07e5d0c72c1171359e546d9373442ec0564.tar.gz | |
Fix #13233 by checking for lev-poly primops
The implementation plan is all in Note [Detecting forced eta expansion]
in DsExpr.
| -rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233.stderr b/testsuite/tests/codeGen/should_fail/T13233.stderr index 2d167cf5f7..c1cbb97d21 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 |