module Main where

import           Debug.Trace
import qualified Data.Tree as T
import qualified Data.Vector.Unboxed as VU
import           Test.QuickCheck
import           Test.Tasty
import           Test.Tasty.QuickCheck
import           Test.Tasty.TH

import           Data.Forest.Static

-- Finite tree ?

--prop_finite :: [QCTree ()] -> Bool
--prop_finite qs = True -- traceShow qs True

---- Given trees, create a pre-order forest and then generate the trees from
---- the pre-order forest again.
--
--prop_bla :: [QCTree ()] -> Bool
--prop_bla qs = ts == xs
--  where xs = forestToTrees f
--        ts = map getTree qs
--        f  = forestPre ts :: Forest Pre VU.Vector ()

-- Same, but with post-order.

main :: IO ()
main = $(defaultMainGenerator)