Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix and enforce validation of header for .hie files | Zubin Duggal | 2019-05-31 | 4 | -26/+132 |
* | Use types already in AST when making .hie file | Matthew Pickering | 2019-05-31 | 1 | -1/+3 |
* | Use HsTyPats in associated type family defaults | Ryan Scott | 2019-05-22 | 1 | -15/+6 |
* | Pattern/expression ambiguity resolution | Vladislav Zavialov | 2019-05-03 | 1 | -12/+0 |
* | Stop inferring over-polymorphic kinds | Simon Peyton Jones | 2019-03-09 | 1 | -1/+1 |
* | Visible dependent quantification | Ryan Scott | 2019-03-01 | 1 | -1/+1 |
* | Expression/command ambiguity resolution | Vladislav Zavialov | 2019-02-23 | 1 | -8/+0 |
* | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 2 | -9/+9 |
* | HIE: Save module name and module exports | Matthew Pickering | 2019-02-16 | 2 | -3/+22 |
* | API Annotations: AnnAt disconnected for TYPEAPP | Alan Zimmerman | 2019-02-08 | 1 | -2/+2 |
* | Include type info for only some exprs in HIE files | Alec Theriault | 2019-01-30 | 1 | -8/+63 |
* | Use `NameEnv Id` instead of `Map Name Id` | Alec Theriault | 2019-01-30 | 1 | -5/+8 |
* | Revert "Batch merge" | Ben Gamari | 2019-01-30 | 1 | -71/+13 |
* | Batch merge | Ben Gamari | 2019-01-30 | 1 | -13/+71 |
* | A few typofixes | Gabor Greif | 2019-01-23 | 1 | -1/+1 |
* | Create folder if missing for .hie files | Alec Theriault | 2019-01-16 | 1 | -3/+5 |
* | Run typed splices in the zonker | Matthew Pickering | 2019-01-11 | 1 | -0/+2 |
* | Visible kind application | mynguyen | 2019-01-03 | 1 | -5/+13 |
* | Support generating HIE files | Alec Theriault | 2018-12-11 | 5 | -0/+3085 |