testsuite/tests/safeHaskell/safeInfered/UnsafeWarn07.hs


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

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

-- | Unsafe as uses RULES
module UnsafeWarn07 where

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