| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Add COMPLETE pragmas to TypeRep, SSymbol, SChar, and SNat | Ryan Scott | 2023-03-28 | 1 | -0/+1 |
| * | Rename () into Unit, (,,...,,) into Tuple<n> (#21294) | Andrei Borzenkov | 2023-03-21 | 1 | -5/+26 |
| * | Add decideSymbol, decideChar, decideNat, decTypeRep, decT and hdecT | Oleg Grenrus | 2023-03-04 | 1 | -8/+44 |
| * | Restore show (typeRep @[]) == "[]" | Krzysztof Gogolewski | 2022-12-08 | 1 | -0/+2 |
| * | Type vs Constraint: finally nailed | Simon Peyton Jones | 2022-11-11 | 1 | -1/+7 |
| * | Fix typos | Krzysztof Gogolewski | 2022-09-14 | 1 | -1/+1 |
| * | Cleanup BuiltInSyntax vs UserSyntax | Matthew Pickering | 2022-06-28 | 1 | -2/+0 |
| * | Use a class to check validity of withDictwip/withdict | Krzysztof Gogolewski | 2022-05-27 | 1 | -1/+1 |
| * | Remove Fun pattern from Typeable COMPLETE set | sheaf | 2022-04-07 | 1 | -3/+2 |
| * | gitlab-ci: Use the linters image in hlint job | Ben Gamari | 2022-03-11 | 1 | -1/+0 |
| * | Fix a few Note inconsistencies | Ben Gamari | 2022-02-01 | 1 | -1/+0 |
| * | Detect TypeError when checking for insolubility | sheaf | 2021-08-15 | 1 | -27/+17 |
| * | Add pattern TypeRep (#19691), exported by Type.Reflection. | Baldur Blöndal | 2021-05-19 | 1 | -5/+51 |
| * | Redesign withDict (formerly magicDict) | Ryan Scott | 2021-04-29 | 1 | -6/+1 |
| * | Implement BoxedRep proposalwip/boxed-rep | Ben Gamari | 2021-03-07 | 1 | -10/+56 |
| * | The Char kind (#11342) | Daniel Rogozin | 2021-02-06 | 1 | -2/+11 |
| * | Fix accidental unsoundness in Data.Typeable.Internal.mkTypeLitFromString | Ryan Scott | 2021-02-01 | 1 | -1/+1 |
| * | Revert "Implement BoxedRep proposal" | Ben Gamari | 2020-12-15 | 1 | -72/+26 |
| * | Implement BoxedRep proposal | Andrew Martin | 2020-12-14 | 1 | -26/+72 |
| * | Remove Proxy# argument in Data.Typeable.Internal | Krzysztof Gogolewski | 2020-10-15 | 1 | -4/+4 |
| * | Unification of Nat and Naturals | HaskellMouse | 2020-10-13 | 1 | -1/+1 |
| * | New linear types syntax: a %p -> b (#18459) | Vladislav Zavialov | 2020-09-29 | 1 | -5/+5 |
| * | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -24/+33 |
| * | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -2/+2 |
| * | Re-implement unsafe coercions in terms of unsafe equality proofs | Simon Peyton Jones | 2020-02-20 | 1 | -1/+1 |
| * | Do not rely on CUSKs in 'base' | Vladislav Zavialov | 2019-09-30 | 1 | -1/+3 |
| * | Create {Int,Word}32Rep | John Ericson | 2019-07-17 | 1 | -0/+2 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -1/+1 |
| * | Introduce Int16# and Word16# | Abhiroop Sarkar | 2018-11-17 | 1 | -0/+2 |
| * | Add Int8# and Word8# | Michal Terepeta | 2018-11-02 | 1 | -1/+3 |
| * | Typeable: Only render saturated tuple types with tuple syntax | Ben Gamari | 2018-10-15 | 1 | -1/+5 |
| * | Revert "Add Int8# and Word8#" | Ben Gamari | 2018-10-09 | 1 | -3/+1 |
| * | Add Int8# and Word8# | Michal Terepeta | 2018-10-07 | 1 | -1/+3 |
| * | Warn about implicit kind variables with -Wcompat | Vladislav Zavialov | 2018-06-16 | 1 | -4/+5 |
| * | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -1/+0 |
| * | Fix #15236 by removing parentheses from funTyConName | Ryan Scott | 2018-06-07 | 1 | -4/+26 |
| * | Get eqTypeRep to inline | David Feuer | 2018-02-15 | 1 | -3/+11 |
| * | Make the Con and Con' patterns produce evidence | David Feuer | 2017-12-04 | 1 | -13/+56 |
| * | Cache TypeRep kinds aggressively | David Feuer | 2017-12-01 | 1 | -40/+160 |
| * | Name TypeRep constructor fields | David Feuer | 2017-11-02 | 1 | -44/+88 |
| * | Re-apply "Typeable: Allow App to match arrow types" | Simon Peyton Jones | 2017-10-12 | 1 | -6/+68 |
| * | Document Typeable's treatment of kind polymorphic tycons | Ben Gamari | 2017-09-25 | 1 | -0/+53 |
| * | Revert "Typeable: Allow App to match arrow types" | Herbert Valerio Riedel | 2017-09-24 | 1 | -68/+6 |
| * | Typeable: Generalize kind of represented type | Ben Gamari | 2017-09-21 | 1 | -2/+3 |
| * | Typeable: Allow App to match arrow types | Ben Gamari | 2017-09-21 | 1 | -6/+72 |
| * | Better document TypeRep patterns | Ben Gamari | 2017-09-13 | 1 | -1/+27 |
| * | Typeable: Always use UTF-8 string unpacking primitive | Ben Gamari | 2017-07-18 | 1 | -6/+6 |
| * | base: Fix a few TODOs in Typeable.Internal | Ben Gamari | 2017-05-23 | 1 | -6/+4 |
| * | Typeable: Fix remaining typeRepX referencds | Ben Gamari | 2017-03-13 | 1 | -10/+10 |
| * | Data.Typeable: Export splitTyConApp, typeRepArgs, and typeRepTyCon | Ben Gamari | 2017-03-09 | 1 | -0/+2 |
