summaryrefslogtreecommitdiff
path: root/src/GF.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-02-25 22:58:55 +0000
committeraarne <aarne@cs.chalmers.se>2006-02-25 22:58:55 +0000
commita911adada07fa6b3c4e5d69b09cd3fc82bb01338 (patch)
tree4111ce77458158c35dae1bee46c5b471be8453a3 /src/GF.hs
parent281f57112a38d75fc29c4391712535f3cfad9e22 (diff)
documenting the library
Diffstat (limited to 'src/GF.hs')
-rw-r--r--src/GF.hs5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/GF.hs b/src/GF.hs
index b1f68f57d..054ff6e89 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -59,9 +59,8 @@ main = do
return ()
_ | opt doMake -> do
- case fs of
- [f] -> batchCompile os f
- _ -> putStrLnFlush "expecting exactly one gf file to compile"
+ mapM_ (batchCompile os) fs
+ return ()
_ | opt makeConcrete -> do
mkConcretes fs