File: examples.ml

package info (click to toggle)
mlpost 0.9-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 3,844 kB
  • sloc: ml: 21,094; javascript: 4,047; makefile: 430; ansic: 34; lisp: 19; sh: 15
file content (15 lines) | stat: -rw-r--r-- 354 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
open Mlpost

let emit, dump =
  let base_name = Filename.chop_extension Sys.argv.(0) in
  let emit =
    let cnt = ref 0 in
    fun f ->
      incr cnt;
      Metapost.emit (Printf.sprintf "%s-%0.4d" base_name !cnt) f
  in
  let dump =
    let base_name = Filename.chop_extension Sys.argv.(0) in
    fun () -> Metapost.dump base_name
  in
  (emit, dump)