From 3b4ee92cbece3aff0243f0dfd0f41121808d8e8c Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 28 Sep 2007 13:42:50 +0000
Subject: started CheckGFCC

---
 src/GF/Devel/GFC.hs | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

(limited to 'src/GF/Devel/GFC.hs')

diff --git a/src/GF/Devel/GFC.hs b/src/GF/Devel/GFC.hs
index f6753e31f..6d9108eea 100644
--- a/src/GF/Devel/GFC.hs
+++ b/src/GF/Devel/GFC.hs
@@ -2,6 +2,9 @@ module Main where
 
 import GF.Devel.Compile
 import GF.Devel.GrammarToGFCC
+import GF.Canon.GFCC.CheckGFCC
+import GF.Canon.GFCC.PrintGFCC
+import GF.Canon.GFCC.DataGFCC
 import GF.Devel.UseIO
 import GF.Infra.Option
 ---import GF.Devel.PrGrammar ---
@@ -17,10 +20,19 @@ main = do
     _ | oElem (iOpt "-make") opts -> do
       gr <- batchCompile opts fs
       let name = justModuleName (last fs)
-      let (abs,gc) = prGrammar2gfcc opts name gr
+      let (abs,gc) = mkCanon2gfcc opts name gr
+
+      if oElem (iOpt "check") opts then (check gc) else return ()
+
       let target = abs ++ ".gfcc"
-      writeFile target gc
+      writeFile target (printTree gc)
       putStrLn $ "wrote file " ++ target
     _ -> do
       mapM_ (batchCompile opts) (map return fs)
       putStrLn "Done."
+
+check gc = do
+  let gfcc = mkGFCC gc
+  b <- checkGFCC gfcc
+  putStrLn $ if b then "OK" else "Corrupted GFCC"
+
-- 
cgit v1.2.3