testsuite/tests/safeHaskell/check/Check03_B.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Safe #-}

-- Since Safe we require base package be trusted to compile
module Check03_B where

import Check03_A

mainM :: Int -> Int
mainM n = trace "Allowed Leak" $ n * 2