Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fe v2 #840

Draft
wants to merge 588 commits into
base: master
Choose a base branch
from
Draft

Fe v2 #840

wants to merge 588 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Oct 3, 2023

  1. Readme update with progress and more project info

    @micahscopes
    micahscopes committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    0027cba View commit details
    Browse the repository at this point in the history

  2. Implement constraint collector and simplification

    @Y-Nak
    Y-Nak committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    6c545b8 View commit details
    Browse the repository at this point in the history

  3. Implement TyId::pretty_print

    @Y-Nak
    Y-Nak committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    c84ad70 View commit details
    Browse the repository at this point in the history

  4. Implement TraitInst::pretty_print

    @Y-Nak
    Y-Nak committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    a046b36 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2023

  1. Implement collect_adt_constraints

    @Y-Nak
    Y-Nak committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    8ffbb12 View commit details
    Browse the repository at this point in the history

  2. Utilize TyDiagCollection

    @Y-Nak
    Y-Nak committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    42c7418 View commit details
    Browse the repository at this point in the history

  3. Track pretty print fn for TyId

    @Y-Nak
    Y-Nak committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    f4d5b42 View commit details
    Browse the repository at this point in the history

  4. Implement a method to collect type constraints

    @Y-Nak
    Y-Nak committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    45478bf View commit details
    Browse the repository at this point in the history

  5. Implement check for type bound satisfiability in type application

    @Y-Nak
    Y-Nak committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    4dd3617 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2023

  1. Cleanup diag accumulations to make it easy to identify the functions … 

    …being responsible for diag
    @Y-Nak
    Y-Nak committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    62c8881 View commit details
    Browse the repository at this point in the history

  2. Let salsa intern TraitRef

    @Y-Nak
    Y-Nak committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    c68da61 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Implement Adt analysis in type level

    @Y-Nak
    Y-Nak committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    8cc0645 View commit details
    Browse the repository at this point in the history

  2. Implement type alias analysis in type level

    @Y-Nak
    Y-Nak committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    b459355 View commit details
    Browse the repository at this point in the history

  3. Implement trait definition analysis in type level

    @Y-Nak
    Y-Nak committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    eb098e4 View commit details
    Browse the repository at this point in the history

  4. Add kind bound check in ty analysis

    @Y-Nak
    Y-Nak committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    c648d35 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2023

  1. roadmap and to-do sketch

    @micahscopes
    micahscopes committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    0c4c1d7 View commit details
    Browse the repository at this point in the history

  2. Refactor adt analyzer

    @Y-Nak
    Y-Nak committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    390c6d4 View commit details
    Browse the repository at this point in the history

  3. Ipmlement trait impl analysis in type level

    @Y-Nak
    Y-Nak committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    5e21f4f View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2023

  1. Allow partial application in type alias

    @Y-Nak
    Y-Nak committed Oct 8, 2023
    Configuration menu
    Copy the full SHA
    a3cc54b View commit details
    Browse the repository at this point in the history

  2. Improve type alias cycle error message

    @Y-Nak
    Y-Nak committed Oct 8, 2023
    Configuration menu
    Copy the full SHA
    ddfa00f View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. Add lower_trait_impl tracked function

    @Y-Nak
    Y-Nak committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    b420bed View commit details
    Browse the repository at this point in the history

  2. Make clippy happy

    @Y-Nak
    Y-Nak committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    06cdd0a View commit details
    Browse the repository at this point in the history

  3. Improve error messages

    @Y-Nak
    Y-Nak committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    7974716 View commit details
    Browse the repository at this point in the history

  4. Add uitests for trait bound sat check

    @Y-Nak
    Y-Nak committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    5c62a9f View commit details
    Browse the repository at this point in the history

  5. Fix missing kind checks

    @Y-Nak
    Y-Nak committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    f49a638 View commit details
    Browse the repository at this point in the history

  6. Remove unnecessary Visitor usage

    @Y-Nak
    Y-Nak committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    6da8ccf View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Opt out cycle-related tests from wasm tests: ref #939

    @Y-Nak
    Y-Nak committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    3b17efb View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. Doc work for hir-analysis::ty module

    @Y-Nak
    Y-Nak committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    f822ca2 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2023

  1. update roadmap sketch

    @micahscopes
    micahscopes committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    ee27d36 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2023

  1. Add FuncDef

    @Y-Nak
    Y-Nak committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    8522701 View commit details
    Browse the repository at this point in the history

  2. Implement function type lowering

    @Y-Nak
    Y-Nak committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    cac9c34 View commit details
    Browse the repository at this point in the history

  3. roadmap update

    @micahscopes
    micahscopes committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    e9e9305 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2023

  1. Collect func def constraitns

    @Y-Nak
    Y-Nak committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    cdc385d View commit details
    Browse the repository at this point in the history

  2. Integrate func def constraints to type constraint system

    @Y-Nak
    Y-Nak committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    d14cb47 View commit details
    Browse the repository at this point in the history

  3. Implement MethodCollector

    @Y-Nak
    Y-Nak committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    cc65c76 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. Allow self function parameter to have a type annotation

    @Y-Nak
    Y-Nak committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    1ce64d4 View commit details
    Browse the repository at this point in the history

  2. Define diagnostics for impl analysis

    @Y-Nak
    Y-Nak committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    e9c3262 View commit details
    Browse the repository at this point in the history

  3. Implement impl block analysis

    @Y-Nak
    Y-Nak committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    cf505c6 View commit details
    Browse the repository at this point in the history

  4. Define AnalysisPass for impl block

    @Y-Nak
    Y-Nak committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    8a52eb9 View commit details
    Browse the repository at this point in the history

  5. Fix inconsistent scope usage in def analysis

    @Y-Nak
    Y-Nak committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    a467a86 View commit details
    Browse the repository at this point in the history

  6. Let visitor use the correct span for fallback self type

    @Y-Nak
    Y-Nak committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    a4fb974 View commit details
    Browse the repository at this point in the history

  7. Add prove_eager method for conflict check

    @Y-Nak
    Y-Nak committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    0189edb View commit details
    Browse the repository at this point in the history

  8. Add tests for impl block

    @Y-Nak
    Y-Nak committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    ab85cfd View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. Collect trait methods

    @Y-Nak
    Y-Nak committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    9c2af1e View commit details
    Browse the repository at this point in the history

  2. Lower Self type arguments properly

    @Y-Nak
    Y-Nak committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    48a8a55 View commit details
    Browse the repository at this point in the history

  3. Add analysis for methods in impl trait

    @Y-Nak
    Y-Nak committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    a795df5 View commit details
    Browse the repository at this point in the history

  4. Add test for impl trait methods

    @Y-Nak
    Y-Nak committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    308b530 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. Change Visitor to walk through the child items of ImplTrait

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    8f650fb View commit details
    Browse the repository at this point in the history

  2. Let pass analysis check impl mehtods name conflicts

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    d46209b View commit details
    Browse the repository at this point in the history

  3. Check if a generic parameter name is undefined in the parent item

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    257e3c3 View commit details
    Browse the repository at this point in the history

  4. Allow to specify a self arg type in addition to Self

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    c278ea8 View commit details
    Browse the repository at this point in the history

  5. Check type analysis for self arg type

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    2ec4571 View commit details
    Browse the repository at this point in the history

  6. Fix scope graph traveresal error that items in block expr are not t… 

    …raversed properly
    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    05e4435 View commit details
    Browse the repository at this point in the history

  7. Implement func def analysis in type level

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    cda5476 View commit details
    Browse the repository at this point in the history

  8. Implement duplicated func argument name check

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    da5ead6 View commit details
    Browse the repository at this point in the history

  9. Remove hir::FuncLabel

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    a2c2040 View commit details
    Browse the repository at this point in the history

  10. Implement trait impl method label integrity check

    @Y-Nak
    Y-Nak committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    cf1a456 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2023

  1. Reword fully applied type to concrete type

    @Y-Nak
    Y-Nak committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    e19a2d4 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2023

  1. Define DependentTy

    @Y-Nak
    Y-Nak committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    7162709 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Implement const generics type parameter lowering

    @Y-Nak
    Y-Nak committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    6617003 View commit details
    Browse the repository at this point in the history

  2. Refactor emit_ty_diag

    @Y-Nak
    Y-Nak committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    8943d04 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. Merge pull request #931 from Y-Nak/trait-solve 

    Fe type/trait system
    @sbillig
    sbillig authored Nov 6, 2023
    Configuration menu
    Copy the full SHA
    4643ced View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Make clippy happy

    @Y-Nak
    Y-Nak committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    055129e View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Initial attempt at LSP explicit file content update API

    @micahscopes
    micahscopes committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    0d580c3 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. LSP request debug info

    @micahscopes
    micahscopes committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    95c612b View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. Merge pull request #942 from Y-Nak/func-ty 

    Func ty
    @sbillig
    sbillig authored Dec 7, 2023
    Configuration menu
    Copy the full SHA
    d664a7a View commit details
    Browse the repository at this point in the history

  2. LSP workspace change proof of concept

    @micahscopes
    micahscopes committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    17ccf90 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. LSP server register file system watchers

    @micahscopes
    micahscopes committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    92967aa View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2023

  1. language server clippy/format

    @micahscopes
    micahscopes committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    62b1f93 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2023

  1. prototype lsp watched sync; fix multiple diagnostics

    @micahscopes
    micahscopes committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    7aefd6b View commit details
    Browse the repository at this point in the history

  2. lsp clippy+fmt

    @micahscopes
    micahscopes committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    ef18c2a View commit details
    Browse the repository at this point in the history

  3. don't generate diagnostics for a deleted file

    @micahscopes
    micahscopes committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    5634eea View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2023

  1. Temporary workaround to sync workspace on file rename

    @micahscopes
    micahscopes committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    2bf653b View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. Define TyVarUniverse

    @Y-Nak
    Y-Nak committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    c64441d View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. Implement unification for dependent types

    @Y-Nak
    Y-Nak committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    cb6db2b View commit details
    Browse the repository at this point in the history

  2. Add analysis for dependent type application

    @Y-Nak
    Y-Nak committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    8460ec1 View commit details
    Browse the repository at this point in the history

  3. Add analysis for the case where ADT specifies a dependent type as a f… 

    …ield type
    @Y-Nak
    Y-Nak committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    6840790 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Dependent type for trait

    @Y-Nak
    Y-Nak committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    f9b0dcb View commit details
    Browse the repository at this point in the history

  2. Refactor internal representation of NameDomain

    @Y-Nak
    Y-Nak committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    ee3559e View commit details
    Browse the repository at this point in the history

  3. Add type check for dependent type fields

    @Y-Nak
    Y-Nak committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    65121da View commit details
    Browse the repository at this point in the history

  4. Disallow complex expressions in a dependent type context

    @Y-Nak
    Y-Nak committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    e63f832 View commit details
    Browse the repository at this point in the history

  5. Replace fxhash with rustc_hash in parser2

    @Y-Nak
    Y-Nak committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    446c02d View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2024

  1. Add simple document for TyVarUniverse

    @Y-Nak
    Y-Nak committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    d48fbde View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Fix missing kind check for function return type

    @Y-Nak
    Y-Nak committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    67aeb43 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. Make generic parameters evaluation lazy

    @Y-Nak
    Y-Nak committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    fa68e84 View commit details
    Browse the repository at this point in the history

  2. Rename dependent naming with const in a type context

    @Y-Nak
    Y-Nak committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    f11c1b0 View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2024

  1. Merge pull request #945 from Y-Nak/dependent-ty

    @Y-Nak
    Y-Nak authored Jan 28, 2024
    Configuration menu
    Copy the full SHA
    1b7c7e9 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. update readme progress

    @micahscopes
    micahscopes committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    96e9527 View commit details
    Browse the repository at this point in the history

  2. pass linting

    @micahscopes
    micahscopes committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    cbea0ff View commit details
    Browse the repository at this point in the history

  3. clippy fixes

    @micahscopes
    micahscopes committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    0e31c89 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #884 from micahscopes/language-server 

    Language server first pass
    @sbillig
    sbillig authored Jan 29, 2024
    Configuration menu
    Copy the full SHA
    fd274c9 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. dummy file path conversions to fix CI on wasm (#984)

    @micahscopes
    micahscopes authored Feb 8, 2024
    Configuration menu
    Copy the full SHA
    bb87d54 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. v2 parser: change assignment's lhs to expression (#985) 

    * Change assign and augassign statements to expressions
* Fix bug in assignment parsing
    @saifalkatout
    saifalkatout authored Feb 14, 2024
    Configuration menu
    Copy the full SHA
    ce8382f View commit details
    Browse the repository at this point in the history

  2. Require comma between enum variants

    @sbillig
    sbillig committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    029ebb1 View commit details
    Browse the repository at this point in the history

  3. Add more parser diagnostic uitests

    @sbillig
    sbillig committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    629f4d0 View commit details
    Browse the repository at this point in the history

  4. Add more fn signature recovery tokens

    @sbillig
    sbillig committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    80f100b View commit details
    Browse the repository at this point in the history

  5. Improve parser error placement

    @sbillig
    sbillig committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    0f2ca8b View commit details
    Browse the repository at this point in the history

  6. Fix duplicate modifier errors

    @sbillig
    sbillig committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    55c0b96 View commit details
    Browse the repository at this point in the history

  7. Disallow whitespace in multi-token operators

    @sbillig
    sbillig committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    36aaf9a View commit details
    Browse the repository at this point in the history

  8. define_scope! for AssignExpr and AugAssignExpr

    @sbillig
    sbillig committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    37afade View commit details
    Browse the repository at this point in the history

  9. Merge pull request #934 from sbillig/parser-tweaks 

    Modest parser improvements
    @sbillig
    sbillig authored Feb 14, 2024
    Configuration menu
    Copy the full SHA
    574c1f0 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. parser: Fix wrong new line handling in binding power computation

    @Y-Nak
    Y-Nak committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    a115ffc View commit details
    Browse the repository at this point in the history

  2. parser: Fix newline handling in parsing tuple/parent expressions

    @Y-Nak
    Y-Nak committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    8fe6cf3 View commit details
    Browse the repository at this point in the history

  3. parser: Allow mut occurrence only in path pattern (#990)

    @Y-Nak
    Y-Nak authored Feb 28, 2024
    Configuration menu
    Copy the full SHA
    65f3804 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. Parser recovery rework

    @sbillig
    sbillig committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    14a990a View commit details
    Browse the repository at this point in the history

  2. Better parser error message headers (ExpectedKind enum)

    @sbillig
    sbillig committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    ff27aae View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Remove RecoveryMethod in favor of an optional list of match tokens

    @sbillig
    sbillig committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    b130adb View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. Fix build warning (unused field in def_analysis::DefKind::Impl)

    @sbillig
    sbillig committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    d3917cc View commit details
    Browse the repository at this point in the history

  2. Remove dead code

    @sbillig
    sbillig committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    e8ff942 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2024

  1. Fix review nits

    @sbillig
    sbillig committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    273ce09 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Merge pull request #972 from sbillig/parser-recovery-rework 

    Parser recovery rework
    @sbillig
    sbillig authored Apr 12, 2024
    Configuration menu
    Copy the full SHA
    57335f1 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Add bot type

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    5a544d7 View commit details
    Browse the repository at this point in the history

  2. Let unification table describe a reason for unification failure

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    3d1f43b View commit details
    Browse the repository at this point in the history

  3. Add utility methods to PathId

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a89f6d6 View commit details
    Browse the repository at this point in the history

  4. Implement TyCheckEnv

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    cf53b29 View commit details
    Browse the repository at this point in the history

  5. ty_check: lit int

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    e3049f4 View commit details
    Browse the repository at this point in the history

  6. Add uitest runner for ty check

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    04589fa View commit details
    Browse the repository at this point in the history

  7. Escalate String to primitive type

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    55d4997 View commit details
    Browse the repository at this point in the history

  8. ty_check: lit string

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    e4159f9 View commit details
    Browse the repository at this point in the history

  9. ty_check: wildcard, rest, lit, tuple, or pattern

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    bca4ae9 View commit details
    Browse the repository at this point in the history

  10. Change early name path analysis to check paths in expr, pat and stmt

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    3efa864 View commit details
    Browse the repository at this point in the history

  11. ty_check: simple path pat and let stmt

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    e831ea5 View commit details
    Browse the repository at this point in the history

  12. ty_check: make expr module to isolate logics for expression type ch… 

    …ecking
    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    6a6625c View commit details
    Browse the repository at this point in the history

  13. ty_check: path tuple pat

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    981aacc View commit details
    Browse the repository at this point in the history

  14. ty_check: record pat

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    35971b3 View commit details
    Browse the repository at this point in the history

  15. ty_check: if expr

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    0dc3846 View commit details
    Browse the repository at this point in the history

  16. Refactor PathResolver to resolve paths in several contexts

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    0dc83a9 View commit details
    Browse the repository at this point in the history

  17. Implement basic expr path resolution

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    7766ec8 View commit details
    Browse the repository at this point in the history

  18. Change function type param representation to include parent generic p… 

    …arams explicitly
    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a89cd72 View commit details
    Browse the repository at this point in the history

  19. ty_check: path expression and binding resolution

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    ee9739c View commit details
    Browse the repository at this point in the history

  20. ty_check: record init expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a2b833b View commit details
    Browse the repository at this point in the history

  21. Fix a bug in parsing record init with implicit label

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    82330d6 View commit details
    Browse the repository at this point in the history

  22. Add record field visibility check

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    dba029c View commit details
    Browse the repository at this point in the history

  23. ty_check: tuple expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    6c3a553 View commit details
    Browse the repository at this point in the history

  24. Fix path resolution in pattern for shadowing to work properly

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a30d794 View commit details
    Browse the repository at this point in the history

  25. ty_check: array expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    b4eb4e7 View commit details
    Browse the repository at this point in the history

  26. ty_check: array repeat expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    cc961e8 View commit details
    Browse the repository at this point in the history

  27. Fix hir visitor bug in span conversion into path tuple pattern

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    aa3d611 View commit details
    Browse the repository at this point in the history

  28. Fix early path resolver to handle paths starting with Self properly

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    5b54716 View commit details
    Browse the repository at this point in the history

  29. Refine late path resolution by abstracting resolved types

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    0205e6a View commit details
    Browse the repository at this point in the history

  30. ty_check: match expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    180fa7b View commit details
    Browse the repository at this point in the history

  31. Remove unnecessary and fragile usage of unification table from constr… 

    …aint collection
    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    7aabc03 View commit details
    Browse the repository at this point in the history

  32. Add bot(never) type in type system, also add workaround in unificatio… 

    …n realating bot
    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    1d74758 View commit details
    Browse the repository at this point in the history

  33. ty_check: return expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    122fd48 View commit details
    Browse the repository at this point in the history

  34. ty_check: field access expresssion

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    eb2cb3f View commit details
    Browse the repository at this point in the history

  35. ty_check: index expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    5168c5c View commit details
    Browse the repository at this point in the history

  36. ty_check: unary expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    4083284 View commit details
    Browse the repository at this point in the history

  37. ty_check: binary expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a20bd29 View commit details
    Browse the repository at this point in the history

  38. ty_check: Add a property to indicate mutability to TypedExpr

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    b705b87 View commit details
    Browse the repository at this point in the history

  39. ty_check: assign and aug assign expression

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    7125b7f View commit details
    Browse the repository at this point in the history

  40. ty_check: while statement

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    5d2634b View commit details
    Browse the repository at this point in the history

  41. ty_check: break and continue statement

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    750f25a View commit details
    Browse the repository at this point in the history

  42. ty_check: for statement

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    dd78aca View commit details
    Browse the repository at this point in the history

  43. Bumpup dir-test version to 0.2

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    f3c2960 View commit details
    Browse the repository at this point in the history

  44. ty_check: function call

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    1bfc8ab View commit details
    Browse the repository at this point in the history

  45. ty_check: Fix bug in type inference in match expr

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    4c889a9 View commit details
    Browse the repository at this point in the history

  46. Fix missing scope information for unnamed imports

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    935bd3f View commit details
    Browse the repository at this point in the history

  47. Enable to find all impls of a given type

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a23a5e1 View commit details
    Browse the repository at this point in the history

  48. Add function to collect available traits in the given scope

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    e981b67 View commit details
    Browse the repository at this point in the history

  49. Rename TyVarUniverse to TyVarSort

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    e04cc5c View commit details
    Browse the repository at this point in the history

  50. Add TypeFoldable/TypeFolder

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    c9b9864 View commit details
    Browse the repository at this point in the history

  51. Implement TypeFolder to UnificationTable

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    45661bc View commit details
    Browse the repository at this point in the history

  52. Add TypeVisitable

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    cd9f630 View commit details
    Browse the repository at this point in the history

  53. Implement Binder

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    155b2d9 View commit details
    Browse the repository at this point in the history

  54. Cleanup Implementor by wrapping it by Binder

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    33c5706 View commit details
    Browse the repository at this point in the history

  55. Wrap up types by Binder more

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    6faf898 View commit details
    Browse the repository at this point in the history

  56. Cleanup trait impl method comparison

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    57fa1ad View commit details
    Browse the repository at this point in the history

  57. Cleanup binder usage

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    93835d7 View commit details
    Browse the repository at this point in the history

  58. Remove subst in favor of TypeFoldable

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    bb3cbd8 View commit details
    Browse the repository at this point in the history

  59. Remove unnecessary types

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    9a2bc1f View commit details
    Browse the repository at this point in the history

  60. ty_check: inherent method call

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    ba3a687 View commit details
    Browse the repository at this point in the history

  61. Fix missing visibility check in field access

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    3e58991 View commit details
    Browse the repository at this point in the history

  62. Modify FuncDef definition to allow lowering an enum unit variant in… 

    …to a function
    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    217a636 View commit details
    Browse the repository at this point in the history

  63. Add lowering from tuple varaint to func def

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a8e6d7b View commit details
    Browse the repository at this point in the history

  64. Allow users to specify ! type

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    bc2c9eb View commit details
    Browse the repository at this point in the history

  65. Add tests for method call

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    6fff62d View commit details
    Browse the repository at this point in the history

  66. Fix meaningless type application in method call

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    a17cbf7 View commit details
    Browse the repository at this point in the history

  67. Improve error message in method selection

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    ab82abb View commit details
    Browse the repository at this point in the history

  68. ty_check: trait method call

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    ed92e70 View commit details
    Browse the repository at this point in the history

  69. ty_check: bitnot op

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    b84ea9f View commit details
    Browse the repository at this point in the history

  70. ty_check: static trait method

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    ff41344 View commit details
    Browse the repository at this point in the history

  71. ty_check: const

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    56876d4 View commit details
    Browse the repository at this point in the history

  72. Add check for foreign/non-nominal type in inherent impl

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    3df921f View commit details
    Browse the repository at this point in the history

  73. Fix missing instantiation in method selection

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    2340147 View commit details
    Browse the repository at this point in the history

  74. Fix impl method stricter bound check so that it ignores parental assu… 

    …mptions
    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    f12d7ca View commit details
    Browse the repository at this point in the history

  75. Cleanup path resolution in body

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    8520097 View commit details
    Browse the repository at this point in the history

  76. Resolve const generics as a term

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    dce3342 View commit details
    Browse the repository at this point in the history

  77. Cleanup ty_def module

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    e176aa9 View commit details
    Browse the repository at this point in the history

  78. Add TyFlags

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    2a386dc View commit details
    Browse the repository at this point in the history

  79. Improve error messages

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    77f5c46 View commit details
    Browse the repository at this point in the history

  80. Improve representation of trait constraints

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    d209e77 View commit details
    Browse the repository at this point in the history

  81. Handle unexpected missing self type in trait method check

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    883fbf1 View commit details
    Browse the repository at this point in the history

  82. Allow missing self label

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    cb2ae67 View commit details
    Browse the repository at this point in the history

  83. Stop visiting block internal items when finalizing type checking

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    9857615 View commit details
    Browse the repository at this point in the history

  84. Fix missing instantiation in method selection

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    68fff89 View commit details
    Browse the repository at this point in the history

  85. Fix missing string type variable fallback

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    75ccd06 View commit details
    Browse the repository at this point in the history

  86. Update old tests

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    524efd9 View commit details
    Browse the repository at this point in the history

  87. Add more tests

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    c399d68 View commit details
    Browse the repository at this point in the history

  88. Canonicalize more

    @Y-Nak
    Y-Nak committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    7252aaf View commit details
    Browse the repository at this point in the history

  89. Fix a bug in constraitns collection when Self appears in where clau… 

    …se (#997)
    @Y-Nak
    Y-Nak authored Apr 23, 2024
    Configuration menu
    Copy the full SHA
    c80b36e View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Fix incorrect instantiation in constraint solving (#998)

    @Y-Nak
    Y-Nak authored Apr 25, 2024
    Configuration menu
    Copy the full SHA
    2fca91c View commit details
    Browse the repository at this point in the history

  2. Fix label assertion bug

    @Y-Nak
    Y-Nak committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    732e88c View commit details
    Browse the repository at this point in the history

  3. Merge pull request #999 from Y-Nak/fix-incorrect-label 

    Fix label assertion bug
    @g-r-a-n-t
    g-r-a-n-t authored Apr 25, 2024
    Configuration menu
    Copy the full SHA
    4a18de0 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Fix missing instantiation in impls_of_ty function

    @Y-Nak
    Y-Nak committed May 2, 2024
    Configuration menu
    Copy the full SHA
    851f25e View commit details
    Browse the repository at this point in the history

  2. Make clippy happy

    @Y-Nak
    Y-Nak committed May 2, 2024
    Configuration menu
    Copy the full SHA
    e399d92 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Merge pull request #1001 from Y-Nak/fix-trait-method-selection 

    Fix trait method selection
    @sbillig
    sbillig authored May 3, 2024
    Configuration menu
    Copy the full SHA
    6b13659 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2024

  1. Add devcontainer.json, for development in Docker and Github Codespace. ( 

    #1000)
    afsec authored May 4, 2024
    Configuration menu
    Copy the full SHA
    52c864c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fe-v2

    @sbillig
    sbillig committed May 4, 2024
    Configuration menu
    Copy the full SHA
    5f9086d View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. Merge pull request #1005 from sbillig/mergeroo 

    Merge master into fe-v2
    @Y-Nak
    Y-Nak authored May 6, 2024
    Configuration menu
    Copy the full SHA
    106a319 View commit details
    Browse the repository at this point in the history

  2. gh ci: enable rust backtrace; only deny warnings on the lint job (#1006)

    @sbillig
    sbillig authored May 6, 2024
    Configuration menu
    Copy the full SHA
    cc6e938 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Add Canonicalized<T> and Solution<T>

    @Y-Nak
    Y-Nak committed May 13, 2024
    Configuration menu
    Copy the full SHA
    65ef137 View commit details
    Browse the repository at this point in the history

  2. Add PersistentUnificationTable

    @Y-Nak
    Y-Nak committed May 13, 2024
    Configuration menu
    Copy the full SHA
    854d789 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Tabled trait resolution

    @Y-Nak
    Y-Nak committed May 14, 2024
    Configuration menu
    Copy the full SHA
    9705246 View commit details
    Browse the repository at this point in the history

  2. Refactor module structure

    @Y-Nak
    Y-Nak committed May 14, 2024
    Configuration menu
    Copy the full SHA
    73717ff View commit details
    Browse the repository at this point in the history

  3. Fix broken link

    @Y-Nak
    Y-Nak committed May 14, 2024
    Configuration menu
    Copy the full SHA
    d52c3a3 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. Introduce confirmation concept for method selection

    @Y-Nak
    Y-Nak committed May 15, 2024
    Configuration menu
    Copy the full SHA
    5bac0d4 View commit details
    Browse the repository at this point in the history

  2. Improve wf error message by displaying an unsatisfied subgoal together

    @Y-Nak
    Y-Nak committed May 15, 2024
    Configuration menu
    Copy the full SHA
    a9abd65 View commit details
    Browse the repository at this point in the history

  3. Add test for lazy method confirmation

    @Y-Nak
    Y-Nak committed May 15, 2024
    Configuration menu
    Copy the full SHA
    bc233f7 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Doc work

    @Y-Nak
    Y-Nak committed May 16, 2024
    Configuration menu
    Copy the full SHA
    15191a3 View commit details
    Browse the repository at this point in the history

  2. Tweak trait import rule so that users don't need to import trait to u… 

    …se if it's unique
    @Y-Nak
    Y-Nak committed May 16, 2024
    Configuration menu
    Copy the full SHA
    53b15e5 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Update dir-test version to 0.3

    @Y-Nak
    Y-Nak committed May 17, 2024
    Configuration menu
    Copy the full SHA
    da86b34 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. Merge pull request #1007 from Y-Nak/tabled-trait-resolution 

    Tabled trait resolution
    @sbillig
    sbillig authored May 22, 2024
    Configuration menu
    Copy the full SHA
    5b405ad View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. add usize and isize primitive types

    @lana-shanghai
    lana-shanghai committed May 31, 2024
    Configuration menu
    Copy the full SHA
    e2aac12 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. address nits

    @lana-shanghai
    lana-shanghai committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    79bab76 View commit details
    Browse the repository at this point in the history

  2. leave keywords defs in capital letters

    @lana-shanghai
    lana-shanghai committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    96acdc4 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #1012 from lana-shanghai/feat/add_usize_isize_types 

    add usize and isize primitive types
    @Y-Nak
    Y-Nak authored Jun 10, 2024
    Configuration menu
    Copy the full SHA
    5f36438 View commit details
    Browse the repository at this point in the history

  4. Probe type variable deeply

    @Y-Nak
    Y-Nak committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    5b13ab6 View commit details
    Browse the repository at this point in the history

  5. Define upper bound on the type depth to enusre termination in trait s… 

    …olving
    @Y-Nak
    Y-Nak committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    73af776 View commit details
    Browse the repository at this point in the history

  6. Exclude certik.com from linkcheck

    @Y-Nak
    Y-Nak committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    1c3d94b View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Prioritize consumer nodes that are closer to the original goal in the… 

    … subgoal resolution process
    @Y-Nak
    Y-Nak committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    9bf3943 View commit details
    Browse the repository at this point in the history

  2. Make clippy happy

    @Y-Nak
    Y-Nak committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    6360a30 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #1014 from Y-Nak/ensure-termination-in-trait-solving 

    Ensure termination in trait solving
    @sbillig
    sbillig authored Jun 19, 2024
    Configuration menu
    Copy the full SHA
    c9a55c2 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. [hir] Update type representation for salsa 3.0

    @Y-Nak
    Y-Nak committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    1113942 View commit details
    Browse the repository at this point in the history

  2. [name-resolution] Update type representation for salsa 3.0

    @Y-Nak
    Y-Nak committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    f8d8f88 View commit details
    Browse the repository at this point in the history

  3. [ty] Update type representation for salsa 3.0

    @Y-Nak
    Y-Nak committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    862972d View commit details
    Browse the repository at this point in the history

  4. [name-resolution] Remove accumulators

    @Y-Nak
    Y-Nak committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    95b8ed2 View commit details
    Browse the repository at this point in the history

  5. [ty] Remove accumulators

    @Y-Nak
    Y-Nak committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    eda5af3 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Replace salsa::FromId with salsa::LookupId

    @Y-Nak
    Y-Nak committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    dd66c37 View commit details
    Browse the repository at this point in the history

  2. Update tests for salsa 3.0

    @Y-Nak
    Y-Nak committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    fa20327 View commit details
    Browse the repository at this point in the history

  3. Make clippy happy

    @Y-Nak
    Y-Nak committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    e9f46ea View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2024

  1. Add thin wrappers for IndexMap/IndexSet to implement salsa::Update

    @Y-Nak
    Y-Nak committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    776b53f View commit details
    Browse the repository at this point in the history

  2. Replace BTreeMap/BTreeSet with IndexMap/IndexSet

    @Y-Nak
    Y-Nak committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    0f589f6 View commit details
    Browse the repository at this point in the history

  3. Fix duplicated error report in alias cycle

    @Y-Nak
    Y-Nak committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    ef81c76 View commit details
    Browse the repository at this point in the history

  4. Modify scope graph DFS traversal order

    @Y-Nak
    Y-Nak committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    904dccc View commit details
    Browse the repository at this point in the history

  5. Exclude language-server from the workspace temporarily

    @Y-Nak
    Y-Nak committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    dce1e09 View commit details
    Browse the repository at this point in the history

  6. Remove fe-macros

    @Y-Nak
    Y-Nak committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    28fe40c View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Merge pull request #1015 from Y-Nak/update-salsa 

    Update salsa
    @sbillig
    sbillig authored Jul 4, 2024
    Configuration menu
    Copy the full SHA
    bd7343c View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Fix missing occurence check

    @Y-Nak
    Y-Nak committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    ac2b8f8 View commit details
    Browse the repository at this point in the history

  2. Make clippy happy

    @Y-Nak
    Y-Nak committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    7e9d00d View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Merge pull request #1019 from Y-Nak/missing-occurence-check 

    Fix missing occurence check
    @Y-Nak
    Y-Nak authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    da8aed3 View commit details
    Browse the repository at this point in the history