-
Notifications
You must be signed in to change notification settings - Fork 2.7k
libffi: update to 3.5.2 (let's try this again!) #59704
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.
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
base: master
Are you sure you want to change the base?
Changes from all commits
d5065c7
c51ea8a
3b9e4bd
1ee0dff
9566eeb
5b43d90
166ecad
2c1c366
5cf2ed0
e8e22e4
a863c84
db642ff
10eb625
99ee7b7
1aaab5c
3b87ddf
7c37ac1
807ff0f
50f455c
78e699a
5b26934
7ba5074
784cab4
44bbb05
f60fa7e
7f37502
cb29f41
0356de6
c079a5e
eb9a44d
0090c15
bbfc6e9
2a5a753
b587618
0b99e4d
069e2b5
955615b
f4466e9
db6e498
009154d
6f526b3
e39d4c1
5911df6
584cfe6
dd8d28a
f8626fd
93fe035
ce671f7
8213df2
1ccf51d
21d2bcc
c39388d
0104b14
795ead1
7670825
d1c3558
c6bce2e
9c5e993
c29d9d1
71acf4c
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,35 @@ | ||
| --- a/docs/users_guide/extending_ghc.rst 2026-04-09 09:56:51.358598164 +0100 | ||
| +++ b/docs/users_guide/extending_ghc.rst 2026-04-09 09:31:27.111306323 +0100 | ||
| @@ -1381,20 +1381,20 @@ | ||
| -- ^ Clean up after the plugin, when exiting the type-checker. | ||
| } | ||
|
|
||
| -The plugin has type ``WantedConstraints -> [DefaultingProposal]``. | ||
| +The plugin has type ``WantedConstraints -> [DefaultingProposal]``.:: | ||
|
|
||
| -* It is given the currently unsolved constraints. | ||
| -* It returns a list of independent "defaulting proposals". | ||
| -* Each proposal of type ``DefaultingProposal`` specifies: | ||
| - * ``deProposals``: specifies a list, | ||
| - in priority order, of sets of type variable assignments | ||
| - * ``deProposalCts :: [Ct]`` gives a set of constraints (always a | ||
| - subset of the incoming ``WantedConstraints``) to use as a | ||
| - criterion for acceptance | ||
| + * It is given the currently unsolved constraints. | ||
| + * It returns a list of independent "defaulting proposals". | ||
| + * Each proposal of type ``DefaultingProposal`` specifies: | ||
| + * ``deProposals``: specifies a list, | ||
| + in priority order, of sets of type variable assignments | ||
| + * ``deProposalCts :: [Ct]`` gives a set of constraints (always a | ||
| + subset of the incoming ``WantedConstraints``) to use as a | ||
| + criterion for acceptance | ||
|
|
||
| -After calling the plugin, GHC executes each ``DefaultingProposal`` in | ||
| -turn. To "execute" a proposal, GHC tries each of the proposed type | ||
| -assignments in ``deProposals`` in turn: | ||
| + After calling the plugin, GHC executes each ``DefaultingProposal`` in | ||
| + turn. To "execute" a proposal, GHC tries each of the proposed type | ||
| + assignments in ``deProposals`` in turn: | ||
|
|
||
| * It assigns the proposed types to the type variables, and then tries to | ||
| solve ``deProposalCts`` |
|
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Probably shouldn't be marked as a "Git LFS" file
Contributor
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I have no idea why or who made it an LFS file but I'm hoping it had a reason.
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. FWIW it's not marked as LFS on master: https://github.com/void-linux/void-packages/blob/master/srcpkgs/git-mediate/template (notice the preview existing)
Contributor
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. No idea what happened on my end then. I'll revert that. |
|
amadaluzia marked this conversation as resolved.
|
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
Uh oh!
There was an error while loading. Please reload this page.