testsuite/tests/safeHaskell/safeInfered/Mixed03.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE Unsafe #-}
-- | Should fail compilation because we import Data.Word as safe and unsafe
module Mixed03 where

import safe qualified Data.Word as DW
import System.IO
import Data.Word

f :: Int
f = 1