Niko Matsakis
796dc004f2
remove "id" fields from interned table
...
First step towards the new tracked struct design.
SUBTLE: This is actually broken if the `#[id]`
fields have a broken hash. We'll fix that in the
next commit and add a test.
2024-04-02 06:08:33 -04:00
Niko Matsakis
0543972429
extract transmute_lifetime into plumbing module
2024-03-14 05:44:15 -04:00
Niko Matsakis
4142ebca97
remove unnecessary Option
2024-03-13 05:37:53 -04:00
Niko Matsakis
e909ca5c97
add a comment clarifying
2024-03-12 06:30:54 -04:00
Niko Matsakis
4151b09d3c
Merge pull request #443 from Veykril/self-span
...
Preserve span of receiver for query trait functions
2024-03-11 09:58:15 +00:00
DropDemBits
407d6bcaa7
Bump arc-swap to 1.6.0
...
1.6.0 fixes some UB in previous versions of `arc-swap`.
2023-11-11 00:42:47 -05:00
Niko Matsakis
f1d318a279
Merge pull request #450 from DropDemBits/placement-new-jars
...
Initialize jars in-place
2023-11-09 10:25:26 +00:00
Niko Matsakis
703794b1c7
Merge pull request #461 from Y-Nak/provide-access-to-ingredient-index
...
Provide a public API to obtain `IngredientIndex`
2023-11-09 10:21:37 +00:00
Niko Matsakis
6ac3724e0a
Merge pull request #449 from DropDemBits/assert-on-tracked-struct-outside-of-tracked-fn
...
Improve assert message when creating a tracked struct outside of a tracked function
2023-10-28 06:58:14 -04:00
Yoshitomo Nakanishi
b295f5aef7
Remove unnecessary mut from make_fn_return_ref
2023-10-08 20:41:55 +02:00
Yoshitomo Nakanishi
59f094f512
Provide public API to get IngredientIndex
2023-10-08 20:40:52 +02:00
Josh Stone
db3ef9a2ba
Upgrade to indexmap 2
2023-09-29 17:11:34 -07:00
DropDemBits
f1a141a6c0
Update "Jars and Ingredients" to reflect the in-place init changes
2023-06-18 00:13:54 -04:00
DropDemBits
5b8412656c
Initialize jars in-place
...
Requires unsafe, since Rust currently doesn't have built-in
support for guaranteed in-place initialization. Unfortunately,
this unsafety propagates to making `Jar` unsafe to implement
in order to guarantee that the jar is initialized, but since
the preferred way to implement it is via `salsa::jar`, this
won't impact most users.
2023-06-14 01:09:58 -04:00
DropDemBits
22646a8fb4
Improve assert message when creating a tracked struct outside of a tracked function
2023-06-13 16:35:28 -04:00
Lukas Wirth
0038ae2f5e
Presere span of receiver for query trait functions
2023-05-02 09:46:39 +02:00
Yoshitomo Nakanishi
5718229882
Change the constructor of salsa::Id to const fn
2023-04-12 13:36:17 +02:00
DropDemBits
7c8647e572
Allow clippy::needless_lifetimes on tracked method getters
...
Previously, this would necessitate having to manually add an allow for this
clippy lint, since an extra `'db` lifetime was added to the signature.
2023-03-15 09:56:00 -04:00
Niko Matsakis
ce4b041048
Update components/salsa-2022/src/storage.rs
2022-12-29 11:37:06 -05:00
manapointer
f1a775c355
update docs to be accurate to the change
2022-12-25 18:18:11 -08:00
manapointer
57b848da3e
impl drop for storage
2022-12-25 18:10:42 -08:00
manapointer
2fc0a3c08f
fix cvar not being notified when Arc<Shared<DB>> is dropped
2022-12-22 15:46:28 -08:00
Jake Heinz
dd10b16964
salsa 2022: fix input macro set_* being off by one if id field present
2022-11-04 23:39:35 +00:00
bors[bot]
30b5e9760a
Merge #412
...
412: Fix race condition in interned data r=nikomatsakis a=Skepfyr
In some scenarios the `InternedIngredient` could return two different ids for the same data if called in parallel.
Co-authored-by: Jack Rickard <jack.rickard@outlook.com>
2022-09-27 22:48:54 +00:00
XFFXFF
f48ca09a65
add empty dependencies back
2022-09-26 10:58:21 +00:00
XFFXFF
589bbeb65e
Revert "remove unused variables and functions"
...
This reverts commit a2be847e1a
2022-09-26 10:51:23 +00:00
XFFXFF
8f85d4ee27
cargo fmt
2022-09-26 09:15:10 +00:00
XFFXFF
409ed367c2
using flat-map trick
2022-09-26 09:14:30 +00:00
zhou fan
6239fc217a
add a comment
...
Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
2022-09-26 17:09:19 +08:00
Jack Rickard
c58ff26d87
Simplify interning by restricting deletes
2022-09-25 22:33:37 +01:00
XFFXFF
cc6ab647fa
refactor outputs method of LocalState
2022-09-25 01:21:39 +00:00
XFFXFF
e7c7f386fe
fix accumulator: clear the outdated accumulated values
2022-09-25 00:24:16 +00:00
XFFXFF
1214610451
remove inputs method of QueryEdges
2022-09-24 23:59:25 +00:00
XFFXFF
a2be847e1a
remove unused variables and functions
2022-09-24 23:59:25 +00:00
XFFXFF
d71892c047
update diff output
2022-09-24 23:59:25 +00:00
XFFXFF
961c4ce154
update some tests and run cargo fmt
2022-09-24 23:59:25 +00:00
XFFXFF
98d1be0650
mark the outputs as valid as we encounter them in deep_verify_memo
2022-09-24 23:59:25 +00:00
XFFXFF
c219944699
merge input/output lists into one list
2022-09-24 23:59:25 +00:00
XFFXFF
1ae6a7bbc5
use Assigned insread of Field and remove Field
2022-09-24 23:59:25 +00:00
XFFXFF
99cfca5799
add the fields of tracked struct to the output of queries
2022-09-24 23:59:25 +00:00
XFFXFF
4c4096e39b
panic when reading fields of tracked structs from older revisions
2022-09-24 23:59:25 +00:00
Niko Matsakis
684ab6f4fe
Update components/salsa-2022/src/input.rs
2022-09-17 06:44:11 -04:00
OLUWAMUYIWA
4bb4262569
cargo fmt
2022-09-16 15:02:15 +01:00
OLUWAMUYIWA
0f21bf0fd8
made singleton struct panic upon duplication and added tests to immutable fields
2022-09-16 14:53:56 +01:00
Onigbinde Oluwamuyiwa Elijah
e3661de899
Merge branch 'salsa-rs:master' into immutable_fields_in_inputs
2022-09-16 01:53:42 +01:00
Jack Rickard
79823c7f65
Fix deadlock in InternedIngredient::intern
2022-09-16 00:10:33 +01:00
Jack Rickard
f1499a20e2
Fix unsoundness in input_field.rs
2022-09-15 21:25:54 +01:00
Jack Rickard
5b8464c4f9
Support on-demand inputs
...
This adds initial support for on-demand inputs by allowing new inputs to
be created with only a shared reference to the database. This allows
creating new inputs during a revision and therefore from inside tracked
functions.
2022-09-15 21:25:53 +01:00
OLUWAMUYIWA
32f0ce0cff
better debugging for input structs by including id fields
2022-09-14 14:45:59 +01:00
Bernardo Uriarte
bed692e50e
simplify and avoid duplication
2022-09-13 18:01:21 +02:00
