Test for Trac #1888

testsuite/tests/ghc-regress/rename/should_fail/all.T

@@ -49,3 +49,4 @@ test('rnfail044', normal, compile_fail, [''])
 test('rnfail045', normal, compile_fail, [''])
 test('rnfail046', normal, compile_fail, [''])
 test('rnfail047', normal, multimod_compile_fail, ['rnfail047', '-v0'])
+test('rnfail048', normal, compile_fail, [''])

testsuite/tests/ghc-regress/rename/should_fail/rnfail048.hs

+-- Trac #1888 
+-- Pretty printing for pragmas
+
+module ShouldFail where
+
+{-# NOINLINE[1] foo #-}
+{-# NOINLINE[~2] foo #-}
+{-# NOINLINE foo #-}
+{-# INLINE[1] foo #-}
+{-# INLINE[~2] foo #-}
+{-# INLINE foo #-}
+
+foo n = foo (n+1)

testsuite/tests/ghc-regress/rename/should_fail/rnfail048.stderr

+
+rnfail048.hs:11:0:
+    Duplicate INLINE pragma:
+      rnfail048.hs:11:0-17: {-# INLINE foo #-}
+      rnfail048.hs:10:0-21: {-# INLINE[~2] foo #-}
+      rnfail048.hs:9:0-20: {-# INLINE[1] foo #-}
+      rnfail048.hs:8:0-19: {-# NOINLINE foo #-}
+      rnfail048.hs:7:0-23: {-# NOINLINE[~2] foo #-}
+      rnfail048.hs:6:0-22: {-# NOINLINE[1] foo #-}