- User Since
- Sep 25 2014, 3:35 AM (208 w, 4 d)
Mon, Aug 27
The downside to @int-index's approach is that it requires adding a lot of extension fields
Aug 22 2018
I advocate the less ambitious version, which still lets you do the Trac Trac #12088 stuff, doesn't it?
Aug 21 2018
Aug 17 2018
@RyanGlScott Here's a test case:
Aug 14 2018
Aug 5 2018
Needs https://github.com/haskell/cabal/pull/5497, but other than that it passes ./validate --fast on my machine.
Add a test case
Aug 4 2018
Aug 1 2018
Currently, documentation for mergeOps states that
I considered doing this while I was refactoring splitTilde for the -XStarIsType patch. The problem with this approach is that now ! is absolutely the wrong fixity. All other type operators respect fixity declarations.
Jul 31 2018
@RyanGlScott, I do not understand the KindOf example, as the subsequent command :k _ doesn't use KindOf. The Dependent example, on the other hand, looks interesting. Indeed, your intuition was right and the hole leaked to the output. I fixed it and added Dependent to the test case.
Emit wildcard hole constraints
Jul 30 2018
Does it validate?
Jul 29 2018
Jul 16 2018
Jun 25 2018
Update documentation and warning message
Jun 18 2018
Comments and rebase
Jun 16 2018
This implements the first part of Trac #15278:
Jun 15 2018
Jun 14 2018
Should be fine now.
Wording and markup
@goldfire Thanks, I am sure glad to see this land. But what of the submodules? I thought Ben would bump them before merging this patch.
Remove XApp-stuff, add 'starInfo' comment
Jun 13 2018
Undo accidental commit of testsuite/config/ghc
Location info, no -Werror, more comprehensive test
Here are additional test failures if I specify EXTRA_HC_OPTS="-fwarn-implicit-kind-vars -Werror=implicit-kind-vars":
Different parsing approach for better error messages, cleanup
Jun 12 2018
I'm sure it is, but a test would be nice to ensure that the format doesn't degrade in the future.
Note: I didn't wait for it to build locally, submitted in its current WIP form to delegate that to CI.
This deserves at least one test to ensure that the error message is formatted properly.
Jun 11 2018
I didn't see any update to the release notes
Jun 10 2018
Jun 9 2018
Attempt to fix testsuite failures
Jun 8 2018
Don't include -fwarn-star-is-type in -Wcompat yet
Jun 7 2018
Update the User's Guide and submodules
I think this Diff is ready for another round of review.
Remove HsAppsTy, add HsStarTy, restore error message
Jun 2 2018
May 29 2018
Remove a couple more of occurences of -XTypeInType
Nov 20 2017
Jan 11 2017
Dec 28 2016
Dec 26 2016
Encouraging/discouraging should be done in documentation and/or compiler warnings. The lack of those instances prevents my (correct) code from compiling and causes unnecessary frustration, for now I had to resort to orphan instances.
Dec 23 2016
Dec 6 2016
When I created this differential, I didn't know that the test causes a Core Lint error. Do we wait for a fix first, or is it OK to have a broken test in master?