Skip to content

update from main #4

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
Merged
Turupawn merged 802 commits into from
Mar 15, 2025
Merged

update from main #4

Turupawn merged 802 commits into from
Mar 15, 2025

Conversation

@Turupawn
Copy link
Owner

@Turupawn Turupawn commented Mar 15, 2025

What was wrong?

How was it fixed?

To-Do

  • OPTIONAL: Update Spec if applicable

  • Add entry to the release notes (may forgo for trivial changes)

  • Clean up commit history

Y-Nak added 30 commits April 23, 2024 13:13
@Y-Nak
ty_check: Add a property to indicate mutability to TypedExpr
b705b87
@Y-Nak
ty_check: assign and aug assign expression
7125b7f
@Y-Nak
ty_check: while statement
5d2634b
@Y-Nak
ty_check: break and continue statement
750f25a
@Y-Nak
ty_check: for statement
dd78aca
@Y-Nak
Bumpup dir-test version to 0.2
f3c2960
@Y-Nak
ty_check: function call
1bfc8ab
@Y-Nak
ty_check: Fix bug in type inference in match expr
4c889a9
@Y-Nak
Fix missing scope information for unnamed imports
935bd3f
@Y-Nak
Enable to find all impls of a given type
a23a5e1
@Y-Nak
Add function to collect available traits in the given scope
e981b67
@Y-Nak
Rename TyVarUniverse to TyVarSort
e04cc5c
@Y-Nak
Add TypeFoldable/TypeFolder
c9b9864
@Y-Nak
Implement TypeFolder to UnificationTable
45661bc
@Y-Nak
Add TypeVisitable
cd9f630
@Y-Nak
Implement Binder
155b2d9
@Y-Nak
Cleanup Implementor by wrapping it by Binder
33c5706
@Y-Nak
Wrap up types by Binder more
6faf898
@Y-Nak
Cleanup trait impl method comparison
57fa1ad
@Y-Nak
Cleanup binder usage
93835d7
@Y-Nak
Remove subst in favor of TypeFoldable
bb3cbd8
@Y-Nak
Remove unnecessary types
9a2bc1f
@Y-Nak
ty_check: inherent method call
ba3a687
@Y-Nak
Fix missing visibility check in field access
3e58991
@Y-Nak
Modify FuncDef definition to allow lowering an enum unit variant in…
217a636 
…to a function
@Y-Nak
Add lowering from tuple varaint to func def
a8e6d7b
@Y-Nak
Allow users to specify ! type
bc2c9eb
@Y-Nak
Add tests for method call
6fff62d
@Y-Nak
Fix meaningless type application in method call
a17cbf7
@Y-Nak
Improve error message in method selection
ab82abb
sbillig and others added 29 commits January 26, 2025 17:21
@sbillig
Use salsa::tracked methods and remove _impl functions
f975424
@micahscopes
Merge pull request #1050 from sbillig/salsa-update
93f181d 
Bump salsa to latest (includes accumulator bugfix), and use salsa::tracked methods instead of separate _impl fns
@sbillig
Add TyId::name_span(self, db)
2e20d75
@sbillig
Move diagnostic to_complete impls
036a063
@sbillig
Remove TyLowerDiag constructor functions
c380984
@sbillig
Remove most diagnostic constructor fns
cc94a4a
@sbillig
Merge pull request #1048 from sbillig/diag-refactor
f704df1 
Diagnostic refactor
@sbillig
Fix resolution of call of imported enum tuple variant constructor
ed3ceca
@sbillig
Fix inherent method resolution for imported types
ef331cc
@sbillig
Add tests: analysis of core lib, and analysis of user of core lib
e33b419
@micahscopes
disable fe language server in zed for the fe monorepo (#1052)
60eabe4
@micahscopes
Merge pull request #1051 from sbillig/enum-tuple-ctor-fix
5be9878 
Fix cross-ingot inherent method resolution
@sbillig
Better diagnostic when using a struct field name in a method call
8598c88
@sbillig
Add arg_count_mismatch uitest
8fb9623
@sbillig
Emit diag when path parent resolves to invalid ty
915be56
@sbillig
Emit NotAMethod diag when associated fn used as method
babd504
@sbillig
RecordInitChecker: remove unnecessary mut
d018b3b
@sbillig
Add analysis benchmarks
61cd54e
@sbillig
ci: exclude fe-bench and fe-language-server from cargo test
b3709bf
@micahscopes
Merge pull request #1055 from sbillig/bench
c04dec4 
Add analysis benchmarks
@g-r-a-n-t
config.toml > fe.toml (#1058)
0bb0c07 
Co-authored-by: Grant  Wuerker <grantwuerker@pop-os.localdomain>
@g-r-a-n-t
Merge pull request #1054 from sbillig/diag-improvements
e0d6273 
Diagnostic improvements
@sbillig
smallvec 1 -> 2.0.0-alpha10
1914db5
@Turupawn
return exit code 1 when fe check fails (#1060)
348e46c
@sbillig
salsa update: coarse tracked structs
8eb41e0
@sbillig
salsa update: derive(Update); remove AdtRefId and GenericParamOwnerId
1091f51
@sbillig
Use IndexMap for consistent trait order in diagnostic
8a4e9be
@sbillig
salsa update: bump to latest (perf improvements)
113d67c
@g-r-a-n-t
Merge pull request #1061 from sbillig/salsa-update
1c40071 
Salsa 3, part 3
@Turupawn Turupawn merged commit 4d6af11 into Turupawn:master Mar 15, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

7 participants

@Turupawn @Y-Nak @g-r-a-n-t @sbillig @lana-shanghai @micahscopes @rex4539