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
26
27
28
29
30
31
32
33
34
35
|
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet Moscova, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(* $Id: hot.ml,v 1.6 2006-07-26 18:16:05 maranget Exp $ *)
(***********************************************************************)
type saved =
Misc.saved * Lexstate.saved * Latexmacros.saved *
Counter.saved * Color.saved * Foot.saved
let checkpoint () =
Misc.checkpoint (),
Lexstate.checkpoint (),
Latexmacros.checkpoint (),
Counter.checkpoint (),
Color.checkpoint (),
Foot.checkpoint ()
and start (misc, lexstate, latexmacros, counter, color, foot) =
Misc.hot_start misc ;
Lexstate.hot_start lexstate ;
Latexmacros.hot_start latexmacros ;
Counter.hot_start counter ;
Color.hot_start color ;
Foot.hot_start foot ;
begin match !Parse_opts.destination with
| Parse_opts.Info -> InfoRef.hot_start ()
| _ -> ()
end
|
