Commit 192f2908 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-10-04 16:18:03 by cvscast] Empty log message

Original author: cvscast
Date: 2003-10-04 16:18:03+00:00
parent 3385c1e7
......@@ -171,8 +171,11 @@ include depend
driver/examples.ml: cduce web/examples/build.cd web/examples/examples.xml
(cd web/examples; ../../cduce --quiet build.cd --arg examples.xml)
webpages: cduce web/site.cd
(cd web; ../cduce --quiet site.cd --arg site.xml)
webpages: cduce web/site.cd.out
(cd web; ../cduce --run site.cd.out --arg site.xml)
web/site.cd.out: cduce web/site.cd
./cduce --compile web/site.cd
website: webpages webiface
......
......@@ -785,17 +785,19 @@ and check_record (labels,(oleft,left),rights) s =
start (Array.length left - 1) s
(*
let timer_subtype = Stats.Timer.create "Types.is_empty"
*)
let is_empty d =
Stats.Timer.start timer_subtype;
(* Stats.Timer.start timer_subtype;*)
let s = slot d in
List.iter
(fun s' ->
if s'.status == Maybe then s'.status <- Empty; s'.notify <- Nothing)
!marks;
marks := [];
Stats.Timer.stop timer_subtype
(* Stats.Timer.stop timer_subtype *)
(s.status == Empty)
(*
......
......@@ -101,7 +101,7 @@ let load_include (String -> [Any*])
(* Highlighting text between {{...}} *)
let highlight (String -> [ (Char | Xvar | Xi)* ] ) x -> x
let highlight (String -> [ (Char | Xvar | Xi)* ] )
| [ '{{' h ::(Char *?) '}}' ; rest ] ->
[ <var class="highlight">h; highlight rest ]
| [ '%%' h ::(Char *?) '%%' ; rest ] ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment