testsuite/tests/rename/should_compile/T13646.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE BangPatterns #-}

module T13646 where

import Control.Exception

foo :: IO ()
foo = do let !() = assert False ()
             -- Should not give a warning

         let () = assert False ()
             -- Should give a warning

         pure ()