Both intrinsics and primitives should be allowed to be defined in-source
Open
- Dominant language
- Rust
- Stars
- 28
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
To do this, there should be an attribute `#[intrinsic]` to label something as being an intrinsic, and it should be "linked" appropriately on the compiler side so that the intrinsic can be accessed symbolically.
For example, you should be able to do `Term::Call(Intrinsic::TypeOf.fn(), [ty])`
This should also allow defining a lot of the primitives in-source too.
Contributor guide
Assessment
This issue has not been assessed yet.