src/tools/MkToday.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

module Main where

import System

main :: IO ()
main = do
  system "date >foo.tmp"
  d0 <- readFile "foo.tmp"
  let d = head $ lines d0
  writeFile "Today.hs" $ mkToday d
  system "rm foo.tmp"
  return ()

mkToday d = "module Today where today = \"" ++ d ++ "\"\n"