effekt-lang / effekt-lang/effekt

Use extern type definitions in LLVM

Open
#1,378 0 comments 1 reaction 0 assignees View on GitHub
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.