Commit graph

1708 commits

Author SHA1 Message Date
Niko Matsakis
254c749b02
Merge pull request #601 from salsa-rs/davidbarsky/push-pyyooxxxuqxx
Some checks failed
Book / Book (push) Has been cancelled
Test / Test (false, beta) (push) Has been cancelled
Test / Test (false, stable) (push) Has been cancelled
Test / Test (true, nightly) (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
chore: ensure salsa-macros have a licence
2024-10-17 22:26:43 +00:00
David Barsky
c3de24ce12 chore: ensure salsa-macros have a licence 2024-10-17 17:37:56 -04:00
Niko Matsakis
710691d607
Merge pull request #596 from ShoyuVanilla/issue-519
Some checks are pending
Book / Book (push) Waiting to run
Book / Deploy (push) Blocked by required conditions
Test / Test (false, beta) (push) Waiting to run
Test / Test (false, stable) (push) Waiting to run
Test / Test (true, nightly) (push) Waiting to run
Test / Miri (push) Waiting to run
Test / Benchmarks (push) Waiting to run
fix: Inconsistent behaviour with lifetime elision on tracked fn
2024-10-17 14:55:02 +00:00
Niko Matsakis
82f2a7d1b9
Merge pull request #591 from puuuuh/typeid_mismatch_fix
Add IngredientIndex to KeyStruct
2024-10-17 14:53:39 +00:00
puuuuh
0744fd8cb0
Rename DisambiguationKey to IdentityHash, KeyStruct to Identity 2024-10-17 15:50:13 +03:00
Shoyu Vanilla
57f38aa84b fix: Inconsistent behaviour with lifetime elision on tracked fn 2024-10-17 01:02:32 +09:00
puuuuh
acae02d418
Use named struct for disambiguation key 2024-10-15 21:14:59 +03:00
puuuuh
60208fa80e
Fmt, lints 2024-10-15 21:14:58 +03:00
puuuuh
3029f8ccf3
Remove IngredientIndex from tracked_struct_ids, use KeyStruct field instead 2024-10-15 21:14:58 +03:00
puuuuh
53a3235a60
Add IngredientIndex to KeyStruct 2024-10-15 21:14:58 +03:00
David Barsky
c6c51a0ea0
Merge pull request #593 from ShoyuVanilla/issue-577
Some checks failed
Book / Book (push) Has been cancelled
Test / Test (false, beta) (push) Has been cancelled
Test / Test (false, stable) (push) Has been cancelled
Test / Test (true, nightly) (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
fix: Replace `SelfTy` with actual type in tracked methods
2024-10-15 14:33:54 +00:00
Micha Reiser
b14be5c039
Merge pull request #594 from gvozdvmozgu/add-box-str-lookup
Some checks are pending
Book / Book (push) Waiting to run
Book / Deploy (push) Blocked by required conditions
Test / Test (false, beta) (push) Waiting to run
Test / Test (false, stable) (push) Waiting to run
Test / Test (true, nightly) (push) Waiting to run
Test / Miri (push) Waiting to run
Test / Benchmarks (push) Waiting to run
Add `Lookup<Box<T>>` for `&T`
2024-10-15 09:08:29 +00:00
gvozdvmozgu
b6592a8102 Add Lookup<Box<T>> for &T 2024-10-15 02:01:42 -07:00
Micha Reiser
cccb7a5d6d
Merge pull request #595 from gvozdvmozgu/fix-nightly-lint
fix new nightly lint: `clippy::unit_arg`
2024-10-15 06:53:38 +00:00
gvozdvmozgu
b074f882d9 fix new nightly lint: clippy::unit_arg 2024-10-14 18:22:52 -07:00
Niko Matsakis
0099b18a05
Merge pull request #589 from puuuuh/master
Some checks are pending
Book / Book (push) Waiting to run
Book / Deploy (push) Blocked by required conditions
Test / Test (false, beta) (push) Waiting to run
Test / Test (false, stable) (push) Waiting to run
Test / Test (true, nightly) (push) Waiting to run
Test / Miri (push) Waiting to run
Test / Benchmarks (push) Waiting to run
Add a way to use reference-types in InternedStruct::new
2024-10-14 20:29:41 +00:00
Shoyu Vanilla
7e3426e7df Satisfy nightly clippy 2024-10-15 00:49:12 +09:00
Shoyu Vanilla
ad1f84d80f fix: Replace SelfTy with actual type in tracked methods 2024-10-14 02:00:28 +09:00
puuuuh
de95f497ce
fix fmt
Fix clippy warnings
2024-10-10 18:33:50 +03:00
puuuuh
01d7aab603
Remove obsolete type argument 2024-10-10 03:43:47 +03:00
puuuuh
514a31331b
Apply suggestions from code review
Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
2024-10-10 03:43:47 +03:00
puuuuh
e9ee280c10
Add impl for Lookup Vec via [A; N] 2024-10-10 03:43:47 +03:00
puuuuh
552b3ae979
Add impl Lookup for Path, Vec 2024-10-10 03:43:46 +03:00
puuuuh
22eafc213e
Apply suggestions from code review
Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
2024-10-10 03:43:46 +03:00
puuuuh
60b921f153
Update src/interned.rs
Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
2024-10-10 03:43:46 +03:00
puuuuh
dcdf4d774d
Update components/salsa-macro-rules/src/setup_interned_struct.rs
Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
2024-10-10 03:43:46 +03:00
puuuuh
1e18334672
Add way to intern structs from references 2024-10-10 03:43:40 +03:00
Micha Reiser
af2ec49d80
Merge pull request #588 from ibraheemdev/views-vtable
Some checks failed
Book / Book (push) Has been cancelled
Test / Test (false, beta) (push) Has been cancelled
Test / Test (false, stable) (push) Has been cancelled
Test / Test (true, nightly) (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
Rewrite `Views` to be Miri compatible
2024-10-09 17:34:46 +00:00
Micha Reiser
bd8227494d
Satisfy nighty clippy 2024-10-09 18:56:25 +02:00
Micha Reiser
862153ce87
Satisfy clippy 2024-10-09 18:51:30 +02:00
Ibraheem Ahmed
30f1813f44 rewrite Views to be Miri compatible 2024-10-03 17:10:35 -04:00
Micha Reiser
a20b894cc2
Merge pull request #579 from gvozdvmozgu/fix-default-attribute-error-message
Some checks failed
Book / Book (push) Has been cancelled
Test / Test (false, beta) (push) Has been cancelled
Test / Test (false, stable) (push) Has been cancelled
Test / Test (true, nightly) (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
fix error message to correctly reference `#[default]` instead of `#[id]`
2024-09-27 06:48:02 +00:00
Andrey Nikolaev
bd2c0036dc
fix error message to correctly reference #[default] instead of #[id] 2024-09-26 15:57:31 -07:00
Niko Matsakis
4a7c955255
Merge pull request #573 from dhruvmanila/dhruv/recreate-panic
Some checks failed
Book / Book (push) Has been cancelled
Test / Test (false, beta) (push) Has been cancelled
Test / Test (false, stable) (push) Has been cancelled
Test / Test (true, nightly) (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
Fix panic when recreating tracked struct that was deleted in previous revision
2024-09-22 11:44:04 +00:00
Niko Matsakis
8094e0ce65
longer, more detailed comment 2024-09-22 07:43:28 -04:00
Niko Matsakis
acc34396c6
Merge branch 'master' into dhruv/recreate-panic 2024-09-22 07:37:00 -04:00
Niko Matsakis
198c43fb10
Merge pull request #575 from nikomatsakis/refactor-accumulators
Refactor accumulators
2024-09-22 11:32:34 +00:00
Micha Reiser
7e8720a2ad
Clippy 2024-09-21 16:36:35 +02:00
Micha Reiser
a5396a9142
Add comments 2024-09-21 16:34:42 +02:00
Niko Matsakis
b5af1d89d6 pacify the merciless clippy 2024-09-21 08:24:31 -04:00
Niko Matsakis
3687e48c85 rework accumulator to store values in memos
We used to store values in a central map,
but now each memo has an `AccumulatorMap`
that maps accumulated values (if any).

The primary goals of this change are

* forward compatible with speculative execution
  because it puts more data into tables;
* step towards a refactoring to stop tracking
  outputs in the same array as inputs and thus
  to simplify how we do versioning. We will no
  longer need to walk the function's outputs
  and refresh their versions and so forth because
  they are stored in the function memo and so
  they get refreshed automatically when the memo
  is refreshed.
2024-09-21 07:02:44 -04:00
Niko Matsakis
2caa5ccf87 return lifetime-extended memo, not value
Change the core operation to be `refresh_memo`.
This is a nice refactoring on its own but it
will also support the refactoring of how
we manage accumulator values.
2024-09-21 06:40:05 -04:00
Niko Matsakis
dcb0eb242e refactor extend_memo_lifetime to return memo
This is a step towards refactoring `fetch`
to return the memo itself and not the value.
2024-09-21 06:29:01 -04:00
Niko Matsakis
2528045540 remove read of "entity table"
We used to have the concept of "resetting"
a tracked struct, which removed all instances.
We don't have that concept anymore.
Therefore we don't need to record a read on the
tracked struct table itself.
2024-09-16 06:17:19 -04:00
Niko Matsakis
d7df2cd4bb change disambiguator_map to FxHashMap
There is no need for IndexMap here,
we don't iterate or care about indices.
2024-09-16 06:16:23 -04:00
Niko Matsakis
34a8edb461 allocate values in a closure
This will allow us to store the id
in the struct itself.
2024-09-16 06:00:33 -04:00
Micha Reiser
2d55e83845
Remove deleted entries from tracked_struct_ids 2024-09-13 15:19:40 -04:00
Dhruv Manilawala
eba970e485 Add tests that panics when recreating a new salsa revision 2024-09-13 11:31:33 -04:00
Carl Meyer
2af849b9a9
Merge pull request #569 from carljm/durability-test
Some checks failed
Book / Book (push) Has been cancelled
Test / Test (false, beta) (push) Has been cancelled
Test / Test (false, stable) (push) Has been cancelled
Test / Test (true, nightly) (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
add test for high-durability dependency validation
2024-08-29 18:05:05 +00:00
David Barsky
9542a461b9
Merge pull request #571 from salsa-rs/davidbarsky/push-wpynvwnqotst
chore: fix clippy lints
2024-08-29 17:54:14 +00:00