doc: remove unprefix trick
octachron
Jérémie Dimino
parent
642504c5e7
commit
075bf9bed6
|
|
@ -100,7 +100,6 @@ _ocamltestd
|
|||
/ocamldoc/odoc_text_parser.ml
|
||||
/ocamldoc/odoc_text_parser.mli
|
||||
/ocamldoc/stdlib_man
|
||||
/ocamldoc/stdlib_non_prefixed/*.mli
|
||||
/ocamldoc/stdlib_html
|
||||
/ocamldoc/*.output
|
||||
/ocamldoc/test_stdlib
|
||||
|
|
|
|||
1
Makefile
1
Makefile
|
|
@ -982,7 +982,6 @@ otherlibs_all := bigarray dynlink graph raw_spacetime_lib \
|
|||
str systhreads threads unix win32graph win32unix
|
||||
subdirs := debugger lex ocamldoc ocamltest runtime stdlib tools \
|
||||
$(addprefix otherlibs/, $(otherlibs_all)) \
|
||||
ocamldoc/stdlib_non_prefixed
|
||||
|
||||
.PHONY: alldepend
|
||||
ifeq "$(TOOLCHAIN)" "msvc"
|
||||
|
|
|
|||
|
|
@ -7,10 +7,12 @@ SET_LD_PATH = CAML_LD_LIBRARY_PATH=$(LD_LIBRARY_PATH)
|
|||
OCAMLDOC = $(if $(wildcard $(SRC)/ocamldoc/ocamldoc.opt),\
|
||||
$(SRC)/ocamldoc/ocamldoc.opt,\
|
||||
$(SET_LD_PATH) $(SRC)/runtime/ocamlrun $(SRC)/ocamldoc/ocamldoc)\
|
||||
-hide Pervasives -nostdlib -initially-opened-module Pervasives
|
||||
-hide Stdlib -lib Stdlib -nostdlib \
|
||||
-pp "awk -v ocamldoc=true -f $(SRC)/stdlib/expand_module_aliases.awk"
|
||||
|
||||
# Copy and unprefix the standard library when needed
|
||||
include $(SRC)/ocamldoc/Makefile.unprefix
|
||||
|
||||
# Import the list of mli files for the library docs
|
||||
include $(SRC)/ocamldoc/Makefile.docfiles
|
||||
|
||||
TEXQUOTE = $(SRC)/runtime/ocamlrun ../tools/texquote2
|
||||
|
||||
|
|
@ -47,11 +49,11 @@ html: htmlman/libref/style.css etex-files
|
|||
manual.hva -e macros.tex ../manual.tex \
|
||||
&& $(HACHA) -tocter manual.html
|
||||
|
||||
htmlman/libref/style.css: style.css $(STDLIB_MLIS) | unprefix_stdlib_for_ocamldoc
|
||||
htmlman/libref/style.css: style.css $(STDLIB_DEPS)
|
||||
mkdir -p htmlman/libref
|
||||
$(OCAMLDOC) -colorize-code -sort -html \
|
||||
-d htmlman/libref \
|
||||
-I $(STDLIB_UNPREFIXED) \
|
||||
$(DOC_INCLUDES) \
|
||||
$(STDLIB_MLIS)
|
||||
cp style.css $@
|
||||
|
||||
|
|
|
|||
|
|
@ -9,26 +9,19 @@ SET_LD_PATH = CAML_LD_LIBRARY_PATH=$(LD_PATH)
|
|||
OCAMLDOC = $(if $(wildcard $(CSLDIR)/ocamldoc/ocamldoc.opt),\
|
||||
$(CSLDIR)/ocamldoc/ocamldoc.opt,\
|
||||
$(SET_LD_PATH) $(CSLDIR)/runtime/ocamlrun $(CSLDIR)/ocamldoc/ocamldoc) \
|
||||
-nostdlib -initially-opened-module Pervasives
|
||||
-hide Stdlib -lib Stdlib -nostdlib \
|
||||
-pp "awk -v ocamldoc=true -f $(SRC)/stdlib/expand_module_aliases.awk"
|
||||
|
||||
# Copy and unprefix the standard library when needed
|
||||
include $(SRC)/ocamldoc/Makefile.unprefix
|
||||
|
||||
#Import mli file lists
|
||||
include $(SRC)/ocamldoc/Makefile.docfiles
|
||||
|
||||
|
||||
TEXQUOTE = $(SRC)/runtime/ocamlrun ../../tools/texquote2
|
||||
|
||||
CORE_INTF = Stdlib.tex
|
||||
|
||||
CORE_INTF = Pervasives.tex
|
||||
|
||||
STDLIB_INTF = Arg.tex Array.tex ArrayLabels.tex Char.tex Complex.tex \
|
||||
Digest.tex Filename.tex Format.tex \
|
||||
Gc.tex Genlex.tex Hashtbl.tex Int32.tex Int64.tex \
|
||||
Lazy.tex Lexing.tex List.tex ListLabels.tex Map.tex Marshal.tex \
|
||||
MoreLabels.tex Nativeint.tex Obj.tex Oo.tex Option.tex \
|
||||
Parsing.tex Printexc.tex Printf.tex Queue.tex Random.tex Result.tex \
|
||||
Scanf.tex Set.tex Stack.tex Stream.tex String.tex StringLabels.tex Sys.tex \
|
||||
Weak.tex Callback.tex Buffer.tex StdLabels.tex \
|
||||
Bytes.tex BytesLabels.tex Spacetime.tex
|
||||
STDLIB_INTF = $(STDLIB_MODs:%=%.tex)
|
||||
|
||||
COMPILER_LIBS_PLUGIN_HOOKS = Pparse.tex Typemod.tex
|
||||
|
||||
|
|
@ -59,9 +52,9 @@ libs: $(FILES)
|
|||
# ocamldoc.out is used as witness for the generation of the stdlib tex files to
|
||||
# avoid issues with parallel make invocations.
|
||||
$(INTF): ocamldoc.out
|
||||
ocamldoc.out: $(STDLIB_MLIS) | unprefix_stdlib_for_ocamldoc
|
||||
ocamldoc.out: $(STDLIB_DEPS)
|
||||
$(OCAMLDOC) -latex \
|
||||
-I $(STDLIB_UNPREFIXED) \
|
||||
$(DOC_INCLUDES) \
|
||||
$(STDLIB_MLIS) \
|
||||
-sepfiles \
|
||||
-latextitle "1,subsection*" \
|
||||
|
|
|
|||
|
|
@ -25,11 +25,12 @@ indexed at the end of this report.
|
|||
\input{builtin.tex}
|
||||
|
||||
\ifouthtml
|
||||
\section{Module {\tt Pervasives}: the initially opened module}
|
||||
\section{Module {\tt Stdlib}: the initially opened module}
|
||||
\begin{links}
|
||||
\item \ahref{libref/Pervasives.html}{Module \texttt{Pervasives}: the initially opened module}
|
||||
\item \ahref{libref/Stdlib.html}{Module \texttt{Stdlib}: the initially opened module}
|
||||
\item \ahref{libref/Pervasives.html}{Module \texttt{Pervasives}: deprecated alias for Stdlib}
|
||||
\end{links}
|
||||
\else
|
||||
\input{Pervasives.tex}
|
||||
\input{Stdlib.tex}
|
||||
\fi
|
||||
|
||||
|
|
|
|||
|
|
@ -225,10 +225,10 @@ $(OCAMLDOC_LIBCMXA): $(LIBCMXFILES)
|
|||
$(OCAMLOPT) -a -o $@ $(LINKFLAGS) $^
|
||||
|
||||
.PHONY: manpages
|
||||
manpages: stdlib_man/Pervasives.3o
|
||||
manpages: stdlib_man/Stdlib.3o
|
||||
|
||||
.PHONY: html_doc
|
||||
html_doc: stdlib_html/Pervasives.html
|
||||
html_doc: stdlib_html/Stdlib.html
|
||||
|
||||
.PHONY: dot
|
||||
dot: ocamldoc.dot
|
||||
|
|
@ -397,18 +397,24 @@ test_texi:
|
|||
# stdlib non-prefixed :
|
||||
#######################
|
||||
SRC=$(ROOTDIR)
|
||||
include Makefile.unprefix
|
||||
|
||||
stdlib_man/Pervasives.3o: $(OCAMLDOC) $(STDLIB_MLIS)
|
||||
$(MAKE) unprefix_stdlib_for_ocamldoc
|
||||
# Documented modules: stdlib + otherlib + utils(?) + parsing(for compiler-libs)
|
||||
|
||||
include Makefile.docfiles
|
||||
|
||||
stdlib_man/Stdlib.3o: $(OCAMLDOC) $(STDLIB_DEPS)
|
||||
$(MKDIR) stdlib_man
|
||||
$(OCAMLDOC_RUN) -man -d stdlib_man -nostdlib -I stdlib_non_prefixed \
|
||||
$(OCAMLDOC_RUN) -man -d stdlib_man -nostdlib $(DOC_INCLUDES) \
|
||||
-hide Stdlib -lib Stdlib \
|
||||
-pp "awk -v ocamldoc=true -f $(SRC)/stdlib/expand_module_aliases.awk" \
|
||||
-t "OCaml library" -man-mini $(STDLIB_MLIS)
|
||||
|
||||
stdlib_html/Pervasives.html: $(OCAMLDOC) $(STDLIB_MLIS)
|
||||
$(MAKE) unprefix_stdlib_for_ocamldoc
|
||||
stdlib_html/Stdlib.html: $(OCAMLDOC) $(STDLIB_DEPS)
|
||||
$(MKDIR) stdlib_html
|
||||
$(OCAMLDOC_RUN) -d stdlib_html -html -nostdlib -I stdlib_non_prefixed \
|
||||
$(OCAMLDOC_RUN) \
|
||||
-hide Stdlib -lib Stdlib \
|
||||
-pp "awk -v ocamldoc=true -f $(SRC)/stdlib/expand_module_aliases.awk" \
|
||||
-d stdlib_html -html -nostdlib $(DOC_INCLUDES) \
|
||||
-t "OCaml library" $(STDLIB_MLIS)
|
||||
|
||||
.PHONY: autotest_stdlib
|
||||
|
|
@ -470,7 +476,6 @@ clean:
|
|||
rm -f odoc_parser.ml odoc_parser.mli odoc_text_parser.ml odoc_text_parser.mli
|
||||
rm -rf stdlib_man stdlib_html
|
||||
rm -f generators/*.cm[taiox] generators/*.$(A) generators/*.$(O) generators/*.cmx[as]
|
||||
rm -f stdlib_non_prefixed/*.mli stdlib_non_prefixed/*.cmi
|
||||
|
||||
.PHONY: depend
|
||||
depend:
|
||||
|
|
|
|||
|
|
@ -0,0 +1,54 @@
|
|||
#**************************************************************************
|
||||
#* *
|
||||
#* OCaml *
|
||||
#* *
|
||||
#* Florian Angeletti *
|
||||
#* *
|
||||
#* Copyright 2018 *
|
||||
#* *
|
||||
#* All rights reserved. This file is distributed under the terms of *
|
||||
#* the GNU Lesser General Public License version 2.1, with the *
|
||||
#* special exception on linking described in the file LICENSE. *
|
||||
#* *
|
||||
#**************************************************************************
|
||||
|
||||
# Define the lists of mli file used by ocamldoc to generate the stdlib
|
||||
# + otherlibs + compilerlibs + plugin hooks documentation
|
||||
|
||||
include $(SRC)/config/Makefile
|
||||
include $(SRC)/stdlib/StdlibModules
|
||||
PARSING_MLIS := $(wildcard $(SRC)/parsing/*.mli)
|
||||
UTILS_MLIS := $(wildcard $(SRC)/utils/*.mli)
|
||||
TYPING_MLIS := $(SRC)/typing/typemod.mli
|
||||
BYTECOMP_MLIS := $(SRC)/bytecomp/simplif.mli
|
||||
STR_MLIS = $(addprefix $(SRC)/otherlibs/str/, str.mli)
|
||||
UNIX_MLIS = $(addprefix $(SRC)/otherlibs/unix/, unix.mli unixLabels.mli)
|
||||
GRAPHICS_MLIS = $(addprefix $(SRC)/otherlibs/graph/, graphics.mli graphicsX11.mli)
|
||||
DYNLINK_MLIS = $(addprefix $(SRC)/otherlibs/dynlink/, dynlink.mli)
|
||||
THREAD_MLIS = $(addprefix $(SRC)/otherlibs/systhreads/, \
|
||||
thread.mli condition.mli mutex.mli event.mli threadUnix.mli)
|
||||
DRIVER_MLIS = $(SRC)/driver/pparse.mli
|
||||
|
||||
DOC_ALL_DIRS = stdlib parsing utils typing bytecomp driver \
|
||||
otherlibs/str \
|
||||
otherlibs/$(UNIXLIB) otherlibs/graphics otherlibs/dynlink \
|
||||
otherlibs/systhreads
|
||||
|
||||
DOC_INCLUDES = $(addprefix -I $(SRC)/, $(DOC_ALL_DIRS))
|
||||
|
||||
STDLIB_MODS = $(STDLIB_MODULES:stdlib__%=%)
|
||||
|
||||
STDLIB_MOD_WP = $(filter-out stdlib__pervasives, $(STDLIB_MODULES))
|
||||
STDLIB_MLI0 = $(SRC)/stdlib/pervasives.ml $(STDLIB_MOD_WP:%=$(SRC)/stdlib/%.mli)
|
||||
STDLIB_MLIS=\
|
||||
$(STDLIB_MLI0:$(SRC)/stdlib/stdlib__%=$(SRC)/stdlib/%) \
|
||||
$(PARSING_MLIS) \
|
||||
$(UTILS_MLIS) \
|
||||
$(TYPING_MLIS) \
|
||||
$(BYTECOMP_MLIS) \
|
||||
$(DRIVER_MLIS) \
|
||||
$(STR_MLIS) \
|
||||
$(UNIX_MLIS) \
|
||||
$(THREAD_MLIS) \
|
||||
$(GRAPHICS_MLIS) \
|
||||
$(DYNLINK_MLIS)
|
||||
|
|
@ -1,106 +0,0 @@
|
|||
#**************************************************************************
|
||||
#* *
|
||||
#* OCaml *
|
||||
#* *
|
||||
#* Florian Angeletti *
|
||||
#* *
|
||||
#* Copyright 2017 *
|
||||
#* *
|
||||
#* All rights reserved. This file is distributed under the terms of *
|
||||
#* the GNU Lesser General Public License version 2.1, with the *
|
||||
#* special exception on linking described in the file LICENSE. *
|
||||
#* *
|
||||
#**************************************************************************
|
||||
|
||||
|
||||
include $(SRC)/config/Makefile
|
||||
|
||||
P :=
|
||||
VPATH=.:$(SRC)
|
||||
include $(SRC)/stdlib/StdlibModules
|
||||
|
||||
STDLIB_UNPREFIXED=$(SRC)/ocamldoc/stdlib_non_prefixed
|
||||
|
||||
PARSING_MLIS := $(wildcard $(SRC)/parsing/*.mli)
|
||||
UTILS_MLIS := $(wildcard $(SRC)/utils/*.mli)
|
||||
TYPING_MLIS := $(wildcard $(SRC)/typing/*.mli)
|
||||
BYTECOMP_MLIS := $(wildcard $(SRC)/bytecomp/*.mli)
|
||||
|
||||
# Documented modules: stdlib + otherlib + utils(?) + parsing(for compiler-libs)
|
||||
STDLIB_MLIS=\
|
||||
$(STDLIB_MODULES:%=%.mli) \
|
||||
$(PARSING_MLIS:$(SRC)/parsing/%.mli=%.mli) \
|
||||
$(UTILS_MLIS:$(SRC)/utils/%.mli=%.mli) \
|
||||
str.mli \
|
||||
unix.mli unixLabels.mli \
|
||||
graphics.mli graphicsX11.mli \
|
||||
dynlink.mli \
|
||||
thread.mli mutex.mli condition.mli event.mli threadUnix.mli \
|
||||
pparse.mli
|
||||
|
||||
STDLIB_MLIS:=$(addprefix $(STDLIB_UNPREFIXED)/, $(STDLIB_MLIS))
|
||||
|
||||
# Dependencies for the documented modules
|
||||
STDLIB_DEPS:=$(STDLIB_MLIS) \
|
||||
$(TYPING_MLIS:$(SRC)/typing/%.mli=$(STDLIB_UNPREFIXED)/%.mli) \
|
||||
$(BYTECOMP_MLIS:$(SRC)/bytecomp/%.mli=$(STDLIB_UNPREFIXED)/%.mli)
|
||||
|
||||
# Add back the isolated modules in typing and bytecomp
|
||||
STDLIB_MLIS:= $(STDLIB_MLIS) \
|
||||
$(addprefix $(STDLIB_UNPREFIXED)/, typemod.mli simplif.mli)
|
||||
|
||||
|
||||
STDLIB_CMIS=$(STDLIB_DEPS:%.mli=%.cmi)
|
||||
|
||||
|
||||
# Copy mli files from the main source directory
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/stdlib/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/pervasives.mli:
|
||||
echo '[@@@deprecated "Use Stdlib instead."]' > $@
|
||||
echo 'include module type of struct include Stdlib end' >> $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/parsing/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/utils/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/otherlibs/$(UNIXLIB)/%.mli
|
||||
sed 's/Stdlib\.//g' $< > $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/otherlibs/str/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/otherlibs/num/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/otherlibs/graph/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/otherlibs/threads/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/otherlibs/dynlink/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/driver/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/typing/%.mli
|
||||
cp $< $@
|
||||
|
||||
$(STDLIB_UNPREFIXED)/%.mli: $(SRC)/bytecomp/%.mli
|
||||
cp $< $@
|
||||
|
||||
# Remove aliases from stdlib.mli
|
||||
$(STDLIB_UNPREFIXED)/stdlib.mli: $(SRC)/stdlib/stdlib.mli \
|
||||
$(SRC)/stdlib/remove_module_aliases.awk
|
||||
$(AWK) -f $(SRC)/stdlib/remove_module_aliases.awk $< > $@
|
||||
|
||||
# Build cmis file inside the STDLIB_UNPREFIXED directories
|
||||
.PHONY: unprefix_stdlib_for_ocamldoc
|
||||
unprefix_stdlib_for_ocamldoc: $(STDLIB_MLIS) $(STDLIB_DEPS)
|
||||
@$(MAKE) -C $(STDLIB_UNPREFIXED) $(notdir $(STDLIB_CMIS))
|
||||
|
|
@ -1,190 +0,0 @@
|
|||
annot.cmi : location.cmi
|
||||
arg.cmi :
|
||||
arg_helper.cmi : map.cmi
|
||||
array.cmi : seq.cmi
|
||||
arrayLabels.cmi : seq.cmi
|
||||
ast_helper.cmi : parsetree.cmi longident.cmi location.cmi docstrings.cmi \
|
||||
asttypes.cmi
|
||||
ast_invariants.cmi : parsetree.cmi
|
||||
ast_iterator.cmi : parsetree.cmi location.cmi
|
||||
ast_mapper.cmi : parsetree.cmi location.cmi
|
||||
asttypes.cmi : location.cmi
|
||||
attr_helper.cmi : parsetree.cmi location.cmi format.cmi asttypes.cmi
|
||||
bigarray.cmi : complex.cmi
|
||||
btype.cmi : types.cmi set.cmi path.cmi map.cmi hashtbl.cmi format.cmi \
|
||||
asttypes.cmi
|
||||
buffer.cmi : uchar.cmi seq.cmi
|
||||
build_path_prefix_map.cmi :
|
||||
builtin_attributes.cmi : parsetree.cmi location.cmi
|
||||
bytegen.cmi : lambda.cmi instruct.cmi
|
||||
bytelibrarian.cmi : format.cmi
|
||||
bytelink.cmi : symtable.cmi format.cmi digest.cmi cmo_format.cmi
|
||||
bytepackager.cmi : ident.cmi format.cmi env.cmi
|
||||
bytes.cmi : seq.cmi
|
||||
bytesLabels.cmi : seq.cmi
|
||||
bytesections.cmi :
|
||||
callback.cmi :
|
||||
camlinternalFormat.cmi : camlinternalFormatBasics.cmi buffer.cmi
|
||||
camlinternalFormatBasics.cmi :
|
||||
camlinternalLazy.cmi :
|
||||
camlinternalMenhirLib.cmi : obj.cmi lexing.cmi lazy.cmi
|
||||
camlinternalMod.cmi : obj.cmi
|
||||
camlinternalOO.cmi : obj.cmi
|
||||
ccomp.cmi :
|
||||
char.cmi :
|
||||
clflags.cmi : profile.cmi misc.cmi arg.cmi
|
||||
cmi_format.cmi : types.cmi format.cmi digest.cmi
|
||||
cmo_format.cmi : lambda.cmi ident.cmi digest.cmi
|
||||
cmt_format.cmi : types.cmi typedtree.cmi location.cmi env.cmi digest.cmi \
|
||||
cmi_format.cmi
|
||||
complex.cmi :
|
||||
condition.cmi : mutex.cmi
|
||||
config.cmi :
|
||||
consistbl.cmi : digest.cmi
|
||||
ctype.cmi : types.cmi path.cmi longident.cmi ident.cmi env.cmi asttypes.cmi
|
||||
datarepr.cmi : types.cmi path.cmi ident.cmi
|
||||
depend.cmi : parsetree.cmi misc.cmi longident.cmi
|
||||
digest.cmi :
|
||||
dll.cmi :
|
||||
docstrings.cmi : parsetree.cmi location.cmi lexing.cmi lazy.cmi
|
||||
dynlink.cmi : digest.cmi
|
||||
emitcode.cmi : misc.cmi instruct.cmi ident.cmi cmo_format.cmi
|
||||
env.cmi : warnings.cmi types.cmi subst.cmi string.cmi path.cmi misc.cmi \
|
||||
longident.cmi location.cmi ident.cmi format.cmi digest.cmi consistbl.cmi \
|
||||
cmi_format.cmi asttypes.cmi
|
||||
envaux.cmi : subst.cmi path.cmi format.cmi env.cmi
|
||||
ephemeron.cmi : hashtbl.cmi
|
||||
event.cmi :
|
||||
filename.cmi :
|
||||
float.cmi : stdlib.cmi
|
||||
format.cmi : stdlib.cmi buffer.cmi
|
||||
gc.cmi :
|
||||
genlex.cmi : stream.cmi
|
||||
graphics.cmi :
|
||||
graphicsX11.cmi :
|
||||
hashtbl.cmi : seq.cmi
|
||||
ident.cmi : identifiable.cmi
|
||||
identifiable.cmi : set.cmi map.cmi hashtbl.cmi format.cmi
|
||||
includeclass.cmi : types.cmi location.cmi format.cmi env.cmi ctype.cmi
|
||||
includecore.cmi : types.cmi typedtree.cmi location.cmi ident.cmi format.cmi \
|
||||
env.cmi
|
||||
includemod.cmi : types.cmi typedtree.cmi path.cmi location.cmi \
|
||||
includecore.cmi ident.cmi format.cmi env.cmi ctype.cmi
|
||||
instruct.cmi : types.cmi subst.cmi location.cmi lambda.cmi ident.cmi env.cmi
|
||||
int32.cmi :
|
||||
int64.cmi :
|
||||
lambda.cmi : types.cmi primitive.cmi path.cmi location.cmi ident.cmi env.cmi \
|
||||
asttypes.cmi
|
||||
lazy.cmi :
|
||||
lexer.cmi : parser.cmi location.cmi lexing.cmi
|
||||
lexing.cmi :
|
||||
list.cmi : seq.cmi
|
||||
listLabels.cmi : seq.cmi
|
||||
location.cmi : warnings.cmi lexing.cmi format.cmi
|
||||
longident.cmi :
|
||||
map.cmi : seq.cmi
|
||||
marshal.cmi :
|
||||
matching.cmi : typedtree.cmi location.cmi lambda.cmi ident.cmi
|
||||
meta.cmi : obj.cmi instruct.cmi
|
||||
misc.cmi : string.cmi stdlib.cmi set.cmi map.cmi hashtbl.cmi format.cmi \
|
||||
build_path_prefix_map.cmi
|
||||
moreLabels.cmi : set.cmi seq.cmi map.cmi hashtbl.cmi
|
||||
mtype.cmi : types.cmi path.cmi ident.cmi env.cmi
|
||||
mutex.cmi :
|
||||
nativeint.cmi :
|
||||
numbers.cmi : set.cmi int64.cmi identifiable.cmi
|
||||
obj.cmi : int32.cmi
|
||||
oo.cmi : camlinternalOO.cmi
|
||||
oprint.cmi : outcometree.cmi format.cmi
|
||||
option.cmi : seq.cmi
|
||||
outcometree.cmi : format.cmi asttypes.cmi
|
||||
parmatch.cmi : types.cmi typedtree.cmi parsetree.cmi location.cmi \
|
||||
hashtbl.cmi env.cmi asttypes.cmi
|
||||
parse.cmi : parsetree.cmi lexing.cmi
|
||||
parser.cmi : parsetree.cmi location.cmi lexing.cmi docstrings.cmi \
|
||||
camlinternalMenhirLib.cmi
|
||||
parsetree.cmi : longident.cmi location.cmi asttypes.cmi
|
||||
parsing.cmi : obj.cmi lexing.cmi
|
||||
path.cmi : set.cmi map.cmi ident.cmi
|
||||
pervasives.cmi : stdlib.cmi
|
||||
pparse.cmi : parsetree.cmi misc.cmi lexing.cmi format.cmi
|
||||
pprintast.cmi : parsetree.cmi longident.cmi format.cmi
|
||||
predef.cmi : types.cmi path.cmi ident.cmi
|
||||
primitive.cmi : parsetree.cmi outcometree.cmi location.cmi
|
||||
printast.cmi : parsetree.cmi format.cmi
|
||||
printexc.cmi :
|
||||
printf.cmi : buffer.cmi
|
||||
printinstr.cmi : instruct.cmi format.cmi
|
||||
printlambda.cmi : lambda.cmi format.cmi
|
||||
printpat.cmi : typedtree.cmi format.cmi asttypes.cmi
|
||||
printtyp.cmi : types.cmi path.cmi outcometree.cmi longident.cmi location.cmi \
|
||||
ident.cmi format.cmi env.cmi asttypes.cmi
|
||||
printtyped.cmi : typedtree.cmi format.cmi
|
||||
profile.cmi : format.cmi
|
||||
queue.cmi : seq.cmi
|
||||
random.cmi : nativeint.cmi int64.cmi int32.cmi
|
||||
rec_check.cmi : typedtree.cmi ident.cmi
|
||||
result.cmi : seq.cmi
|
||||
runtimedef.cmi :
|
||||
scanf.cmi : stdlib.cmi
|
||||
semantics_of_primitives.cmi : lambda.cmi
|
||||
seq.cmi :
|
||||
set.cmi : seq.cmi
|
||||
simplif.cmi : misc.cmi location.cmi lambda.cmi ident.cmi
|
||||
spacetime.cmi :
|
||||
stack.cmi : seq.cmi
|
||||
stdLabels.cmi : stringLabels.cmi listLabels.cmi bytesLabels.cmi \
|
||||
arrayLabels.cmi
|
||||
stdlib.cmi : camlinternalFormatBasics.cmi
|
||||
str.cmi :
|
||||
stream.cmi :
|
||||
string.cmi : seq.cmi
|
||||
stringLabels.cmi : seq.cmi
|
||||
strongly_connected_components.cmi : identifiable.cmi
|
||||
stypes.cmi : typedtree.cmi location.cmi annot.cmi
|
||||
subst.cmi : types.cmi path.cmi location.cmi ident.cmi
|
||||
switch.cmi : location.cmi
|
||||
symtable.cmi : obj.cmi misc.cmi lambda.cmi ident.cmi format.cmi digest.cmi \
|
||||
cmo_format.cmi
|
||||
syntaxerr.cmi : location.cmi format.cmi
|
||||
sys.cmi :
|
||||
targetint.cmi :
|
||||
tast_mapper.cmi : typedtree.cmi env.cmi asttypes.cmi
|
||||
terminfo.cmi :
|
||||
thread.cmi : unix.cmi
|
||||
threadUnix.cmi : unix.cmi
|
||||
translattribute.cmi : typedtree.cmi parsetree.cmi location.cmi lambda.cmi
|
||||
translclass.cmi : typedtree.cmi location.cmi lambda.cmi ident.cmi format.cmi \
|
||||
asttypes.cmi
|
||||
translcore.cmi : typedtree.cmi path.cmi location.cmi lambda.cmi ident.cmi \
|
||||
format.cmi env.cmi asttypes.cmi
|
||||
translmod.cmi : typedtree.cmi primitive.cmi location.cmi lambda.cmi \
|
||||
ident.cmi format.cmi
|
||||
translobj.cmi : lambda.cmi ident.cmi env.cmi
|
||||
translprim.cmi : types.cmi typedtree.cmi primitive.cmi path.cmi location.cmi \
|
||||
lambda.cmi ident.cmi format.cmi env.cmi
|
||||
typeclass.cmi : types.cmi typedtree.cmi parsetree.cmi longident.cmi \
|
||||
location.cmi ident.cmi format.cmi env.cmi ctype.cmi asttypes.cmi
|
||||
typecore.cmi : types.cmi typedtree.cmi path.cmi parsetree.cmi longident.cmi \
|
||||
location.cmi ident.cmi format.cmi env.cmi asttypes.cmi annot.cmi
|
||||
typedecl.cmi : types.cmi typedtree.cmi path.cmi parsetree.cmi longident.cmi \
|
||||
location.cmi includecore.cmi ident.cmi format.cmi env.cmi asttypes.cmi
|
||||
typedtree.cmi : types.cmi primitive.cmi path.cmi parsetree.cmi longident.cmi \
|
||||
location.cmi ident.cmi env.cmi asttypes.cmi
|
||||
typedtreeIter.cmi : typedtree.cmi asttypes.cmi
|
||||
typedtreeMap.cmi : typedtree.cmi
|
||||
typemod.cmi : types.cmi typedtree.cmi typedecl.cmi path.cmi parsetree.cmi \
|
||||
misc.cmi longident.cmi location.cmi includemod.cmi ident.cmi format.cmi \
|
||||
env.cmi cmi_format.cmi asttypes.cmi
|
||||
typeopt.cmi : types.cmi typedtree.cmi path.cmi lambda.cmi env.cmi
|
||||
types.cmi : set.cmi primitive.cmi path.cmi parsetree.cmi map.cmi \
|
||||
longident.cmi location.cmi ident.cmi asttypes.cmi
|
||||
typetexp.cmi : types.cmi typedtree.cmi path.cmi parsetree.cmi longident.cmi \
|
||||
location.cmi includemod.cmi format.cmi env.cmi asttypes.cmi
|
||||
uchar.cmi :
|
||||
unix.cmi : bigarray.cmi
|
||||
unixLabels.cmi : unix.cmi bigarray.cmi
|
||||
untypeast.cmi : typedtree.cmi path.cmi parsetree.cmi longident.cmi \
|
||||
location.cmi asttypes.cmi
|
||||
warnings.cmi : lexing.cmi lazy.cmi
|
||||
weak.cmi : hashtbl.cmi
|
||||
|
|
@ -1,39 +0,0 @@
|
|||
#**************************************************************************
|
||||
#* *
|
||||
#* OCaml *
|
||||
#* *
|
||||
#* Florian Angeletti *
|
||||
#* *
|
||||
#* Copyright 2017 *
|
||||
#* *
|
||||
#* All rights reserved. This file is distributed under the terms of *
|
||||
#* the GNU Lesser General Public License version 2.1, with the *
|
||||
#* special exception on linking described in the file LICENSE. *
|
||||
#* *
|
||||
#**************************************************************************
|
||||
|
||||
TOPDIR=../..
|
||||
include $(TOPDIR)/Makefile.tools
|
||||
|
||||
.SUFFIXES:
|
||||
|
||||
OCAMLDEP= $(OCAMLRUN) $(TOPDIR)/tools/ocamldep -slash
|
||||
OCAMLC_SNP= $(OCAMLRUN) $(TOPDIR)/ocamlc -nostdlib -I .
|
||||
|
||||
stdlib.cmi: stdlib.mli camlinternalFormatBasics.cmi
|
||||
$(OCAMLC_SNP) -nopervasives -c $<
|
||||
|
||||
camlinternalFormatBasics.cmi: \
|
||||
camlinternalFormatBasics.mli
|
||||
$(OCAMLC_SNP) -nopervasives -c $<
|
||||
|
||||
%.cmi: %.mli stdlib.cmi
|
||||
$(OCAMLC_SNP) -c $<
|
||||
|
||||
depend:
|
||||
$(OCAMLDEP) *.mli > .depend
|
||||
|
||||
include .depend
|
||||
|
||||
clean:
|
||||
rm *.mli *.cmi
|
||||
|
|
@ -1,21 +0,0 @@
|
|||
#**************************************************************************
|
||||
#* *
|
||||
#* OCaml *
|
||||
#* *
|
||||
#* Jeremie Dimino, Jane Street Europe *
|
||||
#* *
|
||||
#* Copyright 2017 Jane Street Group LLC *
|
||||
#* *
|
||||
#* All rights reserved. This file is distributed under the terms of *
|
||||
#* the GNU Lesser General Public License version 2.1, with the *
|
||||
#* special exception on linking described in the file LICENSE. *
|
||||
#* *
|
||||
#**************************************************************************
|
||||
|
||||
# This script extract the Pervasives submodule from stdlib.mli into
|
||||
# pervasives.mli, for ocamldoc
|
||||
BEGIN { state=0 }
|
||||
/^\(\*MODULE_ALIASES\*\)\r?$/ && state == 0 { state=1 }
|
||||
{
|
||||
if (state == 0) print
|
||||
}
|
||||
|
|
@ -22,8 +22,10 @@ NR == 1 { printf ("# 1 \"%s\"\n", FILENAME) }
|
|||
else if (state==1)
|
||||
state=2;
|
||||
else if ($1 == "module")
|
||||
printf ("\n(** @canonical %s *)\nmodule %s = Stdlib__%s%s\n",
|
||||
$2, $2, tolower(substr($4,1,1)), substr($4,2));
|
||||
{ if (ocamldoc!="true") printf("\n(** @canonical %s *)", $2);
|
||||
printf("\nmodule %s = Stdlib__%s%s\n", $2,
|
||||
tolower(substr($4,1,1)), substr($4,2));
|
||||
}
|
||||
else
|
||||
print
|
||||
}
|
||||
|
|
|
|||
|
|
@ -12,6 +12,8 @@
|
|||
(* *)
|
||||
(**************************************************************************)
|
||||
|
||||
(** @deprecated Use {!Stdlib} *)
|
||||
|
||||
external raise : exn -> 'a = "%raise"
|
||||
external raise_notrace : exn -> 'a = "%raise_notrace"
|
||||
let invalid_arg = invalid_arg
|
||||
|
|
|
|||
|
|
@ -1233,6 +1233,8 @@ val unsafe_really_input : in_channel -> bytes -> int -> int -> unit
|
|||
|
||||
val do_at_exit : unit -> unit
|
||||
|
||||
(**/**)
|
||||
|
||||
(*MODULE_ALIASES*)
|
||||
module Arg = Arg
|
||||
module Array = Array
|
||||
|
|
|
|||
|
|
@ -16,7 +16,7 @@
|
|||
|
||||
<pre><span id="MODULEModule_whitespace"><span class="keyword">module</span> Module_whitespace</span>: <code class="code"><span class="keyword">sig</span></code> <a href="Module_whitespace.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><hr width="100%">
|
||||
|
||||
<pre><span id="MODULEM"><span class="keyword">module</span> <a href="Module_whitespace.M.html">M</a></span>: <code class="type">Set.Make</code><code class="code">(</code><code class="code"><span class="keyword">sig</span></code></pre><div class="sig_block">
|
||||
<pre><span id="MODULEM"><span class="keyword">module</span> <a href="Module_whitespace.M.html">M</a></span>: <code class="type">Stdlib.Set.Make</code><code class="code">(</code><code class="code"><span class="keyword">sig</span></code></pre><div class="sig_block">
|
||||
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = <code class="type">int</code> </pre>
|
||||
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue