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

Add the initial draft for inference-using-bounds #4140

Merged
merged 22 commits into from
Dec 3, 2024
Merged

Add the initial draft for inference-using-bounds #4140

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
e595d23
Add the initial draft for inference-using-bounds
chloestefantsova Oct 24, 2024
610e4c9
Update the title line in feature-specification.md
chloestefantsova Oct 24, 2024
5e91718
Make the diagrams top-down instead of left-to-right
chloestefantsova Oct 28, 2024
fc026a8
Make the last diagram vertical as well
chloestefantsova Oct 28, 2024
377e001
Split the long lines into series of shorter lines
chloestefantsova Oct 28, 2024
097bc2a
Update the phrasing as suggested in the review comments
chloestefantsova Oct 28, 2024
d3c0035
Apply more of the phrasing adjustments suggested in the review comments
chloestefantsova Oct 29, 2024
5c72cd6
Apply more phrasing suggestions
chloestefantsova Oct 29, 2024
fc9e3c3
Update the document version to 1.0 as suggested in the review comments
chloestefantsova Nov 19, 2024
9316f55
Rename 'feature-specification.md' into 'design-document.md' as sugges…
chloestefantsova Nov 19, 2024
6839764
Mention the formal update in design-document.md
chloestefantsova Nov 26, 2024
0b9824a
Add a clarifying paragraph to explain a subgraph in a diagram
chloestefantsova Nov 26, 2024
efd850f
Rename "Proposed changes" to "Rules" and make the language more defin…
chloestefantsova Nov 28, 2024
9991180
Add a clarifying paragraph and explanations for another diagram
chloestefantsova Dec 2, 2024
e165b9b
Include the change in grounded solution; adjust wording on the diagram
chloestefantsova Dec 2, 2024
752cbd7
Update the informal section describing the constraint solution for a …
chloestefantsova Dec 2, 2024
54c419f
Update links in the first section
chloestefantsova Dec 2, 2024
57447c9
Remove doubly embelished formatting; add minor corrections to the wor…
chloestefantsova Dec 2, 2024
47aee8d
Be more consistent with using `<:` (is subtype of) and `<#` (is const…
chloestefantsova Dec 2, 2024
6bbe6f9
Make some updates to phrasing
chloestefantsova Dec 2, 2024
f9e4d4c
More updates to phrasing
chloestefantsova Dec 2, 2024
6f0beaf
Apply the suggestions from the review comments
chloestefantsova Dec 3, 2024
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
Loading
Loading