Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
writer-cps
7d4c5ad2
·
Use Writer.CPS instead of Writer.Lazy
·
Aug 03, 2021
reductions5
e8a5b716
·
Reduction: address RAE review (squash me!)
·
Aug 03, 2021
reductions6
df4c87fa
·
don't use kind_co in liftCoSubstCoVarBndrUsing
·
Aug 03, 2021
reduction
9ff20c5b
·
Use Reductions to keep track of rewritings
·
Aug 04, 2021
pat-type-error
63bc9f61
·
Detect TypeError when checking for insolubility
·
Aug 14, 2021
tcperf-fragile
f6bed28e
·
Update TcPlugin_RewritePerf performance test
·
Aug 15, 2021
check-type-error
1bd6a2ba
·
Don't look for TypeError in type family arguments
·
Aug 18, 2021
tcplugins
f1708665
·
TcPlugins: solve and report contras simultaneously
·
Aug 23, 2021
derived-refactor-2
8d7748d8
·
finish rebasing
·
Aug 27, 2021
wip/derived-refactor
8d7748d8
·
finish rebasing
·
Aug 27, 2021
too-many-iters
09ae6b0e
·
Trim the "too many iterations" error
·
Aug 28, 2021
ghc/ghc!6449
hs-boot-bugs
9fd3a5e2
·
small change to cause bug in T10083
·
Sep 06, 2021
T17723
c9352b17
·
Add a regression test for #17723
·
Oct 04, 2021
T20043
c3524b0e
·
Bump TcLevel of failing kind equality implication
·
Oct 04, 2021
T13233-test
9dc5331e
·
Add a regression test for #13233
·
Oct 05, 2021
T20465
bf216a34
·
Improve overlap error for polykinded constraints
·
Oct 05, 2021
GADT-arrows
4f6c083a
·
Reject GADT pattern matches in arrow notation
·
Oct 06, 2021
runtime-reps-2
8c3fa66f
·
Introduce Concrete# for representation polymorphism checks
·
Oct 08, 2021
T20396
da05feff
·
Set logger flags in --backpack mode
·
Oct 13, 2021
runtime-reps
4bdb1d2d
·
Introduce Concrete# for representation polymorphism checks
·
Oct 15, 2021
Prev
1
…
64
65
66
67
68
69
70
71
72
…
79
Next