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

Conversation

Y-Nak
Copy link
Member

@Y-Nak Y-Nak commented Feb 2, 2023 •
edited
Loading

Resolves #845, Resolves #848

@Y-Nak Y-Nak force-pushed the fe-v2 branch 4 times, most recently from eabdca4 to 82fee03 Compare February 6, 2023 22:17
@Y-Nak Y-Nak mentioned this pull request Feb 11, 2023
Closed
@g-r-a-n-t g-r-a-n-t mentioned this pull request Jun 28, 2023
Open
@Y-Nak Y-Nak mentioned this pull request Sep 17, 2023
Merged
micahscopes and others added 23 commits October 3, 2023 10:51
@micahscopes
Readme update with progress and more project info
0027cba
@Y-Nak
Implement constraint collector and simplification
6c545b8
@Y-Nak
Implement TyId::pretty_print
c84ad70
@Y-Nak
Implement TraitInst::pretty_print
a046b36
@Y-Nak
Implement collect_adt_constraints
8ffbb12
@Y-Nak
Utilize TyDiagCollection
42c7418
@Y-Nak
Track pretty print fn for TyId
f4d5b42
@Y-Nak
Implement a method to collect type constraints
45478bf
@Y-Nak
Implement check for type bound satisfiability in type application
4dd3617
@Y-Nak
Cleanup diag accumulations to make it easy to identify the functions …
62c8881 
…being responsible for diag
@Y-Nak
Let salsa intern TraitRef
c68da61
@Y-Nak
Implement Adt analysis in type level
8cc0645
@Y-Nak
Implement type alias analysis in type level
b459355
@Y-Nak
Implement trait definition analysis in type level
eb098e4
@Y-Nak
Add kind bound check in ty analysis
c648d35
@micahscopes
roadmap and to-do sketch
0c4c1d7
@Y-Nak
Refactor adt analyzer
390c6d4
@Y-Nak
Ipmlement trait impl analysis in type level
5e21f4f
@Y-Nak
Allow partial application in type alias
a3cc54b
@Y-Nak
Improve type alias cycle error message
ddfa00f
@Y-Nak
Add lower_trait_impl tracked function
b420bed
@Y-Nak
Make clippy happy
06cdd0a
@Y-Nak
Improve error messages
7974716
Y-Nak and others added 30 commits May 17, 2024 15:28
@Y-Nak
Update dir-test version to 0.3
da86b34
@sbillig
Merge pull request #1007 from Y-Nak/tabled-trait-resolution
5b405ad 
Tabled trait resolution
@lana-shanghai
add usize and isize primitive types
e2aac12
@lana-shanghai
address nits
79bab76
@lana-shanghai
leave keywords defs in capital letters
96acdc4
@Y-Nak
Merge pull request #1012 from lana-shanghai/feat/add_usize_isize_types
5f36438 
add usize and isize primitive types
@Y-Nak
Probe type variable deeply
5b13ab6
@Y-Nak
Define upper bound on the type depth to enusre termination in trait s…
73af776 
…olving
@Y-Nak
Exclude certik.com from linkcheck
1c3d94b
@Y-Nak
Prioritize consumer nodes that are closer to the original goal in the…
9bf3943 
… subgoal resolution process
@Y-Nak
Make clippy happy
6360a30
@sbillig
Merge pull request #1014 from Y-Nak/ensure-termination-in-trait-solving
c9a55c2 
Ensure termination in trait solving
@Y-Nak
[hir] Update type representation for salsa 3.0
1113942
@Y-Nak
[name-resolution] Update type representation for salsa 3.0
f8d8f88
@Y-Nak
[ty] Update type representation for salsa 3.0
862972d
@Y-Nak
[name-resolution] Remove accumulators
95b8ed2
@Y-Nak
[ty] Remove accumulators
eda5af3
@Y-Nak
Replace salsa::FromId with salsa::LookupId
dd66c37
@Y-Nak
Update tests for salsa 3.0
fa20327
@Y-Nak
Make clippy happy
e9f46ea
@Y-Nak
Add thin wrappers for IndexMap/IndexSet to implement salsa::Update
776b53f
@Y-Nak
Replace BTreeMap/BTreeSet with IndexMap/IndexSet
0f589f6
@Y-Nak
Fix duplicated error report in alias cycle
ef81c76
@Y-Nak
Modify scope graph DFS traversal order
904dccc
@Y-Nak
Exclude language-server from the workspace temporarily
dce1e09
@Y-Nak
Remove fe-macros
28fe40c
@sbillig
Merge pull request #1015 from Y-Nak/update-salsa
bd7343c 
Update salsa
@Y-Nak
Fix missing occurence check
ac2b8f8
@Y-Nak
Make clippy happy
7e9d00d
@Y-Nak
Merge pull request #1019 from Y-Nak/missing-occurence-check
da8aed3 
Fix missing occurence check
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.

Filename gives YUL compile error Bracket Error
6 participants
@Y-Nak @micahscopes @sbillig @saifalkatout @g-r-a-n-t @lana-shanghai