Issues - st/amelie - Forge

st/amelie

Search syntax

`assignee:<username>`	Filter by assigned user
`author:<username>`	Filter by the author
`is:all`	All
`is:closed`	Closed
`is:open`	Open
`mentions:<username>`	Filter by mentioned user
`modified:[>\|<]<date>`	Filter by last modified date
`review:<username>`	Filter by user who reviewed
`sort:<by>:[asc\|desc]`	Sort by: `created\|comments\|updated\|deadline`

New issue

REPL infers lambda-lifted closures standalone, losing captured values' nat arguments

#53 by st was closed 2026-07-28 11:29:41 +02:00

mptc instances print with tuples as implementation type in sigs

#52 by st was closed 2026-08-18 08:36:43 +02:00

Shadowed names provide very unhelpful error messages

#48 by st was closed 2026-07-27 09:46:43 +02:00

Unannotated lambda param inferred through a field/tuple access leaks the internal lambda$N name instead of a clean type error

#47 by st was closed 2026-07-27 09:46:51 +02:00

wrong # of type args in instance surfaces as leaking exception

#43 by st was closed 2026-08-18 08:36:51 +02:00

heap-allocated tuple scrutinee interacts with building a cons whose tail is a recursive call

#41 by st was closed 2026-07-07 11:39:30 +02:00

Array[T, 0] makes allocator panic

#38 by st was closed 2026-07-07 11:39:25 +02:00

cant implement traits on tuples because tuples underly mptc

#30 by st was closed 2026-07-07 11:40:31 +02:00

:llvm doesnt codegen generic code

#27 by st was closed 2026-06-29 13:14:41 +02:00

REPL accepts invalid input that starts with a valid complete expression

#12 by st was closed 2026-06-21 21:30:22 +02:00

Self referential types

#8 by st was closed 2026-06-15 19:29:13 +02:00

unsupported call on a value-restriction polymorphic const

#6 by st was closed 2026-06-21 21:30:15 +02:00

Nested enum-payload patterns don't codegen

#5 by st was closed 2026-06-16 13:54:00 +02:00

Cross-module access to plain functions/consts is unsupported

#4 by st was closed 2026-06-15 21:23:51 +02:00

Generic dispatch through a supertrait emits an invalid evidence GEP

#3 by st was closed 2026-06-21 21:32:20 +02:00

codegen doesnt support HOF

#2 by st was closed 2026-06-28 18:53:12 +02:00

Polymorphic literals lead to strange error messages

#1 by st was closed 2026-06-28 18:53:09 +02:00