blob: 99649fa0791c373d6143793f483e0d07263580aa (
plain)
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-inferred module brings in the
-- pkg trust requirements correctly.
module Check06 ( main' ) where
import safe Check06_A
main' =
let n = mainM 1
in n
|