testsuite/tests/safeHaskell/safeInfered/SafeInfered02_A.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DeriveDataTypeable #-}
-- | Only uses deriving of Typeable so should be considered safe
module SafeInfered02_A where

import Data.Typeable

data G = G Int deriving (Typeable)

f :: Int
f = 1