Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
T19984
b34b9aa9
·
Keep track of promotion ticks in HsOpTy
·
Apr 01, 2022
T21323
9e321bb2
·
Add a regression test for #21323
·
Apr 01, 2022
abstract-redn
70ecca94
·
Make Reduction abstract, use it for normalisation
·
Mar 25, 2022
ghc/ghc!7837
ghc-sam
872f96d3
·
Hadrian: make DDEBUG separate from debugged RTS
·
Mar 25, 2022
hadrian-ddebug
872f96d3
·
Hadrian: make DDEBUG separate from debugged RTS
·
Mar 25, 2022
T21205
5416e29a
·
Unify RuntimeRep arguments in ty_co_match
·
Mar 24, 2022
zap-coercions
0abaf4a0
·
coercion combinators progagate zap, rewriter begins zap
·
Mar 24, 2022
ghc/ghc!7844
isRefl-co
245a2803
·
Add syntactic unification, remove IsRefl#
·
Mar 18, 2022
dcoercion-zap
04ca800a
·
Experiment: directed coercions + zapping
·
Mar 15, 2022
T21061
26e8f477
·
Check ConstraintKinds in tyfams and their kinds
·
Mar 15, 2022
T21130
74b590d2
·
Add a regression test for #21130
·
Mar 15, 2022
T20837
8e8d20d1
·
Fix isLiftedType_maybe and handle fallout
·
Mar 14, 2022
alt-romes/ghc-shrink-ast-deps-absbinds
1ff97540
·
TTG Pull AbsBinds and ABExport out of the main AST
·
Mar 11, 2022
co-opt-perftests
3212c0b1
·
Add two coercion optimisation perf tests
·
Mar 11, 2022
concrete-tv
8b12fb20
·
Introduce ConcreteTv metavariables
·
Mar 02, 2022
T21115
9b96a57b
·
Don't allow Float#/Double# literal patterns
·
Mar 01, 2022
T21088
fa27c9b7
·
Improve out-of-order inferred type variables
·
Mar 01, 2022
T21152
9ff82ebc
·
Core Lint: collect args through floatable ticks
·
Mar 01, 2022
T20480
32d8fe3a
·
Core Lint: ensure primops can be eta-expanded
·
Feb 26, 2022
ghc/ghc!6735
T15433
e82a9426
·
Error on anon wildcards in tcAnonWildCardOcc
·
Feb 25, 2022
Prev
1
…
5
6
7
8
9
10
11
12
13
…
79
Next