blob: da7e808acb17b0598595a1d7f210c4ea666ee18c (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE Haskell2010 #-}
{-# OPTIONS_GHC -fenable-rewrite-rules #-}
-- | Safe as while it enables rules it doesn't define any. UnsafeInfered05 is a
-- test case for when rules are defined and it should be unsafe
module SafeInfered04_A where
f :: Int
f = 1
|
