Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/caller-cc-parser
6477878c
·
Rewrite CallerCC parser using ReadP
·
Feb 03, 2022
wip/deb11-release
71265906
·
ci: Add debian 11 jobs (validate/release/nightly)
·
Feb 03, 2022
wip/maybe-backend
fb1a4e37
·
Split `Backend` into multiple sum types
·
Feb 02, 2022
wip/andreask/rm_sndOfTriple
94609184
·
Replace sndOfTriple with sndOf3
·
Feb 02, 2022
wip/T20929
97aa3592
·
Refactor the escaping kind check for data constructors
·
Feb 02, 2022
wip/T20941
34d6268f
·
Two small improvements in the Simplifier
·
Feb 02, 2022
wip/marge-bot-metric
7f53be62
·
testsuite: Honour PERF_BASELINE_COMMIT when computing allowed metric changes
·
Feb 02, 2022
wip/T20817
400aa60a
·
More accurate unboxing
·
Feb 01, 2022
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
Prev
1
…
64
65
66
67
68
69
70
71
72
…
197
Next