summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Zonk before calling splitDepVarsOfType.Richard Eisenberg2016-03-218-48/+92
* Track specified/invisible more carefully.Richard Eisenberg2016-03-2129-234/+514
* Comment a suspicious zonk in TcFlatten.Richard Eisenberg2016-03-211-0/+3
* Prevent eager unification with type families.Richard Eisenberg2016-03-2116-53/+159
* Rename test for #11334 to 11334b, fixing conflictRichard Eisenberg2016-03-213-5/+5
* Make equality print better. (#11712)Richard Eisenberg2016-03-2119-52/+97
* Fix #11635 / #11719.Richard Eisenberg2016-03-214-16/+44
* Add two small optimizations. (#11196)Richard Eisenberg2016-03-213-11/+21
* TypeApplications does not imply AllowAmbiguousTypesRichard Eisenberg2016-03-214-4/+3
* Fix exponential algorithm in pure unifier.Richard Eisenberg2016-03-211-22/+30
* Remove unused substTyWithBinders functionsBartosz Nitka2016-03-213-26/+4
* Remove unnecessary Ord instance for ConLikeBartosz Nitka2016-03-213-8/+4
* Delete a misleading comment in TyConBartosz Nitka2016-03-211-3/+0
* base: Fix CPUTime on WindowsBen Gamari2016-03-201-14/+11
* T11145: Fix expected outputBen Gamari2016-03-201-1/+1
* base: Rework System.CPUTimeBen Gamari2016-03-208-121/+276
* Add test for incompatible flags (issue #11580)Kai Harries2016-03-203-0/+11
* DsExpr: Don't build/foldr huge listsBen Gamari2016-03-202-2/+30
* prof: Fix heap census for large ARR_WORDS (#11627)Jason Eisenberg2016-03-205-0/+71
* Dwarf: Add support for labels in unwind expressionsBen Gamari2016-03-203-1/+6
* Fix T9646Ben Gamari2016-03-201-1/+1
* Fix duplicate T11334 testBen Gamari2016-03-203-1/+1
* Revert "Add test for #11473"Ben Gamari2016-03-202-21/+0
* Ensure T11702 always runs with optasmBen Gamari2016-03-201-1/+1
* Mark GHC.Real.even and odd as INLINEABLEBen Gamari2016-03-201-4/+2
* PrelRules: Fix constant folding for WordRemOpBen Gamari2016-03-202-2/+7
* Add test for #9646Erik de Castro Lopo2016-03-2010-0/+447
* Fix #11512 by getting visibility right for methodsRichard Eisenberg2016-03-175-8/+32
* Fix #11716.Richard Eisenberg2016-03-178-12/+723
* typechecker: fix trac issue #11708Csongor Kiss2016-03-171-2/+5
* Fix #11711.Richard Eisenberg2016-03-176-15/+78
* DriverPipeline: Fix 'unused arguments' warnings from ClangErik de Castro Lopo2016-03-171-8/+24
* Clean up some pretty-printing in errors.Richard Eisenberg2016-03-1519-30/+79
* Fix printing of "kind" vs. "type"Richard Eisenberg2016-03-154-9/+17
* Fix #11473.Richard Eisenberg2016-03-154-7/+92
* Fix #11357.Richard Eisenberg2016-03-154-11/+33
* Incorporate bgamari's suggestions for #11614.Richard Eisenberg2016-03-152-18/+43
* Remove redundant anonymiseTyBinders (#11648)Richard Eisenberg2016-03-152-30/+2
* Testsuite wibbles from previous commits.Richard Eisenberg2016-03-144-3/+7
* Allow eager unification with type families.Richard Eisenberg2016-03-1413-138/+40
* Fix #11648.Richard Eisenberg2016-03-1425-190/+452
* Document TypeInType (#11614)Richard Eisenberg2016-03-143-273/+607
* Test case for #11699 in typecheck/should_compileRichard Eisenberg2016-03-142-0/+6
* Expand Note [Non-trivial definitional equality]Richard Eisenberg2016-03-141-0/+52
* Refactor visible type application.Richard Eisenberg2016-03-1417-144/+167
* Fix #11401.Richard Eisenberg2016-03-143-24/+50
* Fix #11334.Richard Eisenberg2016-03-145-4/+69
* Fix #11407.Richard Eisenberg2016-03-148-48/+70
* Move and expand (slightly) TypeApplications docsRichard Eisenberg2016-03-141-66/+77
* Add regression test for #11702Ben Gamari2016-03-143-0/+12