Test Trac #5342

testsuite/tests/simplCore/should_compile/T5342.hs

+module T5342 (increaseAreas) where
+
+import Control.Monad
+import Data.List
+
+nubSorted :: Eq a => [a] -> [a]
+nubSorted = undefined
+
+cellsAround :: (Num a, Num b, Ord a, Ord b) => [(a, b)] -> [(a, b)]  
+cellsAround = undefined
+
+increaseAreas :: (Num a, Num b, Ord a, Ord b) => [[(a, b)]] -> [[(a, b)]]  
+increaseAreas areas 
+ = nubSorted $ sort $
+     do
+         area <- areas
+         cell2 <- cellsAround area
+         return $ sort $ cell2 : area

testsuite/tests/simplCore/should_compile/all.T

@@ -124,3 +124,4 @@ test('T5168',
 
 test('T5329', normal, compile, [''])
 test('T5303', reqlib('mtl'), compile, [''])   # Coercion-optimiation test
+test('T5342', normal, compile, [''])  # Lint error with -prof