V8005 dependencies_not_supported
Packages are not supported yet: sakura.toml declares [dependencies] (design §17.232, RFC 0001).
An error from the package phase. sakura explain V8005 prints this explanation offline.
Packages are not supported yet: sakura.toml declares [dependencies] (design §17.232, RFC
0001). This release compiles one package over std; packages arrive in a later minor release, and
the key is reserved until then. Any form is refused before anything runs: an empty table, entries,
an inline dependencies = {} or a dotted key. Nothing is fetched and sakura.lock is untouched.
Remove the table and use std; do not vendor another package's sources into src/ to stand in for it.
Wrong:
[package]
name = "billing"
[dependencies]Fixed:
[package]
name = "billing"Wrong program
compiler/tests/ui/V8005_dependencies_table/, which the compiler's ui suite runs through sakura check:
main.sak:
// Packages arrive in a later minor (design §17.232): a `[dependencies]` table is refused even empty.
pub fn main() -> Unit ! {Console} { Console.print("hi") }sakura.toml:
[package]
name = "billing"
[dependencies]sakura check --json reports this record (pretty-printed; $DIR is the fixture's directory):
{
"schema_version": "1.0",
"kind": "diagnostic",
"id": "d:$ID",
"code": "V8005",
"severity": "error",
"phase": "package",
"message": "this project declares [dependencies]; Sakura $VERSION compiles one package over std, and packages arrive in a later minor release",
"snapshot": "sha256:$SNAPSHOT",
"symbol_id": null,
"spans": [
{
"uri": "file://$DIR/V8005_dependencies_table/sakura.toml",
"content_hash": "sha256:6dd2ed83c78ceb36be58fcb9d688325edd55e0e186c0edbb4a6467c50ec36528",
"start_byte": 29,
"end_byte": 41,
"role": "primary"
}
],
"related_ids": [],
"expected": null,
"actual": null,
"obligation": null,
"counterexample": null,
"explanation_uri": "sakura://explain/V8005",
"fixes": []
}Fixed program
No fixed program is checked in for this code yet; the explanation above describes the repair.
V8004 target_unsupported_external
A user package declares an @external(js, …) function, and --target wasm has no JavaScript to call (design §17.81): the WASM backend runs std's host operations through the runtime's own imports only.
V8020 spec_frozen
A patch modifies a frozen symbol's signature, effect row, error union, contracts, or a test body (design §7.3).