Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix a few typos | Herbert Valerio Riedel | 2014-03-23 | 1 | -4/+4 |
| | | | | Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org> | ||||
* | Always read in prologue files as UTF8 (#286). | Mateusz Kowalczyk | 2014-03-13 | 1 | -0/+4 |
| | |||||
* | Update changelog | Mateusz Kowalczyk | 2014-03-13 | 1 | -0/+8 |
| | |||||
* | Filter family instances of hidden types | Niklas Haas | 2014-03-11 | 1 | -1/+1 |
| | | | | | Currently, this check does not extend to hidden right hand sides, although it probably should hide them in that case. | ||||
* | Update changelog | Niklas Haas | 2014-03-11 | 1 | -1/+8 |
| | |||||
* | Update changelog | Mateusz Kowalczyk | 2014-03-10 | 1 | -0/+9 |
| | |||||
* | Improve display of poly-kinded type operators | nand | 2014-02-11 | 1 | -0/+2 |
| | | | | | | | This now displays them as (==) k a b c ... to mirror GHC's behavior, instead of the old (k == a) b c ... which was just wrong. Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | ||||
* | Add support for type/data families | nand | 2014-02-11 | 1 | -0/+2 |
| | | | | | | | | This adds support for type/data families with their respective instances, as well as closed type families and associated type/data families. Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | ||||
* | Fixes #271 | Mateusz Kowalczyk | 2014-01-13 | 1 | -0/+2 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Update documentation. | Mateusz Kowalczyk | 2014-01-12 | 1 | -8/+21 |
| | |||||
* | Bump version | Simon Hengel | 2013-11-10 | 1 | -1/+15 |
| | |||||
* | Update CHANGES | Simon Hengel | 2012-12-07 | 1 | -0/+11 |
| | |||||
* | Update ANNOUNCE and CHANGES | Simon Hengel | 2012-10-11 | 1 | -1/+1 |
| | |||||
* | Update ANNOUNCE and CHANGES | Simon Hengel | 2012-10-10 | 1 | -0/+10 |
| | |||||
* | Update CHANGES. | David Waern | 2012-09-07 | 1 | -0/+2 |
| | |||||
* | Update CHANGES. | David Waern | 2012-07-23 | 1 | -1/+5 |
| | |||||
* | Mention the new aliased --qual mode in CHANGES. | David Waern | 2012-05-16 | 1 | -1/+4 |
| | |||||
* | Update CHANGES. | David Waern | 2012-05-16 | 1 | -0/+18 |
| | |||||
* | Update CHANGES. | David Waern | 2012-02-01 | 1 | -0/+16 |
| | |||||
* | Bump version to 2.9.4 | David Waern | 2011-10-04 | 1 | -0/+6 |
| | |||||
* | Bump to version 2.9.3 | David Waern | 2011-09-26 | 1 | -0/+12 |
| | |||||
* | Update CHANGES | David Waern | 2011-03-10 | 1 | -0/+2 |
| | |||||
* | Bump version | David Waern | 2011-01-08 | 1 | -0/+4 |
| | |||||
* | Update CHANGES | David Waern | 2010-12-19 | 1 | -0/+6 |
| | |||||
* | Update CHANGES | David Waern | 2010-12-06 | 1 | -0/+14 |
| | |||||
* | Update CHANGES - don't mention 2.8.2, we won't release it | David Waern | 2010-11-23 | 1 | -3/+5 |
| | |||||
* | Bump version to 2.8.2 | David Waern | 2010-11-14 | 1 | -0/+6 |
| | |||||
* | Bump version | David Waern | 2010-11-14 | 1 | -0/+4 |
| | |||||
* | slight wording change about Frames mode | Mark Lentczner | 2010-09-01 | 1 | -1/+1 |
| | |||||
* | Update CHANGES | David Waern | 2010-08-31 | 1 | -0/+34 |
| | |||||
* | Update CHANGES with info about 2.6.1 | David Waern | 2010-05-10 | 1 | -0/+6 |
| | |||||
* | Update CHANGES | david.waern | 2010-03-15 | 1 | -0/+6 |
| | |||||
* | Update CHANGES | david.waern | 2010-03-15 | 1 | -0/+6 |
| | |||||
* | Update ANNOUNCE | david.waern | 2010-03-14 | 1 | -0/+10 |
| | |||||
* | Update CHANGES | David Waern | 2009-12-21 | 1 | -0/+22 |
| | |||||
* | Update CHANGES | David Waern | 2009-08-14 | 1 | -0/+20 |
| | |||||
* | Don't be too verbose in CHANGES | David Waern | 2009-03-21 | 1 | -13/+3 |
| | |||||
* | Update CHANGES | David Waern | 2009-03-21 | 1 | -0/+48 |
| | |||||
* | Bump version to 2.4.1 and update CHANGES | David Waern | 2008-11-06 | 1 | -0/+6 |
| | |||||
* | Update CHANGES | David Waern | 2008-11-04 | 1 | -4/+4 |
| | |||||
* | Update CHANGES | David Waern | 2008-11-04 | 1 | -0/+14 |
| | |||||
* | Update CHANGES | david.waern | 2008-11-02 | 1 | -0/+14 |
| | |||||
* | Fix CHANGES | David Waern | 2008-08-05 | 1 | -0/+2 |
| | |||||
* | Bump version to 2.2.2 and update CHANGES | David Waern | 2008-08-05 | 1 | -0/+4 |
| | |||||
* | Update CHANGES | David Waern | 2008-08-03 | 1 | -2/+19 |
| | |||||
* | Update CHANGES | David Waern | 2008-06-26 | 1 | -0/+4 |
| | |||||
* | Update CHANGES | David Waern | 2008-05-01 | 1 | -0/+13 |
| | |||||
* | Export necessary stuff from Distribution.Haddock | David Waern | 2008-01-07 | 1 | -0/+2 |
| | |||||
* | Wibble | David Waern | 2008-01-07 | 1 | -3/+3 |
| | |||||
* | Wibble | David Waern | 2008-01-07 | 1 | -1/+1 |
| |