Skip to content

alternative fix: fe check on the . directory#3

Closed
Turupawn wants to merge 806 commits intomasterfrom
path-fix2
Closed

alternative fix: fe check on the . directory#3
Turupawn wants to merge 806 commits intomasterfrom
path-fix2

Conversation

@Turupawn
Copy link
Owner

@Turupawn Turupawn commented Mar 15, 2025

No description provided.

Y-Nak added 30 commits April 23, 2024 13:13
@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
@Y-Nak
ty_check: trait method call
ed92e70
@Y-Nak
ty_check: bitnot op
b84ea9f
@Y-Nak
ty_check: static trait method
ff41344
@Y-Nak
ty_check: const
56876d4
sbillig and others added 28 commits January 27, 2025 11:04
@sbillig
Remove most diagnostic constructor fns
cc94a4a
@sbillig
Merge pull request argotorg#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 (argotorg#1052)
60eabe4
@micahscopes
Merge pull request argotorg#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 argotorg#1055 from sbillig/bench
c04dec4 
Add analysis benchmarks
@g-r-a-n-t
config.toml > fe.toml (argotorg#1058)
0bb0c07 
Co-authored-by: Grant  Wuerker <grantwuerker@pop-os.localdomain>
@g-r-a-n-t
Merge pull request argotorg#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 (argotorg#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 argotorg#1061 from sbillig/salsa-update
1c40071 
Salsa 3, part 3
@Turupawn
Merge pull request #2 from ethereum/master
8fb15d8 
update from main
@Turupawn
fix fe check absolute paths
e810bdc
@Turupawn
minimized code
0fa7ea7
@Turupawn
fix approach2: make sure set_ingot_source_files only recives absolute…
3b73fcd 
… paths
@Turupawn Turupawn closed this Mar 15, 2025
@Turupawn Turupawn deleted the path-fix2 branch April 28, 2025 17:01
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