packages feed

inspection-testing-0.6.3: examples/HPCs.hs

{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -O -fhpc -fplugin-opt=Test.Inspection.Plugin:quiet #-}
module HPCs where

import Test.Inspection

main :: IO ()
main = return ()

theTwo :: Int
theTwo = 2

anotherTwo :: Int
anotherTwo = 2

theOnePlusOne :: Int
theOnePlusOne = 1 + 1

inspect $ 'theTwo ==- 'theOnePlusOne
inspect $ 'theTwo ==- 'anotherTwo
inspect $ 'theTwo =/= 'theOnePlusOne
inspect $ 'theTwo =/= 'anotherTwo