Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More wibbleswip/T15809 | Simon Peyton Jones | 2018-11-26 | 19 | -76/+98 |
* | More wibbles to data families | Simon Peyton Jones | 2018-11-26 | 7 | -164/+298 |
* | More wibbles | Simon Peyton Jones | 2018-11-26 | 7 | -44/+90 |
* | More wibbles on checkConsistentFamInst | Simon Peyton Jones | 2018-11-26 | 8 | -73/+94 |
* | Wibbles to checkConsistentFamInst | Simon Peyton Jones | 2018-11-26 | 2 | -34/+55 |
* | Yet more on family-instance checking | Simon Peyton Jones | 2018-11-26 | 25 | -381/+447 |
* | Wibble, to fix build | Simon Peyton Jones | 2018-11-26 | 1 | -1/+1 |
* | Wibbles | Simon Peyton Jones | 2018-11-26 | 4 | -15/+37 |
* | More progress in tcFamTyPats | Simon Peyton Jones | 2018-11-26 | 4 | -72/+93 |
* | More wibbles | Simon Peyton Jones | 2018-11-26 | 1 | -39/+25 |
* | Wibbles | Simon Peyton Jones | 2018-11-26 | 1 | -2/+2 |
* | Simplify typing of associated family instances | Simon Peyton Jones | 2018-11-26 | 1 | -72/+64 |
* | Finally, validate-clean | Simon Peyton Jones | 2018-11-26 | 14 | -179/+204 |
* | Better validity checks, simplification | Simon Peyton Jones | 2018-11-26 | 10 | -314/+338 |
* | Nearly there... | Simon Peyton Jones | 2018-11-26 | 15 | -162/+168 |
* | More progress on reporting unbound variables | Simon Peyton Jones | 2018-11-26 | 7 | -351/+166 |
* | Wibbles | Simon Peyton Jones | 2018-11-26 | 2 | -154/+36 |
* | More progress with data instances | Simon Peyton Jones | 2018-11-26 | 6 | -16/+20 |
* | Print tycon arity in -ddump-types | Simon Peyton Jones | 2018-11-26 | 23 | -50/+50 |
* | Data family instances working, I think | Simon Peyton Jones | 2018-11-26 | 2 | -32/+191 |
* | Much more progress on tcFamTyPats | Simon Peyton Jones | 2018-11-26 | 11 | -172/+169 |
* | Wibbles | Simon Peyton Jones | 2018-11-26 | 3 | -9/+7 |
* | More progress on tcFamTyPats | Simon Peyton Jones | 2018-11-26 | 9 | -40/+109 |
* | Start to eliminate tcFamTyPats | Simon Peyton Jones | 2018-11-26 | 2 | -13/+31 |
* | Get rid of kcLHsQTyVarBndrs | Simon Peyton Jones | 2018-11-26 | 3 | -175/+139 |
* | Combine kcImplicitTKBndrs and tcImplicitTKBndrs | Simon Peyton Jones | 2018-11-26 | 15 | -293/+291 |
* | Progress | Simon Peyton Jones | 2018-11-26 | 2 | -38/+29 |
* | Comments only | Simon Peyton Jones | 2018-11-26 | 1 | -1/+2 |
* | Comments and alpha-renaming | Simon Peyton Jones | 2018-11-26 | 4 | -11/+10 |
* | Finally done | Simon Peyton Jones | 2018-11-26 | 16 | -280/+312 |
* | Comemnts only | Simon Peyton Jones | 2018-11-26 | 1 | -28/+46 |
* | More progress | Simon Peyton Jones | 2018-11-26 | 4 | -37/+75 |
* | More progress | Simon Peyton Jones | 2018-11-26 | 15 | -370/+317 |
* | More progress | Simon Peyton Jones | 2018-11-26 | 7 | -35/+57 |
* | Further progress | Simon Peyton Jones | 2018-11-26 | 6 | -70/+111 |
* | Further work on TyCon generalisation | Simon Peyton Jones | 2018-11-26 | 10 | -152/+147 |
* | More progress on using level numbers for gen | Simon Peyton Jones | 2018-11-26 | 5 | -119/+112 |
* | WIP on using level numbers for generalisation | Simon Peyton Jones | 2018-11-26 | 5 | -121/+194 |
* | Tc-tracing, and order of arguments only | Simon Peyton Jones | 2018-11-26 | 3 | -17/+18 |
* | Fix build on darwin | Ömer Sinan Ağacan | 2018-11-26 | 1 | -1/+1 |
* | Revert "Remove redundant check in cgCase" | Ömer Sinan Ağacan | 2018-11-26 | 1 | -4/+7 |
* | Remove unused declarations in MarkWeak.h | Ömer Sinan Ağacan | 2018-11-25 | 1 | -2/+0 |
* | CircleCI: More cleanup | Ben Gamari | 2018-11-24 | 4 | -14/+29 |
* | Revert "Fix uninformative hp2ps error when the cmdline contains double quotes" | Ben Gamari | 2018-11-24 | 6 | -221/+185 |
* | CircleCI: Clean up docker image | Ben Gamari | 2018-11-24 | 4 | -34/+16 |
* | [TTG: Handling Source Locations] Foundation and Pat | Shayan-Najd | 2018-11-24 | 59 | -1950/+2478 |
* | Fix unused import warning | = | 2018-11-24 | 1 | -1/+0 |
* | Revert "'DynFlag'-free version of 'mkParserFlags'" | Ben Gamari | 2018-11-23 | 3 | -83/+55 |
* | Revert "Simplify 'ExtBits' in the lexer" | Ben Gamari | 2018-11-23 | 3 | -238/+306 |
* | Bump text submodule | Ben Gamari | 2018-11-23 | 1 | -0/+0 |