Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | A bit closer, but still stuckwip/T17323 | Simon Peyton Jones | 2019-12-20 | 5 | -62/+87 |
* | Wibbles | Simon Peyton Jones | 2019-12-18 | 4 | -19/+8 |
* | Closer | Simon Peyton Jones | 2019-12-17 | 9 | -153/+161 |
* | Improve treatment of herero-kinded unfication | Simon Peyton Jones | 2019-12-17 | 1 | -24/+36 |
* | Simplify tcEqType to take advantage of PKTI | Simon Peyton Jones | 2019-12-17 | 1 | -22/+0 |
* | Closer still | Simon Peyton Jones | 2019-12-17 | 6 | -71/+85 |
* | Getting closer | Simon Peyton Jones | 2019-12-16 | 15 | -82/+126 |
* | Introducing ZonkCo | Simon Peyton Jones | 2019-12-16 | 19 | -88/+171 |
* | Revert "TEMPORARY change to Contravariant" | Simon Peyton Jones | 2019-12-15 | 1 | -11/+0 |
* | TEMPORARY change to Contravariant | Simon Peyton Jones | 2019-12-13 | 1 | -0/+11 |
* | Comments only | Simon Peyton Jones | 2019-12-13 | 1 | -2/+2 |
* | Further work on mkCastTy | Simon Peyton Jones | 2019-12-13 | 3 | -17/+33 |
* | Constraint invariant checking | Simon Peyton Jones | 2019-12-13 | 2 | -8/+36 |
* | Fix flattening of FunTy | Simon Peyton Jones | 2019-12-12 | 3 | -18/+25 |
* | Remove an unnecessary zonk from tcInferApps | Simon Peyton Jones | 2019-12-10 | 2 | -13/+16 |
* | Fix flattening of FunTy | Simon Peyton Jones | 2019-12-10 | 1 | -6/+30 |
* | Improve Note [No derived kind equalities] | Simon Peyton Jones | 2019-12-10 | 1 | -5/+15 |
* | Small comment fixes from Richard (squash me) | Richard Eisenberg | 2019-12-10 | 3 | -11/+16 |
* | Completely re-engineer the PKTI | Simon Peyton Jones | 2019-12-10 | 8 | -133/+122 |
* | Fix comment typos | Gabor Greif | 2019-12-09 | 3 | -3/+3 |
* | Split up coercionKind | Simon Peyton Jones | 2019-12-06 | 14 | -53/+54 |
* | Work in progress on coercionLKind, coercionRKind | Simon Peyton Jones | 2019-12-06 | 1 | -75/+122 |
* | Implement pointer tagging for big families (#14373) | Gabor Greif | 2019-12-06 | 19 | -32/+382 |
* | Fix typo in documentation of Base.hs. | Matthias Braun | 2019-12-05 | 1 | -1/+1 |
* | rts/NonMovingSweep: Fix locking of new mutable list allocation | Ben Gamari | 2019-12-05 | 1 | -1/+1 |
* | Parenthesize the * kind in TH.Ppr | Vladislav Zavialov | 2019-12-05 | 6 | -14/+36 |
* | Pretty-printing of the * kind | Vladislav Zavialov | 2019-12-05 | 24 | -97/+123 |
* | testsuite: Use colors more consistently | Ben Gamari | 2019-12-05 | 2 | -9/+12 |
* | testsuite: Make performance metric summary more readable | Ben Gamari | 2019-12-05 | 4 | -20/+53 |
* | testsuite: Factor out terminal coloring | Ben Gamari | 2019-12-05 | 4 | -19/+36 |
* | testsuite: Disable divByZero on non-NCG targets | Ben Gamari | 2019-12-05 | 1 | -0/+4 |
* | nonmoving: Clear segment bitmaps during sweep | Ben Gamari | 2019-12-05 | 3 | -7/+4 |
* | Test proxy-polymorphic sameNat and sameSymbol | Bodigrim | 2019-12-05 | 2 | -0/+25 |
* | Make sameNat and sameSymbol proxy-polymorphic | Bodigrim | 2019-12-05 | 3 | -6/+4 |
* | users guide: Try to silence underfull \hbox warnings | Ben Gamari | 2019-12-05 | 1 | -0/+4 |
* | Improve error messages for SCC pragmas | Vladislav Zavialov | 2019-12-05 | 4 | -21/+26 |
* | Meaning-preserving SCC annotations (#15730) | Vladislav Zavialov | 2019-12-05 | 13 | -59/+141 |
* | Elf: Fix link info note generation | Ben Gamari | 2019-12-03 | 1 | -12/+4 |
* | Simplify uniqAway | Ben Gamari | 2019-12-03 | 8 | -60/+84 |
* | Drop Uniquable constraint for AnnTarget | Ben Gamari | 2019-12-03 | 6 | -32/+60 |
* | users-guide: Add 8.12.1 release notes | Ben Gamari | 2019-12-03 | 2 | -0/+91 |
* | Add constant folding rule (#16402) | Sylvain Henry | 2019-12-03 | 4 | -6/+88 |
* | Use Int# primops in `Bits Int{8,16,32,64}` instances | Sylvain Henry | 2019-12-03 | 1 | -16/+16 |
* | Make BCO# lifted | Ben Gamari | 2019-12-03 | 6 | -22/+23 |
* | Document RTS behaviour upon encountering '--'. | Athas | 2019-12-03 | 1 | -1/+2 |
* | Use the new timesInt2# primop in integer-gmp (#9431) | Sylvain Henry | 2019-12-02 | 1 | -4/+19 |
* | Add `timesInt2#` primop | Sylvain Henry | 2019-12-02 | 11 | -0/+174 |
* | configure.ac: make cross-compiler detection stricter | Sergei Trofimovich | 2019-12-02 | 1 | -1/+1 |
* | gitlab-ci: Always build source tarball | Ben Gamari | 2019-12-02 | 1 | -0/+1 |
* | gitlab-ci: Add release-x86_64-linux-deb9 job | Ben Gamari | 2019-12-02 | 1 | -0/+14 |