1 module Main (main) where
    2 
    3 
    4 import FA (hsTNFA)
    5 
    6 import Heave 
    7 import Loop
    8 
    9 import Gen
   10 import Defaults
   11 
   12 
   13 gmain :: String -> IO ()
   14 -- give argument string, as you would on the command line
   15 gmain args = gheave opts0 
   16         (expformat hsTNFA genval) (genpid, genenv) args
   17 
   18 main :: IO ()
   19 -- reads command line
   20 main = heave opts0 
   21         (expformat hsTNFA genval) (genpid, genenv)
   22