Skip to content

Nocter v0.6.0

Choose a tag to compare

View all tags
@rvo-jp rvo-jp released this 07 Aug 11:19
· 33 commits to main since this release
v0.6.0
c1e7eeb

Nocter v0.6.0 Release Notes

Nocter v0.6.0 makes callable allocation and storage-origin contracts explicit, checkable, and
consistent across source, generic APIs, the standard library, and editor tooling. It distinguishes
storage newly allocated into a result from storage retained from an existing value without
exposing the compiler's ambient allocation context as source syntax.

Download nocter-v0.6.0-arm64-darwin.tar.gz

Result Contracts

alloc describes newly allocated storage retained by a result. from independently describes an
existing receiver, parameter, allocator, or static origin retained by that result:

func len(text: &str): usize
alloc func copy(text: &str): String
func view(text: &String): &str from text
alloc func copy_with(allocator: &+Allocator, text: &str): String from allocator

Temporary allocation does not require alloc when no allocated storage survives in the result.
Conversely, absence of alloc is not an execution-time allocation guarantee. noalloc and
realtime are reserved for future independent contracts.

The compiler validates body-backed contracts from returned values rather than trusting their
written modifiers. Recursive calls, optional and fallible branches, aggregate fields, closures,
generic specialization, interface defaults, mutable owners, and ownership transfer preserve the
same allocation and origin facts.

Standard Library and Iteration

  • Every callable in all 23 distributed standard-library modules participates in one automated
    contract audit.
  • String, Vec<T>, process, I/O, typed-literal, iterator, and allocator APIs use canonical
    alloc and from contracts.
  • Generic iterator advancement retains allocation and source-origin upper bounds through adapters,
    callbacks, collection for, and consuming ownership transfer.
  • Empty collection storage remains neutral until first growth selects an allocation domain.

Editor and Diagnostics

Hover, completion, signature help, construction surfaces, diagnostics, and code actions render one
normalized source declaration. They no longer display compiler-only phrases such as inferred
storage origins or execution allocation effects. A missing alloc contract identifies a concrete
returned expression or call and edits only its owning declaration.

Source Changes

The removed from current spelling has no compatibility parser. Use alloc when a result may
retain newly allocated storage, and add from name only when it also retains storage from a named
receiver, parameter, allocator, or static origin.

Qualification

The release passes 2,277 compiler-library tests, 296 build tests, 449 run tests, 24 framed LSP
tests, 18 package tests, 11 native-test tests, 208 distributed-home tests, public examples, the
source corpus, formatting, and warnings-denied Clippy. The optimized archive passes doctor and a
fresh package's locked/offline check, native test, graph, run, explicit build, and direct Mach-O
execution without repository configuration.

Explicit Limits

The supported host and target remain arm64-darwin. noalloc, realtime, source-level lifetime
parameters, runtime interface dispatch, async, concurrency, registries, workspace membership, and
a stable cross-version ABI are not part of v0.6.0.

Assets 3
Loading