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

Brummel/AILang

Labels Milestones New Issue

match on Bool passes check but codegen rejects it (no if, no working Bool branch) bug

#70 opened 2026-06-02 22:23:28 +02:00 by Brummel

ail builtins is an incomplete API scan — no comparison operators surfaced bug

#69 opened 2026-06-02 22:23:28 +02:00 by Brummel

Revive cross-model authoring-form harness + establish external-model fieldtest method feature

#68 opened 2026-06-02 16:11:13 +02:00 by Brummel

Leak-class branch drop: heap-capturing closure param leaks (soundness-over-completeness) idea

#67 opened 2026-06-02 15:51:18 +02:00 by Brummel

Remove general-purpose content hashing feature

#66 opened 2026-06-02 15:46:18 +02:00 by Brummel 0 / 5

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 2 — SoA record-of-series feature

#62 opened 2026-06-02 12:00:23 +02:00 by Brummel

[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

Diagnostics: borrow-return-not-permitted + consume-while-borrowed should name the fix feature

#59 opened 2026-06-02 00:46:37 +02:00 by Brummel

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

1 2 3 4