summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* A bit closer, but still stuckwip/T17323Simon Peyton Jones2019-12-205-62/+87
* WibblesSimon Peyton Jones2019-12-184-19/+8
* CloserSimon Peyton Jones2019-12-179-153/+161
* Improve treatment of herero-kinded unficationSimon Peyton Jones2019-12-171-24/+36
* Simplify tcEqType to take advantage of PKTISimon Peyton Jones2019-12-171-22/+0
* Closer stillSimon Peyton Jones2019-12-176-71/+85
* Getting closerSimon Peyton Jones2019-12-1615-82/+126
* Introducing ZonkCoSimon Peyton Jones2019-12-1619-88/+171
* Revert "TEMPORARY change to Contravariant"Simon Peyton Jones2019-12-151-11/+0
* TEMPORARY change to ContravariantSimon Peyton Jones2019-12-131-0/+11
* Comments onlySimon Peyton Jones2019-12-131-2/+2
* Further work on mkCastTySimon Peyton Jones2019-12-133-17/+33
* Constraint invariant checkingSimon Peyton Jones2019-12-132-8/+36
* Fix flattening of FunTySimon Peyton Jones2019-12-123-18/+25
* Remove an unnecessary zonk from tcInferAppsSimon Peyton Jones2019-12-102-13/+16
* Fix flattening of FunTySimon Peyton Jones2019-12-101-6/+30
* Improve Note [No derived kind equalities]Simon Peyton Jones2019-12-101-5/+15
* Small comment fixes from Richard (squash me)Richard Eisenberg2019-12-103-11/+16
* Completely re-engineer the PKTISimon Peyton Jones2019-12-108-133/+122
* Fix comment typosGabor Greif2019-12-093-3/+3
* Split up coercionKindSimon Peyton Jones2019-12-0614-53/+54
* Work in progress on coercionLKind, coercionRKindSimon Peyton Jones2019-12-061-75/+122
* Implement pointer tagging for big families (#14373)Gabor Greif2019-12-0619-32/+382
* Fix typo in documentation of Base.hs.Matthias Braun2019-12-051-1/+1
* rts/NonMovingSweep: Fix locking of new mutable list allocationBen Gamari2019-12-051-1/+1
* Parenthesize the * kind in TH.PprVladislav Zavialov2019-12-056-14/+36
* Pretty-printing of the * kindVladislav Zavialov2019-12-0524-97/+123
* testsuite: Use colors more consistentlyBen Gamari2019-12-052-9/+12
* testsuite: Make performance metric summary more readableBen Gamari2019-12-054-20/+53
* testsuite: Factor out terminal coloringBen Gamari2019-12-054-19/+36
* testsuite: Disable divByZero on non-NCG targetsBen Gamari2019-12-051-0/+4
* nonmoving: Clear segment bitmaps during sweepBen Gamari2019-12-053-7/+4
* Test proxy-polymorphic sameNat and sameSymbolBodigrim2019-12-052-0/+25
* Make sameNat and sameSymbol proxy-polymorphicBodigrim2019-12-053-6/+4
* users guide: Try to silence underfull \hbox warningsBen Gamari2019-12-051-0/+4
* Improve error messages for SCC pragmasVladislav Zavialov2019-12-054-21/+26
* Meaning-preserving SCC annotations (#15730)Vladislav Zavialov2019-12-0513-59/+141
* Elf: Fix link info note generationBen Gamari2019-12-031-12/+4
* Simplify uniqAwayBen Gamari2019-12-038-60/+84
* Drop Uniquable constraint for AnnTargetBen Gamari2019-12-036-32/+60
* users-guide: Add 8.12.1 release notesBen Gamari2019-12-032-0/+91
* Add constant folding rule (#16402)Sylvain Henry2019-12-034-6/+88
* Use Int# primops in `Bits Int{8,16,32,64}` instancesSylvain Henry2019-12-031-16/+16
* Make BCO# liftedBen Gamari2019-12-036-22/+23
* Document RTS behaviour upon encountering '--'.Athas2019-12-031-1/+2
* Use the new timesInt2# primop in integer-gmp (#9431)Sylvain Henry2019-12-021-4/+19
* Add `timesInt2#` primopSylvain Henry2019-12-0211-0/+174
* configure.ac: make cross-compiler detection stricterSergei Trofimovich2019-12-021-1/+1
* gitlab-ci: Always build source tarballBen Gamari2019-12-021-0/+1
* gitlab-ci: Add release-x86_64-linux-deb9 jobBen Gamari2019-12-021-0/+14