Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions quest/m2/ts-model/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ Decided with the maintainer on 2026-10-27, from a census of the model's 22 publi
- The end-to-end work stays here: the model's roots, its differential harness, and the
`frames.ts` workload. moq writes the binding files `model.toml` names, in its own tree.

The census at the pin on 2026-11-04: 69 refusals. `Timestamp` alone refuses nothing, and
The census at the pin on 2026-11-04: 82 refusals. `Timestamp` alone refuses nothing, and
the [model fixture](/ts/README.md#tests)'s harness runs it against native moq-net at the
pin; each case it adds as a type translates. Every other root reaches the rest of the
model, so each child below unblocks all of them together. The rest is moq's, for its
Expand All @@ -57,7 +57,6 @@ there, as does the `unsafe` slice of `model/frame.rs`'s `Filled`.

## Required

- [Iterators into a crate's own collections](/quest/m2/ts-model/from-iterator.md) - `collect`, `flat_map`, and `flatten` through moq-pattern's `Patterns`
- [Bytes from an owner that drops](/quest/m2/ts-model/bytes-owner.md) - `Bytes::from_owner` of a frame's segment
- [rangemap](/quest/m2/ts-model/rangemap.md) - B-tree ranges by a borrowed key, and std's iterators in a crate's fields
- [Addresses as identity](/quest/m2/ts-model/addresses.md) - `Arc::as_ptr(a) as usize` as a key, which needs a decision
Expand Down
14 changes: 0 additions & 14 deletions quest/m2/ts-model/from-iterator.md

This file was deleted.

4 changes: 4 additions & 0 deletions ts/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 4 additions & 0 deletions ts/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -389,6 +389,10 @@ each item's fields go into them in order, as `rs.tupleExtend(t, it, [rs.vecPart(
rs.STRING_PART])`. The crate's own `Default + Extend` collection keeps the defaults stable
Rust can't override: it reserves nothing, and takes each item by its `extend` of `Some(item)`,
through `rs.ownPart`. Any other collection in one is refused.
The crate's own collection is collected by its own `FromIterator`, which `collect` and a
`collect` into a `Result` or an `Option` of it call with the iterator, as std's do, and std's
adaptors that take an `IntoIterator`, such as `flat_map`, `flatten`, `chain`, `zip`, and
`extend`, iterate it by its own `into_iter`.

`clone` of one of std's iterators or adaptors is its `rs.Iter`'s `clone`, which reads on
from where the original was, independently of it, as std's `Clone` does; one over a hash
Expand Down
14 changes: 14 additions & 0 deletions ts/fixtures/lang/collects/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
[package]
name = "lang-collects-fixture"
description = "A part of the language rust2-ts translates, exercised against native Rust"
version = "0.0.0"
edition.workspace = true
license.workspace = true
publish = false

[lib]
# The cdylib is the native side of the differential test, built for wasm32.
crate-type = ["lib", "cdylib"]

[lints]
workspace = true
Loading