shell command pg -pgf writes current pgf into a file

2010-12-07 16:05:37 +00:00
parent b39d69eeae
commit 978e2e4241
2 changed files with 4 additions and 1 deletions
--- a/src/compiler/GFC.hs
+++ b/src/compiler/GFC.hs
@@ -1,4 +1,4 @@
-module GFC (mainGFC) where
+module GFC (mainGFC, writePGF) where
 -- module Main where

 import PGF