Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/no-skolem-info
d694f3f6
·
Rework the handling of SkolemInfo
·
Jan 28, 2022
wip/T14816
b921a6fe
·
Bug fixes on Core freshen
·
Jan 28, 2022
wip/windows-clang
4fb18bc5
·
testsuite: Force-enable caret diagnostics in T17786
·
Jan 29, 2022
wip/17594-another-approach-desugaring
5d896599
·
desugaring checkpoint
·
Jan 29, 2022
wip/T21016
8ae1e3be
·
Check type first then expression
·
Jan 29, 2022
wip/drop-sparc-ncg
88fce740
·
rel-notes: Note dropping of SPARC support
·
Jan 29, 2022
wip/note-check
69896758
·
gitlab-ci: Add lint-notes job
·
Jan 30, 2022
wip/T20719
479d3bf1
·
Draft: Simon's suggestions
·
Jan 30, 2022
wip/T21011
b67c8b57
·
Make typechecker trace less strict
·
Jan 31, 2022
wip/xdg-fix
ee5c4f9d
·
Improve migration strategy for the XDG compliance change to the GHC application
·
Jan 31, 2022
wip/backports-9.2
0a14e4c1
·
Accept test change
·
Jan 31, 2022
wip/fix-notes
27b25250
·
Fix a few Note inconsistencies
·
Feb 01, 2022
wip/tidy-implic-mp
c5663a9a
·
Make implication tidying agree with Note [Tidying multiple names at once]
·
Feb 01, 2022
wip/T20817
400aa60a
·
More accurate unboxing
·
Feb 01, 2022
wip/marge-bot-metric
7f53be62
·
testsuite: Honour PERF_BASELINE_COMMIT when computing allowed metric changes
·
Feb 02, 2022
wip/T20941
34d6268f
·
Two small improvements in the Simplifier
·
Feb 02, 2022
wip/T20929
97aa3592
·
Refactor the escaping kind check for data constructors
·
Feb 02, 2022
wip/andreask/rm_sndOfTriple
94609184
·
Replace sndOfTriple with sndOf3
·
Feb 02, 2022
wip/T21023
bd114fa4
·
Always generalise top-level bindings
·
Feb 02, 2022
wip/maybe-backend
fb1a4e37
·
Split `Backend` into multiple sum types
·
Feb 02, 2022
Prev
1
…
135
136
137
138
139
140
141
142
143
Next