diff --git a/doc/devdocs/eval.rst b/doc/devdocs/eval.rst index c23b0caf79a2f..91e1e5a2e4bf3 100644 --- a/doc/devdocs/eval.rst +++ b/doc/devdocs/eval.rst @@ -91,7 +91,7 @@ Type Inference Type inference is implemented in Julia by `typeinf() in inference.jl `_. Type inference is the process of examining a Julia function and determining bounds for the types of each of its variables, as well as bounds on the type of the return value from the function. -This enables may future optimizations, such as unboxing of known immutable values, +This enables many future optimizations, such as unboxing of known immutable values, and compile-time hoisting of various run-time operations such as computing field offsets and function pointers. Type inference may also include other steps such as constant propagation and inlining. @@ -140,7 +140,7 @@ JIT Code Generation A low-level operation exposed as a function in Julia. These pseudo-functions implement operations on raw bits such as add and sign extend that cannot be expressed directly in any other way. - Since the operate on bits directly, they must be compiled into a function + Since they operate on bits directly, they must be compiled into a function and surrounded by a call to `Core.Intrinsics.box(T, ...)` to reassign type information to the value. Codegen is the process of turning a Julia AST into native machine code. @@ -184,7 +184,7 @@ The `sys.ji` file distributed with Julia is one such system image, generated by executing the file `sysimg.jl `_, and serializing the resulting environment (including Types, Functions, Modules, and all other defined values) into a file. Therefore, it contains a frozen version of the "Main", "Core", and "Base" modules (and whatever else was in the environment at the end of bootstrapping). -This serializer/deserializer is implemented by `jl_save_system_image/jl_restore_system_image in dump.c ` +This serializer/deserializer is implemented by `jl_save_system_image/jl_restore_system_image in dump.c `_. If there is no sysimg file (:code:`jl_compileropts.image_file == NULL`), this also implies that `--build` was given on the command line, diff --git a/doc/devdocs/init.rst b/doc/devdocs/init.rst index ff4fca8c5e48e..4c5c8d16c89e4 100644 --- a/doc/devdocs/init.rst +++ b/doc/devdocs/init.rst @@ -22,7 +22,7 @@ Next `parse_opts() is called to process command line options. Note that parse_opts() only deals with options that affect code generation or early initialisation. Other options are handled later by `process_options() in base/client.jl -`_ +`_. parse_opts() stores command line options in the `global jl_compileropts struct