Repository navigation

All pull requests

Labels (9)Milestones (0)New pull request

Open

(60)

Closed

(286)

Float an argument's Let chain out of beta-reduction so function arguments beside compound ones compile
#392dpmills opened Oct 12, 2026Contributor
Make Option a compiler-provided nominal type
#390dpmills opened Oct 12, 2026Contributor
Name the failing run in link-time errors, and add cambra check
#389dpmills opened Oct 12, 2026Contributor
Check each module on its own before inferring the linked program
#387dpmills opened Oct 12, 2026Contributor
Remove the unused TagMap::zip_same_tags, zip_matching and same_tags
#386groundlar opened Oct 12, 2026Contributor
Reuse mut_elim's expression builders in transact_phase instead of local copies
#385groundlar opened Oct 12, 2026Contributor
Remove unused guard fields and verbosity flags from tree visualization
#384groundlar opened Oct 12, 2026Contributor
Support type members in Module types and through Module-typed parameters
#383dpmills opened Oct 12, 2026Contributor
Store record field names and string literals as SmolStr
#381leon-papke opened Oct 10, 2026Contributor
Add associated functions, impl blocks and method calls to nominal types
#380dpmills opened Oct 10, 2026Contributor
Take nominal values apart with constructor patterns and extract
#379dpmills opened Oct 10, 2026Contributor
Lower module type parameters and type arguments to runs and imports
#378dpmills opened Oct 10, 2026Contributor
Implement nominal type declarations and their constructors
#377dpmills opened Oct 10, 2026Contributor
3
Add Module types, and lower a parameter that takes a module to a let per entry
#376dpmills opened Oct 9, 2026Contributor
Pass arguments to an import, with one shared run per module and set of arguments
#375dpmills opened Oct 9, 2026Contributor
Clarify CHL block results, match rules, and lexical scope
#373sortalongo opened Oct 9, 2026Contributor
Clarify interpreter producer and notification contracts
#372sortalongo opened Oct 9, 2026Contributor
Update tile and guard documentation to match the runtime
#371sortalongo opened Oct 9, 2026Contributor
Lower value parameters and run arguments, and specify arguments to an import
#370dpmills opened Oct 9, 2026Contributor
Lower run statements by creating each run from its module's single lowering at link time
#369dpmills opened Oct 9, 2026Contributor
Refuse importing a module that declares state, and lower calls to imported Mut-parameter functions
#365dpmills opened Oct 9, 2026Contributor
Import type aliases by qualified name and use
#364dpmills opened Oct 9, 2026Contributor
Render imported members as module::name by recording their home on Name::Unique
#363dpmills opened Oct 9, 2026Contributor
Resolve type-alias predicates where the alias is declared
#362dpmills opened Oct 9, 2026Contributor
Lower use clauses by resolving them in each module's uniquify scope
#361dpmills opened Oct 9, 2026Contributor

Navigation Menu

Repository navigation

All pull requests

Float an argument's `Let` chain out of beta-reduction so function arguments beside compound ones compile

Make `Option` a compiler-provided nominal type

Name the failing run in link-time errors, and add `cambra check`

Check each module on its own before inferring the linked program

Remove the unused `TagMap::zip_same_tags`, `zip_matching` and `same_tags`

Reuse `mut_elim`'s expression builders in `transact_phase` instead of local copies

Remove unused guard fields and verbosity flags from tree visualization

Support type members in Module types and through Module-typed parameters

Store record field names and string literals as `SmolStr`

Add associated functions, `impl` blocks and method calls to nominal types

Take nominal values apart with constructor patterns and `extract`

Lower module type parameters and type arguments to runs and imports

Implement nominal `type` declarations and their constructors

Add Module types, and lower a parameter that takes a module to a `let` per entry

Pass arguments to an import, with one shared run per module and set of arguments

Clarify CHL block results, match rules, and lexical scope

Clarify interpreter producer and notification contracts

Update tile and guard documentation to match the runtime

Lower value parameters and `run` arguments, and specify arguments to an import

Lower `run` statements by creating each run from its module's single lowering at link time

Refuse importing a module that declares state, and lower calls to imported `Mut`-parameter functions

Import type aliases by qualified name and `use`

Render imported members as `module::name` by recording their home on `Name::Unique`

Resolve type-alias predicates where the alias is declared

Lower `use` clauses by resolving them in each module's uniquify scope

Pull requests