Extern warnings only if they reach code generation

effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism

https://effekt-lang.org

MIT License

294 stars 14 forks source link

Closed marzipankaiser closed 3 weeks ago

marzipankaiser commented 1 month ago

Fixes #447 by (variant A):

Adding a new variant Unsupported for ExternBodys in all IRs.
Generating this in ResolveExternDefs if no matching clauses were found.
In the backends, reporting the warning for Unsupported and generating code similar to holes.

Also moves the generation of the other warnings into ResolveExternDefs.