blob: 5280c51fad5152e9075261dde027c62901ff6455 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE Safe #-}
-- Since Safe we require base package be trusted to compile
module Check04_B where
import Check04_A
mainM :: Int -> Int
mainM n = trace "Allowed Leak" $ n * 2
|