blob: e0cabff5495f0a38eb14e0707653792c1eacdf64 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# 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 #-}
{-# NOINLINE [1] f #-}
f :: Int
f = 1
|