-----------------------------------------------------------------------------
--
-- Module : top tests for error
-----------------------------------------------------------------------------
{-# OPTIONS_GHC -F -pgmF htfpp #-}
{-# LANGUAGE
MultiParamTypeClasses
, TypeSynonymInstances
-- , FunctionalDependencies
, FlexibleInstances
, FlexibleContexts
, ScopedTypeVariables
-- , UndecidableInstances
, OverloadedStrings
, TypeFamilies
#-}
module Main where
import {-@ HTF_TESTS @-} Uniform.Error_test
import Test.Framework
import Uniform.Strings ( putIOwords, showT )
main :: IO ()
main = do
putIOwords ["HTF errorTest.hs:\n uniform-error test"]
r <- htfMainWithArgs ["--quiet"] htf_importedTests
putIOwords ["HTF end errorTest.hs:\n posTest", showT r]
-- r2 <- errorTest
-- putIOwords [" error test end\n ", showT r2]
return r