mayac (Matt Yacavone)
User

Projects

User does not belong to any projects.

User Details

User Since
Jun 15 2018, 2:01 PM (13 w, 5 d)

Recent Activity

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