blob: 75bde26b4e13623e77e8899754262ba65a110c1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
-- safe inference
-- same module as M_SafePkg4 which compiles with -XSafe.
-- Want to make sure compiles fine and is inferred safe and
-- also picks up corrected pkg trust requirements.
module M_SafePkg5 where
import qualified M_SafePkg3 as M3
import Data.Word
bigInt :: Int
bigInt = M3.bigInt
type MyWord = Word
|