Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Split up RnEnv into 4 modules, RnUnbound, RnUtils and RnFixity | Matthew Pickering | 2017-04-12 | 1 | -0/+2 |
* | Allow qualified names to be children in export lists | Matthew Pickering | 2017-04-12 | 1 | -1/+1 |
* | Extra docs on exports_from_avail. | Edward Z. Yang | 2017-04-02 | 1 | -0/+3 |
* | Fix recompilation avoidance bug for implementor of hsig. | Edward Z. Yang | 2017-04-02 | 1 | -1/+2 |
* | Make type import/export API Annotation friendly | Alan Zimmerman | 2017-01-26 | 1 | -17/+23 |
* | Spelling fixes in non-exported data type | Gabor Greif | 2017-01-13 | 1 | -26/+26 |
* | Typos in manual, comments and tests | Gabor Greif | 2017-01-12 | 1 | -2/+2 |
* | Support for using only partial pieces of included signatures. | Edward Z. Yang | 2017-01-11 | 1 | -4/+11 |
* | Optimise whole module exports | Matthew Pickering | 2016-11-18 | 1 | -11/+14 |
* | Make traceRn behave more like traceTc | Matthew Pickering | 2016-10-26 | 1 | -5/+6 |
* | Rework renaming of children in export lists. | Matthew Pickering | 2016-10-08 | 1 | -0/+848 |