Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Apr 14, 2026

• Type inference: Fix bad join

  Show description for 0db62b2
  hvitved

  committed
  0db62b2

  Copy full SHA for 0db62b2

Commits on Mar 27, 2026

• Rust: Infer argument types based on trait bounds on parameters

  hvitved

  committed
  6dc98cf

  Copy full SHA for 6dc98cf

Commits on Mar 25, 2026

• Rust: Take additional type parameter constraints into account

  hvitved

  committed
  6295f57

  Copy full SHA for 6295f57

Commits on Mar 19, 2026

• Rust: Disambiguate types inferred from trait bounds

  hvitved

  committed
  7fc1d53

  Copy full SHA for 7fc1d53

Commits on Mar 18, 2026

• Rust: Make `getATypeParameterConstraint` return a `TypeMention` again

  hvitved

  committed
  98d8cd1

  Copy full SHA for 98d8cd1

• Shared: Generalize `SatisfiesConstraint` module

  hvitved

  committed
  06f0c11

  Copy full SHA for 06f0c11

Commits on Feb 5, 2026

• Rust: Rework call disambiguation logic

  hvitved

  committed
  2dc7576

  Copy full SHA for 2dc7576

Commits on Jan 26, 2026

• Shared: Use `HasTypeTreeSig` for `TypeMention`

  paldepind

  committed
  a7fecaa

  Copy full SHA for a7fecaa

Commits on Jan 22, 2026

• Rust: Change `getATypeParameterConstraint` to not require a `TypeMention`

  paldepind

  committed
  ffaf1c0

  Copy full SHA for ffaf1c0

• Type inference: Disable universal conditions

  hvitved

  committed
  65ca884

  Copy full SHA for 65ca884

Commits on Jan 9, 2026

• Address review comments

  hvitved

  committed
  6028cd6

  Copy full SHA for 6028cd6

Commits on Jan 7, 2026

• Rust: Model `Deref` trait in type inference

  hvitved

  committed
  4540662

  Copy full SHA for 4540662

Commits on Dec 17, 2025

• Shared: Add library for unbound lists

  hvitved

  committed
  08339fe

  Copy full SHA for 08339fe

Commits on Dec 10, 2025

• Rust: Strengthen `isNotInstantiationOf` uses

  hvitved

  committed
  d5a95a8

  Copy full SHA for d5a95a8

Commits on Nov 24, 2025

• Merge pull request #20848 from hvitved/rust/ranked-forex-rename

  Show description for ac644b2
  hvitved

  authored
  ac644b2

  Copy full SHA for ac644b2

Commits on Nov 17, 2025

• Rust: Use `useUniversalConditions() { none() }`

  hvitved

  committed
  bf0dc3c

  Copy full SHA for bf0dc3c

• Rust: Fix grammar

  paldepind

  committed
  4eb22a7

  Copy full SHA for 4eb22a7

• Rust: Improvements to docs from review comments

  paldepind

  committed
  9971936

  Copy full SHA for 9971936

• Rust: Use `ToIndex` instead of `FromIndex` in ranked `forex` predicates

  Show description for 3419c00
  hvitved

  committed
  3419c00

  Copy full SHA for 3419c00

• Rust: Make impl blocks only give rise to direct trait implementation

  paldepind

  committed
  089bfff

  Copy full SHA for 089bfff

Commits on Oct 30, 2025

• Rust: Refactor using shared constraint satisfaction

  paldepind

  committed
  b189f1f

  Copy full SHA for b189f1f

Commits on Oct 29, 2025

• Merge pull request #20704 from hvitved/rust/fix-bad-joins

  Show description for b729354
  hvitved

  authored
  b729354

  Copy full SHA for b729354

Commits on Oct 28, 2025

• Rust: Fix bad join

  Show description for b3bbe78
  hvitved

  committed
  b3bbe78

  Copy full SHA for b3bbe78

• Rust: Fix bad join

  Show description for 104ba0e
  hvitved

  committed
  104ba0e

  Copy full SHA for 104ba0e

• Address review comments

  hvitved

  committed
  409f7fb

  Copy full SHA for 409f7fb

Commits on Oct 24, 2025

• Rust: Compute incompatible blanket implementations

  hvitved

  committed
  0e885e9

  Copy full SHA for 0e885e9

Commits on Oct 21, 2025

• Address review comments

  hvitved

  committed
  41602d3

  Copy full SHA for 41602d3

• Rust: Rework call resolution and type inference for calls

  hvitved

  committed
  4b70d20

  Copy full SHA for 4b70d20

Commits on Sep 12, 2025

• Rust: Add support for resolving methods from blanket implementations

  paldepind

  committed
  29ba013

  Copy full SHA for 29ba013

Commits on Sep 9, 2025

• Rename `Environment` -> `AccessEnvironment`

  hvitved

  committed
  e3e1bcd

  Copy full SHA for e3e1bcd

• Rename `State` -> `Environment`

  hvitved

  committed
  2e90499

  Copy full SHA for 2e90499

• Shared: Make some generalizations in type inference library

  hvitved

  committed
  a1980ee

  Copy full SHA for a1980ee

Commits on Aug 15, 2025

• Type inference: Rename some variables

  hvitved

  committed
  b104535

  Copy full SHA for b104535

Commits on Aug 7, 2025

• Rust: Generalize certain type inference logic

  hvitved

  committed
  1be542e

  Copy full SHA for 1be542e

Commits on Jul 18, 2025

• Shared, Rust: Reuse `hasTypeConstraint` in `potentialInstantiationOf` and factor out `multipleConstraintImplementations`

  paldepind

  committed
  43b2977

  Copy full SHA for 43b2977