-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Generalize SSA constants and literal materialization
cleanupLet's make the code better and the tech debt smaller!Let's make the code better and the tech debt smaller!ssaStatic Single-Assignment form low-lever intermediate representation.Static Single-Assignment form low-lever intermediate representation.Status: Open.#172 In enlightware/ferlium;Preserve TrivialCopy by-value semantics at SSA script-call boundaries
hirTyped High-level Intermediate RepresentationTyped High-level Intermediate RepresentationsoundnessA soundness bug: the compiler does not follow the specification and accepts incorrect code.A soundness bug: the compiler does not follow the specification and accepts incorrect code.ssaStatic Single-Assignment form low-lever intermediate representation.Static Single-Assignment form low-lever intermediate representation.Status: Open.#171 In enlightware/ferlium;Supports subscripts in traits
maybeA feature we might or might not wantA feature we might or might not wanttraitThe trait system provides ad hoc polymorphismThe trait system provides ad hoc polymorphismStatus: Open.#168 In enlightware/ferlium;Long-lived projections
longer termNot very urgent compared to other issuesNot very urgent compared to other issuesmaybeA feature we might or might not wantA feature we might or might not wanttypeThe HM(X) type system, excluding the trait partThe HM(X) type system, excluding the trait partStatus: Open.#164 In enlightware/ferlium;Add module-level constants
hirTyped High-level Intermediate RepresentationTyped High-level Intermediate RepresentationparsingGetting raw text into an ASTGetting raw text into an ASTStatus: Open.#138 In enlightware/ferlium;Reuse common std-provided function Value helper code instead of per-module generation
hirTyped High-level Intermediate RepresentationTyped High-level Intermediate RepresentationmaybeA feature we might or might not wantA feature we might or might not wantoptimisationThey make your code go faster, and your compiler go slowerThey make your code go faster, and your compiler go slowertraitThe trait system provides ad hoc polymorphismThe trait system provides ad hoc polymorphismStatus: Open.#131 In enlightware/ferlium;Support associated const formulas for blanket impls
traitThe trait system provides ad hoc polymorphismThe trait system provides ad hoc polymorphismStatus: Open.#130 In enlightware/ferlium;Move
stdtoward qualified modules and shrink preludestdThe standard libraryThe standard libraryStatus: Open.#118 In enlightware/ferlium;Add support for re-exporting symbols (
pub use)hirTyped High-level Intermediate RepresentationTyped High-level Intermediate RepresentationparsingGetting raw text into an ASTGetting raw text into an ASTStatus: Open.#105 In enlightware/ferlium;Support "as" renaming in import
desugarA syntaxic sugar to be processed earlyA syntaxic sugar to be processed earlyparsingGetting raw text into an ASTGetting raw text into an ASTStatus: Open.#103 In enlightware/ferlium;Support importing modules (module alias imports)
parsingGetting raw text into an ASTGetting raw text into an ASTStatus: Open.#101 In enlightware/ferlium;Add generic associated types (GAT)
maybeA feature we might or might not wantA feature we might or might not wanttraitThe trait system provides ad hoc polymorphismThe trait system provides ad hoc polymorphismtypeThe HM(X) type system, excluding the trait partThe HM(X) type system, excluding the trait partStatus: Open.#92 In enlightware/ferlium;