Issues - AILang - Gitea: Git with a cup of tea

Brummel/AILang

Labels Milestones New Issue

Document: referencing a kernel base type from a user ADT ctor field requires full qualification

#65 by Brummel was closed 2026-06-02 15:57:52 +02:00

describe does not resolve the canonical type-scoped Type.op form

#64 by Brummel was closed 2026-06-02 15:57:52 +02:00

Owned ADT threaded through tail-recursion is never dropped (general drop-soundness leak) bug

#63 by Brummel was closed 2026-06-02 15:57:52 +02:00

[series] Step 1 — primitive Series over {Int, Float} feature

#61 by Brummel was closed 2026-06-02 17:53:01 +02:00 series

NON_PARSEABLE_FIXTURES list duplicated across 3 test crates idea

#60 by Brummel was closed 2026-06-02 10:14:20 +02:00

Consuming a heap sub-binder of a borrowed scrutinee is accepted -> double-free BLOCKER bug

#58 by Brummel was closed 2026-06-02 01:11:02 +02:00

Harden linearity for universal activation, part 2 — #55 cutover precondition feature

#57 by Brummel was closed 2026-06-01 20:30:22 +02:00

Harden the ownership analysis for universal activation (value-types + HOF application) BLOCKER bug

#56 by Brummel was closed 2026-06-01 15:47:37 +02:00

Eliminate the Implicit ownership default — totality minus borrow-returns feature

#55 by Brummel was closed 2026-06-02 01:11:02 +02:00

Close Implicit on returns so heap-returning fns stop leaking bug

#54 by Brummel was closed 2026-06-01 13:02:02 +02:00 0 / 6

Lower a monomorphic (new T args) over a user ADT without crashing codegen bug

#53 by Brummel was closed 2026-05-31 12:46:30 +02:00 0 / 2

Render param-not-in-restricted-set allowed set in AILang syntax, not Rust debug bug

#52 by Brummel was closed 2026-06-01 20:38:37 +02:00 0 / 1

(new T ...) drops the explicit element annotation; unobserved element type crashes codegen bug

#51 by Brummel was closed 2026-05-31 12:46:30 +02:00 0 / 3

Auto-import bare RawBuf in type-constructor positions, not only op positions bug

#50 by Brummel was closed 2026-05-30 17:51:58 +02:00 0 / 2

Free superseded heap loop-binder values across recur bug

#49 by Brummel was closed 2026-06-01 15:47:37 +02:00 0 / 3

param-not-in-restricted-set message omits the allowed set the ledger promises bug

#48 by Brummel was closed 2026-05-30 17:24:42 +02:00

Owned RawBuf threaded through a loop binder passes check but panics codegen unknown variable bug

#47 by Brummel was closed 2026-05-30 17:24:43 +02:00 0 / 2

Reject-free borrow (RawBuf a) receiver: a single get/size is misclassified consume-while-borrowed bug

#46 by Brummel was closed 2026-05-30 17:24:43 +02:00 0 / 2

Stale compile_check baseline: check_ms drift +35-47% (pre-existing, confirmed at b151990) bug

#45 by Brummel was closed 2026-05-30 15:33:10 +02:00

Enforce-or-retract the $-in-authored-binder-names reservation idea

#44 by Brummel was closed 2026-05-30 15:27:57 +02:00

1 2 3