diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 05:55:19 +0000 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 05:55:19 +0000 |
| commit | 05f7b7e09ad503e4eac4f757de0d7329174f6437 (patch) | |
| tree | 768931192a69eff878d8f149c418fff55b0fdf8e /tests/errors/unused.zc | |
| parent | docs: archive the frozen stage code as one compressed tarball (diff) | |
analyzer: close the ownership gaps that stopped the compiler compiling itself
an owned local can now move into a released owner declared in the same or an
outer block, and g = m*x lends a local owner to a global until the global is
assigned again in the same block. leaving that block, giving the local away, or
returning while the lend is open is an error. recasting a plain local now names
it and says it has no ownership to recast.
methdef and syntax_resident use the supported spellings, so make genome reaches
its fixpoint from a clean checkout. runerr.sh reads the first // expect: line,
since the include headers moved it off line 1.
Diffstat (limited to 'tests/errors/unused.zc')
| -rw-r--r-- | tests/errors/unused.zc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/errors/unused.zc b/tests/errors/unused.zc index 5c88ce3..7a1c7e4 100644 --- a/tests/errors/unused.zc +++ b/tests/errors/unused.zc @@ -1,5 +1,5 @@ namespace; include rt; -// expect: x is never read +// expect: x: owned object is never used fn main() { let x = rt.new(3); return 0; } |