Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/amg/T8095
10151594
·
WIP in the direction of linting StepsProv
·
May 31, 2021
wip/t19928
00a32614
·
Disallow linear arrows in GADT records (#19928)
·
Jun 01, 2021
wip/amg/T19909
a7b20609
·
Turn coercion optimization into an optimization pass (#19909)
·
Jun 01, 2021
wip/lower-parser-deps
ff6a88ec
·
A little import wrangling. Not much accomplished
·
Jun 01, 2021
wip/fix-agda-loop
943d2ca2
·
Fix infinite looping in hptSomeModulesBelow
·
Jun 02, 2021
wip/speed-up-hlint
4e4981d6
·
CI: Don't explicitly build hadrian before using run_hadrian
·
Jun 02, 2021
wip/T19853
4af1a91b
·
WW: Mark absent errors as diverging again
·
Jun 02, 2021
wip/T18389-task-zero
7ede84c3
·
Introduce and use ConGadtSigBody (preparatory refactor for #18389)
·
Jun 02, 2021
wip/adinapoli-issue-19923
c192331b
·
Add PsHeaderMessage diagnostic (fixes #19923)
·
Jun 03, 2021
wip/adinapoli-ds-messages
dc0ae79c
·
Port HsToCore messages to new infrastructure
·
Jun 03, 2021
wip/T19885
815a6de1
·
Fix libffi on PowerPC
·
Jun 03, 2021
wip/caching
41c11f25
·
Add some tracing to CI
·
Jun 03, 2021
ghc-9.0
1b5418b7
·
CPR: Detect constructed products in `runRW#` apps (#19822)
·
Jun 03, 2021
wip/t19894
95c57dd2
·
profiling: Look in RHS of rules for cost centre ticks
·
Jun 03, 2021
wip/angerman/master-aarch64
174b7b34
·
[testsuite] fix T6132 when using the LLVM toolchain
·
Jun 04, 2021
wip/8.10-changelog-updates
a43a5650
·
Update llvm-targets
·
Jun 04, 2021
wip/T17917a
5bce2212
·
testsuite: Fix Note style
·
Jun 04, 2021
wip/T19682
6440f1e4
·
Fix #19682 by breaking cycles in Deriveds
·
Jun 04, 2021
wip/T19938
ada4f854
·
Fix Note [Function types]
·
Jun 04, 2021
wip/T19932-dot-4
6e2f982c
·
Countdeps: Strictly documentation markup fixes
·
Jun 05, 2021
Prev
1
…
103
104
105
106
107
108
109
110
111
…
120
Next