summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Setup tcg_imports earlier during signature matching, so orphans are visible.Edward Z. Yang2016-12-083-0/+32
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-2966-352/+352
* Test for type synonym loops on TyCon.Edward Z. Yang2016-11-163-0/+27
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-1165-349/+349
* Minor doc addition as requested in #12774.Edward Z. Yang2016-10-271-0/+3
* Mark previously failing backpack tests as passing, with correct output.Edward Z. Yang2016-10-2011-35/+119
* Support constraint synonym implementations of abstract classes.Edward Z. Yang2016-10-205-0/+91
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-2017-1/+261
* Cabal submodule update.Edward Z. Yang2016-10-131-1/+1
View Lorry Controller Status