testsuite/tests/safeHaskell/check/Check01.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE Haskell2010 #-}
{-# OPTIONS_GHC -fpackage-trust #-}
{-# LANGUAGE Unsafe #-}
module Check01 ( main' ) where

import safe Check01_B

main' = do
    let n = mainM 1
    print $ n