st/amelie
1
0
Fork 0
Code Issues 13 Pull requests Projects Releases Packages Wiki Activity Actions

unsupported call on a value-restriction polymorphic const #6

New issue
Closed
opened 2026-06-15 14:14:12 +02:00 by st · 0 comments
st commented 2026-06-15 14:14:12 +02:00
Owner
Copy link

Repro: examples/polymorphism.aml (polymorphic id/k bound as consts).

Error: codegen: unsupported call (in compile_core_op.go, ~1143/1237).

Minimal repro TBD; the example reliably triggers it.

This must be related to assigning a function pointer to a const. Value restriction probably doesnt apply after module initialization of consts.

Repro: examples/polymorphism.aml (polymorphic id/k bound as consts). Error: codegen: unsupported call (in compile_core_op.go, ~1143/1237). Minimal repro TBD; the example reliably triggers it. This must be related to assigning a function pointer to a const. Value restriction probably doesnt apply after module initialization of consts.
st closed this issue 2026-06-21 21:30:15 +02:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
No results found.
Labels
Clear labels   
bug

   
hack

   
planned

   
rfc

   
surprise
No labels
bug
hack
planned
rfc
surprise
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
st/amelie#6
No description provided.