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 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108
|
<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Arg_helper" rel="Chapter" href="Arg_helper.html">
<link title="Ast_helper" rel="Chapter" href="Ast_helper.html">
<link title="Ast_invariants" rel="Chapter" href="Ast_invariants.html">
<link title="Ast_iterator" rel="Chapter" href="Ast_iterator.html">
<link title="Ast_mapper" rel="Chapter" href="Ast_mapper.html">
<link title="Asttypes" rel="Chapter" href="Asttypes.html">
<link title="Attr_helper" rel="Chapter" href="Attr_helper.html">
<link title="Build_path_prefix_map" rel="Chapter" href="Build_path_prefix_map.html">
<link title="Builtin_attributes" rel="Chapter" href="Builtin_attributes.html">
<link title="CamlinternalMenhirLib" rel="Chapter" href="CamlinternalMenhirLib.html">
<link title="Ccomp" rel="Chapter" href="Ccomp.html">
<link title="Clflags" rel="Chapter" href="Clflags.html">
<link title="Compiler_libs" rel="Chapter" href="Compiler_libs.html">
<link title="Config" rel="Chapter" href="Config.html">
<link title="Consistbl" rel="Chapter" href="Consistbl.html">
<link title="Depend" rel="Chapter" href="Depend.html">
<link title="Docstrings" rel="Chapter" href="Docstrings.html">
<link title="Domainstate" rel="Chapter" href="Domainstate.html">
<link title="Identifiable" rel="Chapter" href="Identifiable.html">
<link title="Int_replace_polymorphic_compare" rel="Chapter" href="Int_replace_polymorphic_compare.html">
<link title="Lexer" rel="Chapter" href="Lexer.html">
<link title="Load_path" rel="Chapter" href="Load_path.html">
<link title="Location" rel="Chapter" href="Location.html">
<link title="Longident" rel="Chapter" href="Longident.html">
<link title="Misc" rel="Chapter" href="Misc.html">
<link title="Numbers" rel="Chapter" href="Numbers.html">
<link title="Parse" rel="Chapter" href="Parse.html">
<link title="Parser" rel="Chapter" href="Parser.html">
<link title="Parsetree" rel="Chapter" href="Parsetree.html">
<link title="Pparse" rel="Chapter" href="Pparse.html">
<link title="Pprintast" rel="Chapter" href="Pprintast.html">
<link title="Printast" rel="Chapter" href="Printast.html">
<link title="Profile" rel="Chapter" href="Profile.html">
<link title="Strongly_connected_components" rel="Chapter" href="Strongly_connected_components.html">
<link title="Syntaxerr" rel="Chapter" href="Syntaxerr.html">
<link title="Targetint" rel="Chapter" href="Targetint.html">
<link title="Terminfo" rel="Chapter" href="Terminfo.html">
<link title="Warnings" rel="Chapter" href="Warnings.html"><title>Misc.Magic_number</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">type</span> native_obj_config = { flambda : bool; }<br>
<span class="keyword">val</span> native_obj_config : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.native_obj_config<br>
<span class="keyword">type</span> version = int<br>
<span class="keyword">type</span> kind =<br>
<span class="constructor">Exec</span><br>
<span class="keywordsign">|</span> <span class="constructor">Cmi</span><br>
<span class="keywordsign">|</span> <span class="constructor">Cmo</span><br>
<span class="keywordsign">|</span> <span class="constructor">Cma</span><br>
<span class="keywordsign">|</span> <span class="constructor">Cmx</span> <span class="keyword">of</span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.native_obj_config<br>
<span class="keywordsign">|</span> <span class="constructor">Cmxa</span> <span class="keyword">of</span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.native_obj_config<br>
<span class="keywordsign">|</span> <span class="constructor">Cmxs</span><br>
<span class="keywordsign">|</span> <span class="constructor">Cmt</span><br>
<span class="keywordsign">|</span> <span class="constructor">Ast_impl</span><br>
<span class="keywordsign">|</span> <span class="constructor">Ast_intf</span><br>
<span class="keyword">type</span> info = {<br>
kind : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind;<br>
version : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.version;<br>
}<br>
<span class="keyword">type</span> raw = string<br>
<span class="keyword">type</span> parse_error = <span class="constructor">Truncated</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="constructor">Not_a_magic_number</span> <span class="keyword">of</span> string<br>
<span class="keyword">val</span> explain_parse_error :<br>
<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind option <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.parse_error <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> parse :<br>
<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.raw <span class="keywordsign">-></span><br>
(<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.info, <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.parse_error) <span class="constructor">Stdlib</span>.result<br>
<span class="keyword">val</span> read_info :<br>
<span class="constructor">Stdlib</span>.in_channel <span class="keywordsign">-></span><br>
(<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.info, <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.parse_error) <span class="constructor">Stdlib</span>.result<br>
<span class="keyword">val</span> magic_length : int<br>
<span class="keyword">type</span> <span class="keywordsign">'</span>a unexpected = { expected : <span class="keywordsign">'</span>a; actual : <span class="keywordsign">'</span>a; }<br>
<span class="keyword">type</span> unexpected_error =<br>
<span class="constructor">Kind</span> <span class="keyword">of</span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.unexpected<br>
<span class="keywordsign">|</span> <span class="constructor">Version</span> <span class="keyword">of</span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind *<br>
<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.version <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.unexpected<br>
<span class="keyword">val</span> check_current :<br>
<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind <span class="keywordsign">-></span><br>
<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.info <span class="keywordsign">-></span><br>
(unit, <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.unexpected_error) <span class="constructor">Stdlib</span>.result<br>
<span class="keyword">val</span> explain_unexpected_error : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.unexpected_error <span class="keywordsign">-></span> string<br>
<span class="keyword">type</span> error =<br>
<span class="constructor">Parse_error</span> <span class="keyword">of</span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.parse_error<br>
<span class="keywordsign">|</span> <span class="constructor">Unexpected_error</span> <span class="keyword">of</span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.unexpected_error<br>
<span class="keyword">val</span> read_current_info :<br>
expected_kind:<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind option <span class="keywordsign">-></span><br>
<span class="constructor">Stdlib</span>.in_channel <span class="keywordsign">-></span><br>
(<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.info, <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.error) <span class="constructor">Stdlib</span>.result<br>
<span class="keyword">val</span> string_of_kind : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> human_name_of_kind : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> current_raw : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.raw<br>
<span class="keyword">val</span> current_version : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.version<br>
<span class="keyword">type</span> raw_kind = string<br>
<span class="keyword">val</span> parse_kind :<br>
<span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.raw_kind <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind option<br>
<span class="keyword">val</span> raw_kind : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.raw_kind<br>
<span class="keyword">val</span> raw : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.info <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.raw<br>
<span class="keyword">val</span> all_kinds : <span class="constructor">Misc</span>.<span class="constructor">Magic_number</span>.kind list<br>
<span class="keyword">end</span></code></body></html>
|