Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/tidy-implic-mp
c5663a9a
·
Make implication tidying agree with Note [Tidying multiple names at once]
·
Feb 01, 2022
wip/T21011
b67c8b57
·
Make typechecker trace less strict
·
Jan 31, 2022
wip/note-check
69896758
·
gitlab-ci: Add lint-notes job
·
Jan 30, 2022
wip/T21016
8ae1e3be
·
Check type first then expression
·
Jan 29, 2022
wip/windows-clang
4fb18bc5
·
testsuite: Force-enable caret diagnostics in T17786
·
Jan 29, 2022
wip/T14816
b921a6fe
·
Bug fixes on Core freshen
·
Jan 28, 2022
wip/no-skolem-info
d694f3f6
·
Rework the handling of SkolemInfo
·
Jan 28, 2022
wip/T20746
697e569f
·
Improve boxity in deferAfterPreciseException
·
Jan 27, 2022
wip/T20987
46230d5f
·
Introduce MO_UnalignedStore
·
Jan 27, 2022
wip/T20961
f6ac490e
·
rts: Clean up RTS flags usage message
·
Jan 26, 2022
wip/eventlog-opt
514d6b99
·
rts/eventlog: Ensure that flushCount is initialized
·
Jan 26, 2022
wip/T21006
d3cb3166
·
Set the TcLclEnv when solving a ForAll constraint
·
Jan 26, 2022
wip/t20996
e4ccc1ed
·
Add test supplied in T20996 which uses data family result kind polymorphism
·
Jan 26, 2022
wip/ghc-numa
42bcdd03
·
ci: Add ENABLE_NUMA flag to explicitly turn on libnuma dependency
·
Jan 26, 2022
wip/hadrian-no-terminfo
8c20fb38
·
hadrian: Add no_terminfo flavour transformer
·
Jan 26, 2022
wip/T20921
fd60fc0e
·
Add an Outputable instance for RecTcChecker
·
Jan 26, 2022
wip/T20999
0af31d8e
·
Expand type synonyms in markNominal
·
Jan 26, 2022
wip/fiddle-bootstrap-job
4020d99a
·
ci: Move source-tarball and test-bootstrap into full-build
·
Jan 26, 2022
wip/T20988
9c7a0647
·
Better occurrence analysis with casts
·
Jan 26, 2022
wip/T19790a
9041cd45
·
Make RULE matching insensitive to eta-expansion
·
Jan 26, 2022
Prev
1
…
10
11
12
13
14
15
16
17
18
…
148
Next