summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack
Commit message (Expand)AuthorAgeFilesLines
* Bump ghc-prim to 0.5.2.0 and update changelogHerbert Valerio Riedel2017-10-171-1/+1
* Levity polymorphic Backpack.Edward Z. Yang2017-10-163-0/+46
* Include libraries which fill holes as deps when linking.Edward Z. Yang2017-10-0311-0/+90
* Bump base to 4.11.0.0Ben Gamari2017-09-214-8/+8
* ghc-prim: Bump versionBen Gamari2017-07-231-1/+1
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-3/+3
* Update Cabal submodule, with necessary wibbles.Edward Z. Yang2017-04-261-2/+2
* Only pretty-print binders in closed type families with -fprint-explicit-forallsRyan Scott2017-04-251-2/+2
* Correctly handle wired in unit IDs in -instantiated-withEdward Z. Yang2017-04-026-0/+54
* Better test coverage for module reexports in signatures.Edward Z. Yang2017-04-0210-0/+73
* Fix recompilation avoidance bug for implementor of hsig.Edward Z. Yang2017-04-029-0/+73
* Save renamed syntax when signature merging.Edward Z. Yang2017-03-171-4/+0
* Fix bkpcabal03 test.Edward Z. Yang2017-03-101-1/+1
* Improve error messages for skolemsSimon Peyton Jones2017-03-102-2/+2
* Print out sub-libraries of packages more nicely.Edward Z. Yang2017-03-021-1/+1
* Fix roles merging to apply only to non-rep-injective types.Edward Z. Yang2017-03-026-0/+64
* Disallow non-nullary constraint synonyms on class.Edward Z. Yang2017-03-024-4/+40
* More comments on role subtyping, unsoundness fix.Edward Z. Yang2017-03-025-0/+80
* Try submodule bumps againBen Gamari2017-02-281-1/+1
* Fix Mac OS X timestamp resolution bug.Edward Z. Yang2017-02-271-0/+5
* Subtyping for roles in signatures.Edward Z. Yang2017-02-265-2/+73
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-265-5/+5
* tests: remove extra_files.py (#12223)Reid Barton2017-02-265-5/+5
* Record full FieldLabel in ifConFields.Edward Z. Yang2017-02-243-0/+19
* Include OverloadedRecordFields selectors in NameShape.Edward Z. Yang2017-02-233-0/+31
* Revert recent submodule bumpsBen Gamari2017-02-221-1/+1
* Bump Cabal and containers submodulesBen Gamari2017-02-211-1/+1
* Bump Cabal submoduleBen Gamari2017-02-201-4/+6
* Say 'data' explicitly in IfAbstractTyCon output.Edward Z. Yang2017-02-175-5/+5
* Improvements/bugfixes to signature reexport handling.Edward Z. Yang2017-02-1712-6/+70
* Fix recompilation tracking on signatures.Edward Z. Yang2017-02-179-0/+61
* Fix a Backpack recompilation avoidance bug when signatures change.Edward Z. Yang2017-02-1710-1/+84
* Don't warn about missing methods for instances in signatures.Edward Z. Yang2017-02-143-0/+16
* Disable PVP warnings temporarily.Edward Z. Yang2017-02-124-20/+0
* Slightly reword not-exported message.Edward Z. Yang2017-02-125-7/+7
* Setup more error context for Backpack operations.Edward Z. Yang2017-02-1226-100/+149
* Fix #13214 by correctly setting up dep_orphs for signatures.Edward Z. Yang2017-02-118-0/+143
* Failing test for #13149.Edward Z. Yang2017-01-222-0/+18
* Preserve coercion axioms when thinning.Edward Z. Yang2017-01-223-0/+13
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-118-0/+81
* Revamp Backpack/hs-boot handling of type class signatures.Edward Z. Yang2017-01-1113-30/+140
* Improve Backpack support for fixities.Edward Z. Yang2017-01-119-0/+78
* Warn if you explicitly export an identifier with warning attached.Edward Z. Yang2017-01-111-0/+4
* Attach warnings to non-PVP compatible uses of signatures.Edward Z. Yang2017-01-114-0/+20
* Support for using only partial pieces of included signatures.Edward Z. Yang2017-01-1135-30/+257
* base: Bump version to 4.10.0.0Ben Gamari2016-12-155-10/+10
* Load orphan interfaces before checking if module implements signatureEdward Z. Yang2016-12-133-0/+36
* Fix recompilation detection when set of signatures to merge changes.Edward Z. Yang2016-12-1212-0/+106
* Sanity check if we pick up an hsig file without -instantiated-with.Edward Z. Yang2016-12-124-8/+8
* Reduce qualification in error messages from signature matching.Edward Z. Yang2016-12-0814-50/+48
View Lorry Controller Status