-
Notifications
You must be signed in to change notification settings - Fork 12.9k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Implement hash intrinsic #60
Comments
"cmp" actually doesn't need to be an intrinsic. The "<" operator should be sufficient. |
We discussed this at some length earlier in the year when considering equality operators, and I think at the time we settled on having two variants. The "operator symbols" variants (<, == and such) we decided to make "shallow", only-slot-comparing, memcmp-like, not-following-boxes; whereas we were going to make "cmp" a library function (only defined on pure, i.e. acyclic, values) that does deep comparison. The rationale was that we wanted to make the operator cases "most like machine operations", and also that (given a deep-compare operator is much easier to specify on acyclic structures) we didn't want == to only work on immutable types, as that would be too surprising. I suppose we could revisit this argument. |
The compare intrinsic is a dupe of issue #40, so I'll make this one about hash. |
WONTFIX (not required for bootstrapping) |
some more cleanups getting rid of intermediate allocations and bad fat ptr assumptions
Fix SIGSTKSZ for DragonFly
AsRef -> as_slice cleanup
Currently, when building with `build-std`, some library build scripts check properties of the target by inspecting the target triple at `env::TARGET`, which is simply set to the filename of the JSON file when using JSON target files. This patch alters these build scripts to use `env::CARGO_CFG_*` to fetch target information instead, allowing JSON target files describing platforms without `restricted_std` to build correctly when using `-Z build-std`. Fixes wg-cargo-std-aware/rust-lang#60.
Currently, when building with `build-std`, some library build scripts check properties of the target by inspecting the target triple at `env::TARGET`, which is simply set to the filename of the JSON file when using JSON target files. This patch alters these build scripts to use `env::CARGO_CFG_*` to fetch target information instead, allowing JSON target files describing platforms without `restricted_std` to build correctly when using `-Z build-std`. Fixes wg-cargo-std-aware/rust-lang#60.
Currently, when building with `build-std`, some library build scripts check properties of the target by inspecting the target triple at `env::TARGET`, which is simply set to the filename of the JSON file when using JSON target files. This patch alters these build scripts to use `env::CARGO_CFG_*` to fetch target information instead, allowing JSON target files describing platforms without `restricted_std` to build correctly when using `-Z build-std`. Fixes wg-cargo-std-aware/rust-lang#60.
Currently, when building with `build-std`, some library build scripts check properties of the target by inspecting the target triple at `env::TARGET`, which is simply set to the filename of the JSON file when using JSON target files. This patch alters these build scripts to use `env::CARGO_CFG_*` to fetch target information instead, allowing JSON target files describing platforms without `restricted_std` to build correctly when using `-Z build-std`. Fixes wg-cargo-std-aware/rust-lang#60.
Currently, when building with `build-std`, some library build scripts check properties of the target by inspecting the target triple at `env::TARGET`, which is simply set to the filename of the JSON file when using JSON target files. This patch alters these build scripts to use `env::CARGO_CFG_*` to fetch target information instead, allowing JSON target files describing platforms without `restricted_std` to build correctly when using `-Z build-std`. Fixes wg-cargo-std-aware/rust-lang#60.
The SmallSort challenge file is missing the `.md` extension, so our book renders an empty page (see [here](https://model-checking.github.io/verify-rust-std/challenges/0008-smallsort.html)). This PR adds the `.md` extension. I tested locally with `mdbook serve` to ensure it renders correctly. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
"hash" and "cmp" intrinsics need to be implemented (most likely with the
native "intrinsic" mod
syntax?)The text was updated successfully, but these errors were encountered: