testsuite/tests/safeHaskell/safeInfered/UnsafeWarn06.hs


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

{-# OPTIONS_GHC -fenable-rewrite-rules #-}
{-# OPTIONS_GHC -fwarn-safe #-}
{-# OPTIONS_GHC -fwarn-unsafe #-}

-- | Unsafe as uses RULES
module UnsafeWarn06 where

{-# RULES "f" f = undefined #-}
{-# NOINLINE [1] f #-}
f :: Int
f = 1