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