| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341 | Sebastian Graf | 2020-09-10 | 1 | -1/+5 |
| * | Add comments about sm_dflags and simpleOptExpr | Sylvain Henry | 2020-09-09 | 2 | -2/+19 |
| * | DynFlags: add sm_pre_inline field into SimplMode (#17957) | Sylvain Henry | 2020-09-09 | 9 | -39/+41 |
| * | DynFlags: add UnfoldingOpts and SimpleOpts | Sylvain Henry | 2020-09-09 | 16 | -409/+553 |
| * | DynFlags: add OptCoercionOpts | Sylvain Henry | 2020-09-09 | 4 | -21/+47 |
| * | Postpone associated tyfam default checks until after typechecking | Ryan Scott | 2020-09-09 | 1 | -2/+13 |
| * | Use "to" instead of "2" in internal names of conversion ops | John Ericson | 2020-09-09 | 1 | -15/+15 |
| * | Introduce isBoxedTupleDataCon and use it to fix #18644 | Ryan Scott | 2020-09-04 | 6 | -13/+17 |
| * | Turn on -XMonoLocalBinds by default (#18430) | Sebastian Graf | 2020-09-02 | 2 | -1/+2 |
| * | Remove "Ord FastString" instance | Sylvain Henry | 2020-09-01 | 5 | -13/+22 |
| * | Use tcView, not coreView, in the pure unifier. | Richard Eisenberg | 2020-08-25 | 2 | -3/+24 |
| * | Fix types in silly shifts (#18589) | Krzysztof Gogolewski | 2020-08-24 | 1 | -9/+13 |
| * | mkUnique refactoring (#18362) | Aditya Gupta | 2020-08-22 | 7 | -6/+22 |
| * | Allow unsaturated runRW# applications | Ben Gamari | 2020-08-18 | 2 | -36/+18 |
| * | Add HomeUnit type | Sylvain Henry | 2020-08-13 | 1 | -2/+5 |
| * | PmCheck: Better long-distance info for where bindings (#18533) | Sebastian Graf | 2020-08-13 | 1 | -0/+3 |
| * | Rewrite and move the monad-state hack note | Sylvain Henry | 2020-08-12 | 3 | -75/+4 |
| * | DynFlags: disentangle Outputable | Sylvain Henry | 2020-08-12 | 43 | -19/+92 |
| * | Fix debug_ppr_ty ForAllTy (#18522) | Vladislav Zavialov | 2020-08-06 | 1 | -12/+28 |
| * | Rename Core.Opt.Driver -> Core.Opt.Pipeline | Krzysztof Gogolewski | 2020-08-05 | 2 | -2/+2 |
| * | DynFlags: don't use sdocWithDynFlags in datacon ppr | Sylvain Henry | 2020-07-30 | 2 | -8/+6 |
| * | Add two bangs to improve perf of flattening | Simon Peyton Jones | 2020-07-30 | 1 | -4/+6 |
| * | Kill off sc_mult and as_mult fields | Simon Peyton Jones | 2020-07-29 | 2 | -67/+42 |
| * | This patch addresses the exponential blow-up in the simplifier. | Simon Peyton Jones | 2020-07-28 | 6 | -206/+390 |
| * | Eta-expand the Simplifier monad | Simon Peyton Jones | 2020-07-27 | 1 | -6/+18 |
| * | Care with occCheckExpand in kind of occurrences | Simon Peyton Jones | 2020-07-24 | 2 | -21/+105 |
| * | Define type Void# = (# #) (#18441) | Krzysztof Gogolewski | 2020-07-22 | 2 | -5/+4 |
| * | Deprecate -fdmd-tx-dict-sel. | Andreas Klebinger | 2020-07-22 | 1 | -2/+3 |
| * | Use ShortByteString for FastString | Daniel Gröber | 2020-07-22 | 2 | -4/+7 |
| * | Fix minor typos in a Core.hs note | Chaitanya Koparkar | 2020-07-18 | 1 | -1/+1 |
| * | Refactor the simplification of join binders | Simon Peyton Jones | 2020-07-18 | 3 | -111/+129 |
| * | Allow multiple case branches to have a higher rank type | Simon Peyton Jones | 2020-07-18 | 3 | -29/+23 |
| * | Explain why keeping DynFlags in AnalEnv saves allocation. | Andreas Klebinger | 2020-07-14 | 1 | -1/+19 |
| * | Reduce result discount in conSize | Simon Peyton Jones | 2020-07-13 | 1 | -16/+34 |
| * | Use dumpStyle when printing inlinings | Simon Peyton Jones | 2020-07-13 | 1 | -1/+1 |
| * | Give Uniq[D]FM a phantom type for its key. | Andreas Klebinger | 2020-07-12 | 5 | -12/+34 |
| * | Improve eta-expansion using ArityType | Simon Peyton Jones | 2020-07-11 | 3 | -185/+243 |
| * | Make arityType deal with join points | Simon Peyton Jones | 2020-07-10 | 1 | -4/+93 |
| * | Define multiShotIO and use it in mkSplitUniqueSupply | Simon Peyton Jones | 2020-07-10 | 1 | -13/+35 |
| * | DynFlags: avoid the use of sdocWithDynFlags in GHC.Core.Rules (#17957) | Sylvain Henry | 2020-07-03 | 4 | -28/+39 |
| * | Improve handling of data type return kindswip/T18300 | Simon Peyton Jones | 2020-07-03 | 6 | -65/+227 |
| * | Improve debug tracing for substitution | Simon Peyton Jones | 2020-07-01 | 8 | -58/+59 |
| * | Fix a typo in Lint | Simon Peyton Jones | 2020-06-28 | 1 | -7/+7 |
| * | Fix duplicated words and typos in comments and user guide | Jan Hrček | 2020-06-28 | 11 | -12/+12 |
| * | Use NHsCoreTy to embed types into GND-generated code | Ryan Scott | 2020-06-28 | 1 | -4/+4 |
| * | Better loop detection in findTypeShape | Simon Peyton Jones | 2020-06-27 | 2 | -24/+38 |
| * | Fix ghc-bignum exceptions | Sylvain Henry | 2020-06-27 | 1 | -3/+36 |
| * | GHC.Core.Unify: Make UM actions one-shot by defaultwip/oneshot-unify | Sebastian Graf | 2020-06-25 | 1 | -3/+83 |
| * | Clean up haddock hyperlinks of GHC.* (part1) | Takenobu Tani | 2020-06-25 | 18 | -61/+61 |
| * | Two small tweaks to Coercion.simplifyArgsWorker | Simon Peyton Jones | 2020-06-23 | 1 | -1/+5 |
