testsuite/tests/safeHaskell/safeInfered/UnsafeInfered05_A.hs


1
2
3
4
5
6
7
8
9
10

{-# OPTIONS_GHC -fenable-rewrite-rules #-}
-- | Unsafe as uses RULES
-- Although only turns on the flag doesn't define? So mark safe
-- maybe?
module UnsafeInfered05_A where

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