Liquorice-0.0.1: TestMain.hs
{-# OPTIONS_GHC -F -pgmF htfpp #-}
module Main where
import Test.Framework
import {-@ HTF_TESTS @-} Liquorice
import {-@ HTF_TESTS @-} Liquorice.Pure
import {-@ HTF_TESTS @-} Liquorice.Monad as M
import {-@ HTF_TESTS @-} Liquorice.Render
import {-@ HTF_TESTS @-} Liquorice.Line
import {-@ HTF_TESTS @-} Liquorice.Wad
test_example9 = let pre = addLine (Line (0,0) (0,128) "" "" "" 0 0 0 0) start
post = addLine (Line (0,64) (0,192) "" "" "" 0 0 0 0) pre
in assertEqual 3 (length (linedefs post))
main = htfMain htf_importedTests