module DemoLicenses (render) where
import Prelude (String, fst, snd, ($))
import Control.Monad (forM_)
import Licenses
type Writer a = (String, a)
tell :: String -> Writer (); tell x = (x, ())
execWriter :: Writer a -> String; execWriter = fst
render :: Licenses -> String
render (z_root) = execWriter $ do
  tell "int main() {\n"
  forM_ (licenses $ z_root) $ \z_var0_license -> do
    tell "  printf(\""
    tell (licenseCon $ z_var0_license)
    tell "\\n\");\n"
  tell "}\n"