{-# OPTIONS_GHC -F -pgmF ../../scripts/local-htfpp #-}

import "HTF" Test.Framework

-- error must be in line 7
test_foo :: Int
test_foo = 5

main :: IO ()
main = return ()