mayac (Matt Yacavone)
User

Projects

User does not belong to any projects.

User Details

User Since
Jun 15 2018, 2:01 PM (21 w, 4 d)

Recent Activity

Mon, Nov 5

mayac updated the diff for D5283: Fix #15828, from `More explicit foralls`.

Added goldfire's comment

Mon, Nov 5, 3:39 PM

Mon, Oct 29

mayac updated the Trac tickets for D5283: Fix #15828, from `More explicit foralls`.
Mon, Oct 29, 9:39 PM
mayac updated the test plan for D5283: Fix #15828, from `More explicit foralls`.
Mon, Oct 29, 9:39 PM
mayac created D5283: Fix #15828, from `More explicit foralls`.
Mon, Oct 29, 9:38 PM

Sat, Oct 27

mayac added inline comments to D4894: More explicit foralls (GHC Proposal 0007).
Sat, Oct 27, 10:43 AM
mayac updated the diff for D4894: More explicit foralls (GHC Proposal 0007).

Template Haskell quick fix and tests

Sat, Oct 27, 10:41 AM

Fri, Oct 26

mayac added a comment to D4894: More explicit foralls (GHC Proposal 0007).

Haddock bump can be found at:
https://github.com/m-yac/haddock

Fri, Oct 26, 10:28 PM
mayac updated the diff for D4894: More explicit foralls (GHC Proposal 0007).

Final rebase and squashed commits. Ready to merge?

Fri, Oct 26, 10:19 PM

Oct 9 2018

mayac added inline comments to D4894: More explicit foralls (GHC Proposal 0007).
Oct 9 2018, 10:51 AM

Oct 4 2018

mayac added inline comments to D4894: More explicit foralls (GHC Proposal 0007).
Oct 4 2018, 4:25 PM
mayac updated the diff for D4894: More explicit foralls (GHC Proposal 0007).

Pre final rebase: addresses all outstanding comments.

Oct 4 2018, 4:00 PM

Aug 15 2018

mayac added inline comments to D4894: More explicit foralls (GHC Proposal 0007).
Aug 15 2018, 1:41 PM

Aug 14 2018

mayac added a comment to D4894: More explicit foralls (GHC Proposal 0007).

@RyanGlScott It's to differentiate between the case where there is no explicit forall (type instance F a = ...) and where there is an empty explicit forall (type instance forall. F a = ...). Type variables on the LHS are implicitly bound only in the former case, thus the latter example would be accepted only if a is already in scope.

Aug 14 2018, 3:09 PM
mayac updated the diff for D4894: More explicit foralls (GHC Proposal 0007).

(Some) July Phabricator revisions

Aug 14 2018, 2:13 PM
mayac added a comment to D4894: More explicit foralls (GHC Proposal 0007).

Returning to work on this, the new diff will be added shortly.

Aug 14 2018, 1:14 PM

Jun 25 2018

mayac added a comment to D4894: More explicit foralls (GHC Proposal 0007).

Haddock update available at:
https://github.com/matthew-yacavone/haddock/tree/wip/yac

Jun 25 2018, 9:35 AM
mayac created D4894: More explicit foralls (GHC Proposal 0007).
Jun 25 2018, 9:33 AM