Skip to content

Commit

Permalink
Update of ED report from new reffy run
Browse files Browse the repository at this point in the history
Using reffy commit 17.2.5.
  • Loading branch information
reffy-bot committed Sep 19, 2024
1 parent 9923ec0 commit d36f2c4
Show file tree
Hide file tree
Showing 35 changed files with 965 additions and 905 deletions.
2 changes: 1 addition & 1 deletion ed/algorithms/WGSL.json
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@
"html": "<p>For each candidate <var>C</var>, enumerate conversion ranks for subexpressions in the syntactic phrase.\nThe candidate’s preconditions have been met, and so for the <var>i</var>’th subexpression in the <var>P</var>:</p>\n <ul>\n <li data-md=\"\">\n <p>Its static type has been computed.</p>\n </li><li data-md=\"\">\n <p>There is a <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#feasible-automatic-conversion\" id=\"ref-for-feasible-automatic-conversion③\">feasible automatic conversion</a> from the expression’s static type to the type required by the corresponding type assertion in the preconditions.\nLet <var>C</var>.<var>R</var>(i) be the <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#conversionrank\" id=\"ref-for-conversionrank②\">ConversionRank</a> of that conversion.</p>\n </li></ul>"
},
{
"html": "<p>Eliminate any candidate where one of its subexpressions resolves to an <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#type-abstract\" id=\"ref-for-type-abstract②\">abstract</a> type after <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#feasible-automatic-conversion\" id=\"ref-for-feasible-automatic-conversion④\">feasible automatic conversions</a>, but another\nof the candidate’s subexpressions is not a <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#const-expressions\" id=\"ref-for-const-expressions\">const-expression</a>.</p>"
"html": "<p>Eliminate any candidate where one of its subexpressions resolves to an <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#type-abstract\" id=\"ref-for-type-abstract②\">abstract</a> type after <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#feasible-automatic-conversion\" id=\"ref-for-feasible-automatic-conversion④\">feasible automatic conversions</a>, but another\nof the candidate’s subexpressions is not a <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#const-expressions\" id=\"ref-for-const-expressions\">const-expression</a>.</p>"
},
{
"html": "<p>Rank candidates: Given two overload candidates <var>C1</var> and <var>C2</var>, <var>C1</var> is <dfn class=\"dfn-paneled has-dfn-panel\" data-dfn-type=\"dfn\" data-lt=\"preferable candidate\" data-noexport=\"\" id=\"preferable-candidate\" role=\"button\" aria-expanded=\"false\" tabindex=\"0\">preferred</dfn> over <var>C2</var> if:</p>\n <ul>\n <li data-md=\"\">\n <p>For each expression position <var>i</var> in <var>P</var>, <var>C1</var>.<var>R</var>(i) ≤ <var>C2</var>.<var>R</var>(i).</p>\n <ul>\n <li data-md=\"\">\n <p>That is, each expression conversion required to apply <var>C1</var> to <var>P</var> is at least as preferable as the corresponding expression conversion required to apply <var>C2</var> to <var>P</var>.</p>\n </li></ul>\n </li><li data-md=\"\">\n <p>There is at least one expression position <var>i</var> where <var>C1</var>.<var>R</var>(i) &lt; <var>C2</var>.<var>R</var>(i).</p>\n <ul>\n <li data-md=\"\">\n <p>That is, there is at least one expression conversion required to apply <var>C1</var> that is strictly more preferable than the corresponding conversion required to apply <var>C2</var>.</p>\n </li></ul>\n </li></ul>"
Expand Down
2 changes: 1 addition & 1 deletion ed/algorithms/css-flexbox-1.json
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@
"html": "Otherwise,\n\t\t\t\t\tif the used <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#flex-flex-basis\" id=\"ref-for-flex-flex-basis⑥\">flex basis</a> is <a class=\"css\" data-link-type=\"maybe\" href=\"https://drafts.csswg.org/css-flexbox-1/#valdef-flex-basis-content\" id=\"ref-for-valdef-flex-basis-content⑧\">content</a> or depends on its <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-sizing-3/#available\" id=\"ref-for-available②\">available space</a>,\n\t\t\t\t\tthe available main size is infinite,\n\t\t\t\t\tand the flex item’s inline axis is parallel to the main axis,\n\t\t\t\t\tlay the item out using <a href=\"https://www.w3.org/TR/css3-writing-modes/#orthogonal-flows\">the rules for a box in an orthogonal flow</a> <a data-link-type=\"biblio\" href=\"https://drafts.csswg.org/css-flexbox-1/#biblio-css3-writing-modes\" title=\"CSS Writing Modes Level 3\">[CSS3-WRITING-MODES]</a>.\n\t\t\t\t\tThe <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#flex-base-size\" id=\"ref-for-flex-base-size④\">flex base size</a> is the item’s max-content <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#main-size\" id=\"ref-for-main-size①①\">main size</a>."
},
{
"html": "Otherwise,\n\t\t\t\t\tsize the item into the <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-sizing-3/#available\" id=\"ref-for-available③\">available space</a> using its used <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#flex-flex-basis\" id=\"ref-for-flex-flex-basis⑦\">flex basis</a> in place of its <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#main-size\" id=\"ref-for-main-size①②\">main size</a>,\n\t\t\t\t\ttreating a value of <a class=\"css\" data-link-type=\"maybe\" href=\"https://drafts.csswg.org/css-flexbox-1/#valdef-flex-basis-content\" id=\"ref-for-valdef-flex-basis-content⑨\">content</a> as <a class=\"css\" data-link-type=\"maybe\" href=\"https://drafts.csswg.org/css-sizing-3/#valdef-width-max-content\" id=\"ref-for-valdef-width-max-content\">max-content</a>.\n\t\t\t\t\tIf a <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#cross-size\" id=\"ref-for-cross-size①②\">cross size</a> is needed to determine the <span id=\"ref-for-main-size①③\">main size</span> (e.g. when the <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#flex-item\" id=\"ref-for-flex-item⑨③\">flex item</a>’s <span id=\"ref-for-main-size①④\">main size</span> is in its block axis,\n\t\t\t\t\tor when it has a <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-sizing-4/#preferred-aspect-ratio\" id=\"ref-for-preferred-aspect-ratio④\">preferred aspect ratio</a>)\n\t\t\t\t\tand the <span id=\"ref-for-flex-item⑨④\">flex item</span>’s cross size is <a class=\"css\" data-link-type=\"maybe\" href=\"https://drafts.csswg.org/css-flexbox-1/#valdef-flex-basis-auto\" id=\"ref-for-valdef-flex-basis-auto③\">auto</a> and not <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#definite\" id=\"ref-for-definite①⓪\">definite</a>,\n\t\t\t\t\tin this calculation use <span class=\"css\">fit-content</span> as the <span id=\"ref-for-flex-item⑨⑤\">flex item</span>’s <span id=\"ref-for-cross-size①③\">cross size</span>.\n\t\t\t\t\tThe <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#flex-base-size\" id=\"ref-for-flex-base-size⑤\">flex base size</a> is the item’s resulting <span id=\"ref-for-main-size①⑤\">main size</span>."
"html": "Otherwise,\n\t\t\t\t\tsize the item into the <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-sizing-3/#available\" id=\"ref-for-available③\">available space</a> using its used <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#flex-flex-basis\" id=\"ref-for-flex-flex-basis⑦\">flex basis</a> in place of its <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#main-size\" id=\"ref-for-main-size①②\">main size</a>,\n\t\t\t\t\ttreating a value of <a class=\"css\" data-link-type=\"maybe\" href=\"https://drafts.csswg.org/css-flexbox-1/#valdef-flex-basis-content\" id=\"ref-for-valdef-flex-basis-content⑨\">content</a> as <a class=\"css\" data-link-type=\"maybe\" href=\"https://drafts.csswg.org/css-sizing-3/#valdef-width-max-content\" id=\"ref-for-valdef-width-max-content\">max-content</a>.\n\t\t\t\t\tIf a <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#cross-size\" id=\"ref-for-cross-size①②\">cross size</a> is needed to determine the <span id=\"ref-for-main-size①③\">main size</span> (e.g. when the <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#flex-item\" id=\"ref-for-flex-item⑨③\">flex item</a>’s <span id=\"ref-for-main-size①④\">main size</span> is in its block axis,\n\t\t\t\t\tor when it has a <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-sizing-4/#preferred-aspect-ratio\" id=\"ref-for-preferred-aspect-ratio④\">preferred aspect ratio</a>)\n\t\t\t\t\tand the <span id=\"ref-for-flex-item⑨④\">flex item</span>’s cross size is <a class=\"css\" data-link-type=\"maybe\" href=\"https://drafts.csswg.org/css-flexbox-1/#valdef-flex-basis-auto\" id=\"ref-for-valdef-flex-basis-auto④\">auto</a> and not <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#definite\" id=\"ref-for-definite①⓪\">definite</a>,\n\t\t\t\t\tin this calculation use <span class=\"css\">fit-content</span> as the <span id=\"ref-for-flex-item⑨⑤\">flex item</span>’s <span id=\"ref-for-cross-size①③\">cross size</span>.\n\t\t\t\t\tThe <a data-link-type=\"dfn\" href=\"https://drafts.csswg.org/css-flexbox-1/#flex-base-size\" id=\"ref-for-flex-base-size⑤\">flex base size</a> is the item’s resulting <span id=\"ref-for-main-size①⑤\">main size</span>."
}
]
},
Expand Down
Loading

0 comments on commit d36f2c4

Please sign in to comment.