Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Zonk before calling splitDepVarsOfType. | Richard Eisenberg | 2016-03-21 | 8 | -48/+92 | |
* | Track specified/invisible more carefully. | Richard Eisenberg | 2016-03-21 | 29 | -234/+514 | |
* | Comment a suspicious zonk in TcFlatten. | Richard Eisenberg | 2016-03-21 | 1 | -0/+3 | |
* | Prevent eager unification with type families. | Richard Eisenberg | 2016-03-21 | 16 | -53/+159 | |
* | Rename test for #11334 to 11334b, fixing conflict | Richard Eisenberg | 2016-03-21 | 3 | -5/+5 | |
* | Make equality print better. (#11712) | Richard Eisenberg | 2016-03-21 | 19 | -52/+97 | |
* | Fix #11635 / #11719. | Richard Eisenberg | 2016-03-21 | 4 | -16/+44 | |
* | Add two small optimizations. (#11196) | Richard Eisenberg | 2016-03-21 | 3 | -11/+21 | |
* | TypeApplications does not imply AllowAmbiguousTypes | Richard Eisenberg | 2016-03-21 | 4 | -4/+3 | |
* | Fix exponential algorithm in pure unifier. | Richard Eisenberg | 2016-03-21 | 1 | -22/+30 | |
* | Remove unused substTyWithBinders functions | Bartosz Nitka | 2016-03-21 | 3 | -26/+4 | |
* | Remove unnecessary Ord instance for ConLike | Bartosz Nitka | 2016-03-21 | 3 | -8/+4 | |
* | Delete a misleading comment in TyCon | Bartosz Nitka | 2016-03-21 | 1 | -3/+0 | |
* | base: Fix CPUTime on Windows | Ben Gamari | 2016-03-20 | 1 | -14/+11 | |
* | T11145: Fix expected output | Ben Gamari | 2016-03-20 | 1 | -1/+1 | |
* | base: Rework System.CPUTime | Ben Gamari | 2016-03-20 | 8 | -121/+276 | |
* | Add test for incompatible flags (issue #11580) | Kai Harries | 2016-03-20 | 3 | -0/+11 | |
* | DsExpr: Don't build/foldr huge lists | Ben Gamari | 2016-03-20 | 2 | -2/+30 | |
* | prof: Fix heap census for large ARR_WORDS (#11627) | Jason Eisenberg | 2016-03-20 | 5 | -0/+71 | |
* | Dwarf: Add support for labels in unwind expressions | Ben Gamari | 2016-03-20 | 3 | -1/+6 | |
* | Fix T9646 | Ben Gamari | 2016-03-20 | 1 | -1/+1 | |
* | Fix duplicate T11334 test | Ben Gamari | 2016-03-20 | 3 | -1/+1 | |
* | Revert "Add test for #11473" | Ben Gamari | 2016-03-20 | 2 | -21/+0 | |
* | Ensure T11702 always runs with optasm | Ben Gamari | 2016-03-20 | 1 | -1/+1 | |
* | Mark GHC.Real.even and odd as INLINEABLE | Ben Gamari | 2016-03-20 | 1 | -4/+2 | |
* | PrelRules: Fix constant folding for WordRemOp | Ben Gamari | 2016-03-20 | 2 | -2/+7 | |
* | Add test for #9646 | Erik de Castro Lopo | 2016-03-20 | 10 | -0/+447 | |
* | Fix #11512 by getting visibility right for methods | Richard Eisenberg | 2016-03-17 | 5 | -8/+32 | |
* | Fix #11716. | Richard Eisenberg | 2016-03-17 | 8 | -12/+723 | |
* | typechecker: fix trac issue #11708 | Csongor Kiss | 2016-03-17 | 1 | -2/+5 | |
* | Fix #11711. | Richard Eisenberg | 2016-03-17 | 6 | -15/+78 | |
* | DriverPipeline: Fix 'unused arguments' warnings from Clang | Erik de Castro Lopo | 2016-03-17 | 1 | -8/+24 | |
* | Clean up some pretty-printing in errors. | Richard Eisenberg | 2016-03-15 | 19 | -30/+79 | |
* | Fix printing of "kind" vs. "type" | Richard Eisenberg | 2016-03-15 | 4 | -9/+17 | |
* | Fix #11473. | Richard Eisenberg | 2016-03-15 | 4 | -7/+92 | |
* | Fix #11357. | Richard Eisenberg | 2016-03-15 | 4 | -11/+33 | |
* | Incorporate bgamari's suggestions for #11614. | Richard Eisenberg | 2016-03-15 | 2 | -18/+43 | |
* | Remove redundant anonymiseTyBinders (#11648) | Richard Eisenberg | 2016-03-15 | 2 | -30/+2 | |
* | Testsuite wibbles from previous commits. | Richard Eisenberg | 2016-03-14 | 4 | -3/+7 | |
* | Allow eager unification with type families. | Richard Eisenberg | 2016-03-14 | 13 | -138/+40 | |
* | Fix #11648. | Richard Eisenberg | 2016-03-14 | 25 | -190/+452 | |
* | Document TypeInType (#11614) | Richard Eisenberg | 2016-03-14 | 3 | -273/+607 | |
* | Test case for #11699 in typecheck/should_compile | Richard Eisenberg | 2016-03-14 | 2 | -0/+6 | |
* | Expand Note [Non-trivial definitional equality] | Richard Eisenberg | 2016-03-14 | 1 | -0/+52 | |
* | Refactor visible type application. | Richard Eisenberg | 2016-03-14 | 17 | -144/+167 | |
* | Fix #11401. | Richard Eisenberg | 2016-03-14 | 3 | -24/+50 | |
* | Fix #11334. | Richard Eisenberg | 2016-03-14 | 5 | -4/+69 | |
* | Fix #11407. | Richard Eisenberg | 2016-03-14 | 8 | -48/+70 | |
* | Move and expand (slightly) TypeApplications docs | Richard Eisenberg | 2016-03-14 | 1 | -66/+77 | |
* | Add regression test for #11702 | Ben Gamari | 2016-03-14 | 3 | -0/+12 |