egg 0.6.0

An implementation of egraphs
Documentation
Build #271709 2020-07-16T21:01:08.098595+00:00
# rustc version
rustc 1.46.0-nightly (7e11379f3 2020-07-15)
# docs.rs version
docsrs 0.6.0 (ec8b786 2020-07-16)

# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/egg-0.6.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/egg-0.6.0/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1001" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=-Z unstable-options --resource-suffix -20200715-1.46.0-nightly-7e11379f3 --static-root-path / --cap-lints warn --extern-html-root-url instant=https://docs.rs/instant/0.1.6 --extern-html-root-url log=https://docs.rs/log/0.4.11 --extern-html-root-url smallvec=https://docs.rs/smallvec/1.4.1 --extern-html-root-url ordered_float=https://docs.rs/ordered-float/1.1.0 --extern-html-root-url env_logger=https://docs.rs/env_logger/0.7.1 --extern-html-root-url once_cell=https://docs.rs/once_cell/1.4.0 --extern-html-root-url indexmap=https://docs.rs/indexmap/1.4.0 --extern-html-root-url symbolic_expressions=https://docs.rs/symbolic_expressions/5.0.3" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--cpus" "2" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "doc" "--lib" "--no-deps" "-j2", kill_on_drop: false }`
[INFO] [stdout] 19ee5c2ae0a813d2569684df581143f09b819c7c7527667e65830a06f153d9e4
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "19ee5c2ae0a813d2569684df581143f09b819c7c7527667e65830a06f153d9e4", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.0
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]     Checking instant v0.1.6
[INFO] [stderr]     Checking symbolic_expressions v5.0.3
[INFO] [stderr]     Checking smallvec v1.4.1
[INFO] [stderr]     Checking once_cell v1.4.0
[INFO] [stderr]    Compiling indexmap v1.4.0
[INFO] [stderr]  Documenting egg v0.6.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: `[σ]` cannot be resolved, ignoring it.
[INFO] [stderr]   --> src/tutorials/_01_background.rs:44:38
[INFO] [stderr]    |
[INFO] [stderr] 44 | - Applying the substitution gives _r[σ] =_ 2 × 7.
[INFO] [stderr]    |                                      ^ cannot be resolved, ignoring
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(intra_doc_link_resolution_failure)]` on by default
[INFO] [stderr]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr] 
[INFO] [stderr] warning: `[σ]` cannot be resolved, ignoring it.
[INFO] [stderr]   --> src/tutorials/_01_background.rs:45:7
[INFO] [stderr]    |
[INFO] [stderr] 45 |   (_r[σ]_ means apply the substitution _σ_ to _r_)
[INFO] [stderr]    |       ^ cannot be resolved, ignoring
[INFO] [stderr]    |
[INFO] [stderr]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr] 
[INFO] [stderr] warning: `[σ]` cannot be resolved, ignoring it.
[INFO] [stderr]   --> src/tutorials/_01_background.rs:46:47
[INFO] [stderr]    |
[INFO] [stderr] 46 | - Replacing the matched subterm 7 + 7 with _r[σ] =_ 2 × 7 gives the result: 42 × (2 × 7).
[INFO] [stderr]    |                                               ^ cannot be resolved, ignoring
[INFO] [stderr]    |
[INFO] [stderr]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr] 
[INFO] [stderr] warning: `[σ]` cannot be resolved, ignoring it.
[INFO] [stderr]    --> src/tutorials/_01_background.rs:140:29
[INFO] [stderr]     |
[INFO] [stderr] 140 | Then, you `add` the term _r[σ]_ to the e-graph
[INFO] [stderr]     |                             ^ cannot be resolved, ignoring
[INFO] [stderr]     |
[INFO] [stderr]     = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr] 
[INFO] [stderr] warning: `[macros]` public documentation for `rewrite` links to a private item
[INFO] [stderr]    --> src/macros.rs:210:40
[INFO] [stderr]     |
[INFO] [stderr] 210 | token tree (see the [macros reference][macros] for more info).
[INFO] [stderr]     |                                        ^^^^^^ this item is private
[INFO] [stderr] 
[INFO] [stderr] warning: 5 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.70s
[INFO] running `Command { std: "docker" "inspect" "19ee5c2ae0a813d2569684df581143f09b819c7c7527667e65830a06f153d9e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "19ee5c2ae0a813d2569684df581143f09b819c7c7527667e65830a06f153d9e4", kill_on_drop: false }`
[INFO] [stdout] 19ee5c2ae0a813d2569684df581143f09b819c7c7527667e65830a06f153d9e4