summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-292-99/+99
* testsuite: Add test for #14128Ben Gamari2017-08-297-0/+30
* Use a well-kinded substitution to instantiateSimon Peyton Jones2017-08-292-0/+17
* Refactor bindHsQTyVars and friendsSimon Peyton Jones2017-08-2910-27/+50
* Make parsed AST dump output lazilyDavid Feuer2017-08-283-629/+657
* Actually bump T12150David Feuer2017-08-281-1/+1
* Adjust test suite statsDavid Feuer2017-08-281-2/+4
* Don't do the RhsCtxt thing for join pointsSimon Peyton Jones2017-08-253-0/+79
* Refactor the Mighty SimplifierSimon Peyton Jones2017-08-254-4/+117
* Fix defer-out-of-scope-variablesSimon Peyton Jones2017-08-243-0/+12
* Add support for producing position-independent executablesBen Gamari2017-08-225-0/+33
* Bump haddock submoduleBen Gamari2017-08-221-2/+4
* Fix incorrect retypecheck loop in -j (#14075)Edward Z. Yang2017-08-229-0/+34
* Revise function arity mismatch errors involving TypeApplicationsRyan Scott2017-08-223-0/+17
* Fix #13885 by freshening reified GADT constructors' universal tyvarsRyan Scott2017-08-223-0/+25
* Fix #14114 by checking for duplicate vars on pattern synonym RHSesRyan Scott2017-08-223-0/+26
* Fix #14125 by normalizing data family instances more aggressivelyRyan Scott2017-08-225-1/+33
* Test Trac #14110Simon Peyton Jones2017-08-183-0/+15
* testsuite: Add test for #13916Ben Gamari2017-08-173-0/+170
* Make function intToSBigNat# preserve sign (fixes #14085)Olivier Chéron2017-08-172-2/+8
* Remove unneeded reqlibs for mtl and parsec in the GHC testsuiteRyan Scott2017-08-1713-21/+20
* Suggest how to fix illegally nested foralls in GADT constructor type signaturesRyan Scott2017-08-173-1/+55
* Fix #13972 by producing tidier errorsRyan Scott2017-08-173-0/+20
* Don't drop GHCi-defined functions with -fobject-code enabledRyan Scott2017-08-141-3/+2
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-146-9/+55
* Add test for #14101Ryan Scott2017-08-122-0/+11
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-125-7/+47
* Don't warn when empty casing on TypeRyan Scott2017-08-052-0/+8
* Remove the deprecated Typeable{1..7} type synonymsRyan Scott2017-08-051-1/+1
* Add MonadIO Q - by requiring MonadIO => QuasiOleg Grenrus2017-08-051-1/+3
* Get the roles right for newtype instancesSimon Peyton Jones2017-08-022-0/+14
* Allow bundling pattern synonyms with exported data familiesRyan Scott2017-08-013-0/+28
* KnownUniques: Handle DataCon wrapper namesBen Gamari2017-08-013-0/+17
* Reject top-level banged bindingsSimon Peyton Jones2017-07-312-1/+4
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-312-3/+2
* Typofixes [ci skip]Gabor Greif2017-07-301-1/+1
* Follow-up to #13887, for promoted infix constructorsRyan Scott2017-07-295-4/+22
* Add regression test for #14055Ryan Scott2017-07-293-0/+13
* Fix #14045 by omitting an unnecessary checkRichard Eisenberg2017-07-298-3/+36
* Ensure that GHC.Stack.callStack doesn't failBen Gamari2017-07-281-0/+6
* Add rtsopts ignore and ignoreAll.Andreas Klebinger2017-07-2812-0/+72
* Fix hs-boot knot-tying with record wild cards.Edward Z. Yang2017-07-286-0/+23
* testsuite: Don't pass allow_abbrevBen Gamari2017-07-281-2/+1
* testsuite: Add test for #14028Ben Gamari2017-07-285-0/+27
* testsuite: Produce JUnit outputBen Gamari2017-07-285-0/+49
* Switched out optparse for argparse in runtests.pyJared Weakly2017-07-282-80/+60
* Add regression tests for #13601, #13780, #13877Ryan Scott2017-07-2811-0/+212
* Merge types and kinds in DsMetaRyan Scott2017-07-285-10/+6
* Error eagerly after renaming failures in reifyInstancesRyan Scott2017-07-283-0/+21
* Do not discard insolubles in implicationsSimon Peyton Jones2017-07-287-20/+52