testsuite/tests/safeHaskell/safeInfered/TrustworthySafe02.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Trustworthy #-}
{-# OPTIONS_GHC -fwarn-trustworthy-safe #-}

-- | This module is marked trustworthy but should be inferable as -XSafe.
-- Warning enabled.
module TrustworthySafe02 where

g :: Int
g = 1