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

Towards polymorphic sorts #542

Merged
merged 47 commits into from
Nov 2, 2023
Merged

Towards polymorphic sorts #542

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
47 commits
Select commit Hold shift + click to select a range
3382378
next: resolve <T> in elems: Set<T>
Oct 12, 2023
79e6d82
next: resolve <T> in elems: Set<T>
Oct 12, 2023
d6f64af
got &Generics into resolve_sort
Oct 14, 2023
bbe683e
got &Generics into resolve_sort
Oct 14, 2023
c668a5d
move sort-resolve functions into SortResolver impl
Oct 14, 2023
a25da27
move sort-resolve functions into SortResolver impl
Oct 14, 2023
c887fed
next: sort out sort-errors
Oct 14, 2023
67bc5e5
see hackmd -- track SortGenerics with DefId, and List<Sort> with Record
Oct 14, 2023
609cccd
see hackmd -- track SortGenerics with DefId, and List<Sort> with Reco…
Oct 14, 2023
729eade
phew, get Record(DefId, List<Sort>) to work on all tests
Oct 17, 2023
789d061
clippy ok
Oct 17, 2023
08ef299
mark the places to proceed next
Oct 17, 2023
5c3ba9c
add rset00 test
Oct 19, 2023
ac3bf09
add rset00 test
Oct 19, 2023
c1e2c89
next: implement TODO_walk_over_sorts
Oct 19, 2023
90aec9f
remove sort_params from RefinedBy; find it from Sorts
Oct 20, 2023
01d021d
support impl blocks
Oct 21, 2023
93f15b2
ok.
Oct 21, 2023
1408577
next: tweak func-def parser
Oct 21, 2023
15865d6
done.
Oct 21, 2023
da18144
oops, add files
Oct 21, 2023
07b2e95
split SortResolver::resolve into with_x and resolve_sort
Oct 24, 2023
672d1bb
simplify binders.insert_params
Oct 24, 2023
82b8678
apply nico's suggestions
Oct 25, 2023
1a390a9
appease codesync
Oct 25, 2023
3c5acdb
upto upto test00_bad
Oct 28, 2023
96a010e
ugh, temp checkin
Oct 28, 2023
4c718c6
ugh, temp checkin
Oct 28, 2023
0b537d0
phew, tests pass
Oct 29, 2023
6be28d7
phew, tests pass
Oct 29, 2023
5b982ca
phew, tests pass
Oct 29, 2023
432bbe4
Update README.md
ranjitjhala Nov 1, 2023
f53ba6f
Update crates/flux-middle/src/fhir.rs
ranjitjhala Nov 1, 2023
104fd50
Update crates/flux-fhir-analysis/src/wf/sortck.rs
ranjitjhala Nov 1, 2023
bd5de6c
address comments
Nov 1, 2023
509ef55
Update crates/flux-fhir-analysis/src/conv.rs
ranjitjhala Nov 2, 2023
8670ef1
next: convert Param to Var
Nov 2, 2023
11a11e4
Var thing works?
Nov 2, 2023
23c2a68
done.
Nov 2, 2023
e518f0f
asd Merge branch 'main' into rset
Nov 2, 2023
bea972d
done.
Nov 2, 2023
3ab9b60
done.
Nov 2, 2023
aee782b
remove explicit sort_params
Nov 2, 2023
08c5ca0
Update crates/flux-middle/src/fhir.rs
ranjitjhala Nov 2, 2023
369ae2a
Update crates/flux-middle/src/fhir.rs
ranjitjhala Nov 2, 2023
6746174
map sort-var to DefId
Nov 2, 2023
c02655b
map sort-var to DefId
Nov 2, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading