diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-02-25 22:58:55 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-02-25 22:58:55 +0000 |
| commit | a911adada07fa6b3c4e5d69b09cd3fc82bb01338 (patch) | |
| tree | 4111ce77458158c35dae1bee46c5b471be8453a3 /src/GF.hs | |
| parent | 281f57112a38d75fc29c4391712535f3cfad9e22 (diff) | |
documenting the library
Diffstat (limited to 'src/GF.hs')
| -rw-r--r-- | src/GF.hs | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -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 |
