summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* More wibbleswip/T15809Simon Peyton Jones2018-11-2619-76/+98
* More wibbles to data familiesSimon Peyton Jones2018-11-267-164/+298
* More wibblesSimon Peyton Jones2018-11-267-44/+90
* More wibbles on checkConsistentFamInstSimon Peyton Jones2018-11-268-73/+94
* Wibbles to checkConsistentFamInstSimon Peyton Jones2018-11-262-34/+55
* Yet more on family-instance checkingSimon Peyton Jones2018-11-2625-381/+447
* Wibble, to fix buildSimon Peyton Jones2018-11-261-1/+1
* WibblesSimon Peyton Jones2018-11-264-15/+37
* More progress in tcFamTyPatsSimon Peyton Jones2018-11-264-72/+93
* More wibblesSimon Peyton Jones2018-11-261-39/+25
* WibblesSimon Peyton Jones2018-11-261-2/+2
* Simplify typing of associated family instancesSimon Peyton Jones2018-11-261-72/+64
* Finally, validate-cleanSimon Peyton Jones2018-11-2614-179/+204
* Better validity checks, simplificationSimon Peyton Jones2018-11-2610-314/+338
* Nearly there...Simon Peyton Jones2018-11-2615-162/+168
* More progress on reporting unbound variablesSimon Peyton Jones2018-11-267-351/+166
* WibblesSimon Peyton Jones2018-11-262-154/+36
* More progress with data instancesSimon Peyton Jones2018-11-266-16/+20
* Print tycon arity in -ddump-typesSimon Peyton Jones2018-11-2623-50/+50
* Data family instances working, I thinkSimon Peyton Jones2018-11-262-32/+191
* Much more progress on tcFamTyPatsSimon Peyton Jones2018-11-2611-172/+169
* WibblesSimon Peyton Jones2018-11-263-9/+7
* More progress on tcFamTyPatsSimon Peyton Jones2018-11-269-40/+109
* Start to eliminate tcFamTyPatsSimon Peyton Jones2018-11-262-13/+31
* Get rid of kcLHsQTyVarBndrsSimon Peyton Jones2018-11-263-175/+139
* Combine kcImplicitTKBndrs and tcImplicitTKBndrsSimon Peyton Jones2018-11-2615-293/+291
* ProgressSimon Peyton Jones2018-11-262-38/+29
* Comments onlySimon Peyton Jones2018-11-261-1/+2
* Comments and alpha-renamingSimon Peyton Jones2018-11-264-11/+10
* Finally doneSimon Peyton Jones2018-11-2616-280/+312
* Comemnts onlySimon Peyton Jones2018-11-261-28/+46
* More progressSimon Peyton Jones2018-11-264-37/+75
* More progressSimon Peyton Jones2018-11-2615-370/+317
* More progressSimon Peyton Jones2018-11-267-35/+57
* Further progressSimon Peyton Jones2018-11-266-70/+111
* Further work on TyCon generalisationSimon Peyton Jones2018-11-2610-152/+147
* More progress on using level numbers for genSimon Peyton Jones2018-11-265-119/+112
* WIP on using level numbers for generalisationSimon Peyton Jones2018-11-265-121/+194
* Tc-tracing, and order of arguments onlySimon Peyton Jones2018-11-263-17/+18
* Fix build on darwinÖmer Sinan Ağacan2018-11-261-1/+1
* Revert "Remove redundant check in cgCase"Ömer Sinan Ağacan2018-11-261-4/+7
* Remove unused declarations in MarkWeak.hÖmer Sinan Ağacan2018-11-251-2/+0
* CircleCI: More cleanupBen Gamari2018-11-244-14/+29
* Revert "Fix uninformative hp2ps error when the cmdline contains double quotes"Ben Gamari2018-11-246-221/+185
* CircleCI: Clean up docker imageBen Gamari2018-11-244-34/+16
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-2459-1950/+2478
* Fix unused import warning=2018-11-241-1/+0
* Revert "'DynFlag'-free version of 'mkParserFlags'"Ben Gamari2018-11-233-83/+55
* Revert "Simplify 'ExtBits' in the lexer"Ben Gamari2018-11-233-238/+306
* Bump text submoduleBen Gamari2018-11-231-0/+0