| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Implement type applications in patterns | Cale Gibbard | 2020-12-14 | 5 | -35/+52 |
| * | Fix kind inference for data types. Again. | Simon Peyton Jones | 2020-12-08 | 1 | -3/+3 |
| * | Replace HsImplicitBndrs with HsOuterTyVarBndrs | Ryan Scott | 2020-11-06 | 5 | -229/+450 |
| * | Restrict Linear arrow %1 to exactly literal 1 only | Alan Zimmerman | 2020-11-03 | 1 | -2/+2 |
| * | Add the proper HLint rules and remove redundant keywords from compiler | Hécate | 2020-11-01 | 1 | -2/+2 |
| * | Split HsConDecl{H98,GADT}Details | Ryan Scott | 2020-10-30 | 4 | -36/+68 |
| * | Check for large tuples more thoroughlywip/T18723 | Ryan Scott | 2020-10-29 | 1 | -8/+5 |
| * | Split GHC.Driver.Types | Sylvain Henry | 2020-10-29 | 9 | -21/+32 |
| * | API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaled | Alan Zimmerman | 2020-10-20 | 2 | -23/+25 |
| * | Minor comments, update linear types docs | Krzysztof Gogolewski | 2020-10-20 | 1 | -1/+2 |
| * | Fix some missed opportunities for preInlineUnconditionally | Simon Peyton Jones | 2020-10-14 | 1 | -2/+2 |
| * | Lint the compiler for extraneous LANGUAGE pragmas | Hécate | 2020-10-10 | 10 | -121/+103 |
| * | Fix desugaring of record updates on data families | Simon Peyton Jones | 2020-10-09 | 1 | -2/+3 |
| * | ApiAnnotations : preserve parens in GADTs | Alan Zimmerman | 2020-10-09 | 1 | -7/+11 |
| * | Misc cleanup | Krzysztof Gogolewski | 2020-10-07 | 1 | -3/+0 |
| * | Minor TTG clean-up: comments, unused families, bottom | Vladislav Zavialov | 2020-10-02 | 2 | -52/+54 |
| * | New linear types syntax: a %p -> b (#18459) | Vladislav Zavialov | 2020-09-29 | 2 | -3/+3 |
| * | Comments: change outdated reference to mergeOpswip/docs-no-merge-ops | Vladislav Zavialov | 2020-09-27 | 1 | -1/+1 |
| * | PmCheck: Big refactor of module structure | Sebastian Graf | 2020-09-26 | 1 | -1/+1 |
| * | Implement Quick Look impredicativity | Simon Peyton Jones | 2020-09-24 | 3 | -17/+22 |
| * | PmCheck: Rewrite inhabitation test | Sebastian Graf | 2020-09-22 | 1 | -0/+2 |
| * | Introduce and use DerivClauseTys (#18662) | Ryan Scott | 2020-09-15 | 3 | -17/+52 |
| * | Remove GENERATED pragma, as it is not being used | Alan Zimmerman | 2020-09-09 | 1 | -18/+0 |
| * | Make the forall-or-nothing rule only apply to invisible foralls (#18660) | Ryan Scott | 2020-09-08 | 1 | -4/+7 |
| * | Remove "Ord FastString" instance | Sylvain Henry | 2020-09-01 | 1 | -1/+1 |
| * | Make {hsExpr,hsType,pat}NeedsParens aware of boxed 1-tuples | Ryan Scott | 2020-08-27 | 3 | -1/+25 |
| * | Use LIdP rather than (XRec p (IdP p)) | Simon Peyton Jones | 2020-08-25 | 7 | -68/+57 |
| * | Add right-to-left rule for pattern bindings | Simon Peyton Jones | 2020-08-19 | 1 | -6/+1 |
| * | Implement -Wredundant-bang-patterns (#17340) | nineonine | 2020-08-19 | 1 | -2/+2 |
| * | PmCheck: Better long-distance info for where bindings (#18533) | Sebastian Graf | 2020-08-13 | 2 | -0/+4 |
| * | DynFlags: disentangle Outputable | Sylvain Henry | 2020-08-12 | 8 | -4/+15 |
| * | Remove ConDeclGADTPrefixPs | Ryan Scott | 2020-08-02 | 4 | -90/+52 |
| * | Clean up the inferred type variable restriction | Ryan Scott | 2020-07-30 | 1 | -0/+6 |
| * | Simplify XRec definition | Zubin Duggal | 2020-07-25 | 11 | -240/+288 |
| * | Accumulate Haddock comments in P (#17544, #17561, #8944) | Vladislav Zavialov | 2020-07-21 | 3 | -2/+58 |
| * | Remove {-# CORE #-} pragma (part of #18048) | Krzysztof Gogolewski | 2020-07-18 | 1 | -11/+0 |
| * | compiler: re-engineer the treatment of rebindable if | Alp Mestanogullari | 2020-07-14 | 3 | -32/+205 |
| * | Remove unused function pprHsForAllExtra (#18423) | Krzysztof Gogolewski | 2020-07-07 | 1 | -27/+4 |
| * | Reject nested foralls/contexts in instance types more consistently | Ryan Scott | 2020-06-30 | 1 | -48/+169 |
| * | Fix duplicated words and typos in comments and user guide | Jan Hrček | 2020-06-28 | 1 | -1/+1 |
| * | Use NHsCoreTy to embed types into GND-generated code | Ryan Scott | 2020-06-28 | 2 | -162/+40 |
| * | Don't generalize when typechecking a tuple section | Krzysztof Gogolewski | 2020-06-27 | 1 | -1/+1 |
| * | Implement the proposed -XQualifiedDo extension | Matthias Pall Gissurarson | 2020-06-26 | 2 | -26/+49 |
| * | Clean up haddock hyperlinks of GHC.* (part1) | Takenobu Tani | 2020-06-25 | 8 | -321/+321 |
| * | Expunge GhcTcId | Simon Peyton Jones | 2020-06-25 | 2 | -5/+4 |
| * | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 5 | -23/+128 |
| * | Use HsForAllTelescope to avoid inferred, visible foralls | Ryan Scott | 2020-06-13 | 5 | -71/+108 |
| * | Clarify leaf module names for new module hierarchy | Takenobu Tani | 2020-06-10 | 3 | -5/+5 |
| * | Always use rnImplicitBndrs to bring implicit tyvars into scope | Ryan Scott | 2020-06-10 | 1 | -1/+8 |
| * | Make GADT constructors adhere to the forall-or-nothing rule properly | Ryan Scott | 2020-06-09 | 4 | -47/+218 |
