testsuite/tests/safeHaskell/check/Check06.hs


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

{-# LANGUAGE Trustworthy, NoImplicitPrelude #-}
{-# OPTIONS_GHC -fpackage-trust #-}

-- make sure importing a safe-infered module brings in the
-- pkg trust requirements correctly.
module Check06 ( main' ) where

import safe Check06_A

main' =
    let n = mainM 1
    in n