src/editor/simple/save.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

import System(getArgs)
import CGI(getQuery,string)
import MUtils(apSnd)

main = save2 =<< getArgs

{-
save1 [dir] =
  do fs@[ns,_] <- readIO =<< getContents
     nes <- save_all fs
     putStrLn $ unwords nes
  where
    save_all [ns,cs] = mapM (write1 dir) (zip ns cs)
-}

write1 dir (n,c) = 
   do writeFile (dir++"/"++ne) c
      return ne
  where
    ne=if '.' `elem` n then n else n++".gf"
 
save2 [dir] =
  do nfs <- getQuery
     nes <- mapM (write1 dir . apSnd string) nfs
     putStrLn $ unwords nes