hash-org / hash-org/hashc

Both intrinsics and primitives should be allowed to be defined in-source

Open
#962 1 comment 0 reactions 1 assignee Claimed by @kontheocharis View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.