repo.or.cz
/
dormin.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Initial
[dormin.git]
/
slice.ml
blob
752df9934304f1dff177eac2608295b31ad56c86
1
let
slice_oc
=
ref
None
2
3
let
add
name data
=
4
match
!
slice_oc
with
5
|
None
-> ()
6
|
Some oc
->
7
Format
.
printf
"adding
%s
@."
name
;
8
output_char oc '
\000
'
;
9
output_string oc name
;
10
output_char oc '
\000
'
;
11
output_string oc data
;
12
;;
13
14
let
openslice
name
=
15
let
oc
=
open_out_bin name
in
16
slice_oc
:=
Some
oc
;
17
;;