effekt-lang / effekt-lang/effekt
Use extern type definitions in LLVM
Open
area:llvm
feature
requires-design
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
After #1372 `extern type`s (and `extern interface`s) can have right-hand sides.
We should use this in the llvm backend to allow something like
```
extern type Int64 =
llvm "i64, 64, no eraser, no sharer"
```
For this, we need a way to specify all the necessary parts (type, size, eraser, sharer, ...), there are mostly two options:
1. have special syntax in the extern string (like above)
2. have syntax parsed in the Effekt parser (e.g. allow multiple extern strings / tuples / ...)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.