- User Since
- Jun 15 2018, 2:01 PM (21 w, 4 d)
Mon, Nov 5
Added goldfire's comment
Mon, Oct 29
Sat, Oct 27
Template Haskell quick fix and tests
Fri, Oct 26
Haddock bump can be found at:
Final rebase and squashed commits. Ready to merge?
Oct 9 2018
Oct 4 2018
Pre final rebase: addresses all outstanding comments.
Aug 15 2018
Aug 14 2018
@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.
(Some) July Phabricator revisions
Returning to work on this, the new diff will be added shortly.
Jun 25 2018
Haddock update available at: