From 352ac74b0ff4fb616a9f40332b4c60d6c8953564 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 20 May 2009 11:25:00 +0000 Subject: examples/test is moved to testsuite --- examples/test/parser/Parse.hs | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 examples/test/parser/Parse.hs (limited to 'examples/test/parser/Parse.hs') diff --git a/examples/test/parser/Parse.hs b/examples/test/parser/Parse.hs deleted file mode 100644 index 4a828301d..000000000 --- a/examples/test/parser/Parse.hs +++ /dev/null @@ -1,34 +0,0 @@ -import PGF -import Data.Maybe -import System.IO -import System.CPUTime -import Control.Monad - -main = do - pgf <- readPGF "grammar.pgf" - ts <- fmap (map (fromJust . readTree) . lines) $ readFile "trees.txt" - ss <- foldM (doTest pgf (mkCId "LangGer") (fromJust (readType "Phr"))) [] ts - mapM_ (hPutStrLn stderr . show) [(fromIntegral s / fromIntegral n)/1000000000 | (s,n) <- ss] - putStrLn "Done." - -doTest pgf lang cat ss t = do - let s = linearize pgf lang t - putStr (s ++ " ... ") - let st = initState pgf lang cat - t1 <- getCPUTime - res <- doParse st t1 [] (words s) - case res of - Just (st,ts) -> putStrLn "Ok" >> return (accum ts ss) - Nothing -> putStrLn "Fail" >> return ss - - -doParse st t1 ts [] = return (Just (st,reverse ts)) -doParse st t1 ts (tk:tks) = do - case nextState st tk of - Nothing -> return Nothing - Just st -> do t2 <- getCPUTime - doParse st t1 ((t2-t1):ts) tks - -accum [] ss = ss -accum (t:ts) [] = (t,1) : accum ts [] -accum (t:ts) ((s,n):ss) = (s+t,n+1) : accum ts ss -- cgit v1.2.3