blob: dde6908f3084f69c1691091dd48d3faf06ee0532 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE Trustworthy, NoImplicitPrelude #-}
{-# OPTIONS_GHC -fpackage-trust #-}
-- make sure selective safe imports brings in pkg trust requirements correctly.
-- (e.g only for the imports that are safe ones)
module Check08 ( main' ) where
import safe Check08_A -- no pkg trust reqs
import safe Check08_B -- base pkg trust req
main' =
let n = a (b 1)
in n
|