git.haskell.org
/
ghc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
testsuite: Add test for #16104
[ghc.git]
/
testsuite
/
tests
/
quantified-constraints
/
2018-10-23
Ben Gamari
Add 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
tree
|
commitdiff
2018-09-13
Simon Peyton Jones
Allow (~) in the head of a quantified constraints
tree
|
commitdiff
2018-07-10
Simon Peyton Jones
More refactoring in TcValidity
tree
|
commitdiff
2018-07-05
Simon Peyton Jones
Refactor validity checking for constraints
tree
|
commitdiff
2018-06-26
Simon Peyton Jones
Fix TcLevel manipulation in TcDerivInfer.simplifyDeriv
tree
|
commitdiff
2018-06-22
Simon Peyton Jones
Instances in no-evidence implications
tree
|
commitdiff
2018-06-15
HE, Tao
Add "quantified constraint" context in error message...
tree
|
commitdiff
2018-06-11
Simon Peyton Jones
Remove duplicate quantified constraints
tree
|
commitdiff
2018-06-04
Simon Peyton Jones
Implement QuantifiedConstraints
tree
|
commitdiff