| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | desugaring checkpointwip/17594-another-approach-desugaring | DanielRrr | 2022-07-23 | 33 | -137/+130 |
| * | typechecker checkpoint | DanielRrr | 2022-07-23 | 1 | -1/+0 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -1/+2 |
| * | typechecker checkpoint | DanielRrr | 2022-07-23 | 1 | -1/+7 |
| * | fix | DanielRrr | 2022-07-23 | 1 | -6/+0 |
| * | typechecker checkpoint | DanielRrr | 2022-07-23 | 2 | -14/+7 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+14 |
| * | typechecker checkpoint | DanielRrr | 2022-07-23 | 2 | -0/+0 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -1/+10 |
| * | typechecker checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+1 |
| * | typechecker checkpoint | DanielRrr | 2022-07-23 | 5 | -37/+1 |
| * | typechecker checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+6 |
| * | typechecker checkpoint | DanielRrr | 2022-07-23 | 2 | -6/+13 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -1/+10 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+1 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -0/+4 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 3 | -6/+17 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -3/+6 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 1 | -2/+1 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -1/+2 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 2 | -6/+3 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -3/+6 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 5 | -8/+22 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -1/+2 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 1 | -2/+1 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -1/+2 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 1 | -1/+1 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 2 | -9/+4 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+2 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 3 | -6/+37 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+0 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+0 |
| * | type checker checkpoint | DanielRrr | 2022-07-23 | 10 | -0/+0 |
| * | type checker checkpointwip/17594-another-approach-typecheck | DanielRrr | 2022-07-23 | 36 | -240/+307 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 3 | -3/+2 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -0/+7 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+1 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -3/+3 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -1/+1 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+2 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 2 | -0/+5 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 4 | -0/+33 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -1/+8 |
| * | parser and renamer checkpoint | DanielRrr | 2022-07-23 | 1 | -0/+30 |
| * | parser and renamer checkpointwip/17594-another-approach | DanielRrr | 2022-07-23 | 58 | -265/+690 |
| * | Make withDict opaque to the specialiser | sheaf | 2022-07-21 | 8 | -46/+193 |
| * | rts/ProfHeap: Ensure new Censuses are zeroed | Ben Gamari | 2022-07-19 | 1 | -0/+1 |
| * | driver: Fix implementation of -S | Matthew Pickering | 2022-07-19 | 4 | -14/+27 |
| * | configure: Use AC_PATH_TOOL to detect tools | Ben Gamari | 2022-07-19 | 1 | -12/+9 |
| * | Add mapAccumM, forAccumM to Data.Traversable | Boris Lykah | 2022-07-19 | 3 | -5/+80 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |